On the Forms of Predicates in the Theory of Constructive Ordinals

Journal of Symbolic Logic 21 (4):410-411 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268428

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: S. C. Kleene, On the Forms of Predicates in the Theory of Constructive Ordinals. [REVIEW]H. E. Vaughan - 1946 - Journal of Symbolic Logic 11 (4):127-127.
Review: S. C. Kleene, On the Forms of Predicates in the Theory of Constructive Ordinals (Second Paper). [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):410-411.
Constructive Versus Ontological Construals of Cantorian Ordinals.Wolfram Hinzen - 2003 - History and Philosophy of Logic 24 (1):45-63.
The non-constructive μ operator, fixed point theories with ordinals, and the bar rule.Thomas Strahm - 2000 - Annals of Pure and Applied Logic 104 (1-3):305-324.
Proof theory for theories of ordinals—I: recursively Mahlo ordinals.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 122 (1-3):1-85.
Proof theory for theories of ordinals II: Π3-reflection.Toshiyasu Arai - 2004 - Annals of Pure and Applied Logic 129 (1-3):39-92.
Register computations on ordinals.Peter Koepke & Ryan Siders - 2008 - Archive for Mathematical Logic 47 (6):529-548.
Selection over classes of ordinals expanded by monadic predicates.Alexander Rabinovich & Amit Shomrat - 2010 - Annals of Pure and Applied Logic 161 (8):1006-1023.
Review: Tosiyuki Tugue, On Predicates Expressible in the 1-Function Quantifier Forms in Kleene Hierarchy with Free Variables of Type 2; Tosiyuki Tugue, Predicates Recursive in a Type-2 Object and Kleene Hierarchies. [REVIEW]D. A. Clarke - 1968 - Journal of Symbolic Logic 33 (1):115-116.
A Covering Lemma for HOD of K (ℝ).Daniel W. Cunningham - 2010 - Notre Dame Journal of Formal Logic 51 (4):427-442.
Topics in Mathematical Logic Characterisations of Small Constructive Ordinals ; Constructive Finite Number Classes.Diana Schmidt - 1972
Image and reality in Plato's republic.D. Gallop - 1965 - Archiv für Geschichte der Philosophie 47 (1):113-131.
Some theories with positive induction of ordinal strength ϕω.Gerhard Jäger & Thomas Strahm - 1996 - Journal of Symbolic Logic 61 (3):818-842.
Quine's Platonism and Antiplatonism.Srećko Kovač - 1999 - Synthesis Philosophica 14 (1-2):45-52.
The natural numbers in constructive set theory.Michael Rathjen - 2008 - Mathematical Logic Quarterly 54 (1):83-97.

Analytics

Added to PP
2015-02-05

Downloads
10 (#1,168,820)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Tarski hierarchies.Volker Halbach - 1995 - Erkenntnis 43 (3):339 - 367.
Two episodes in the unification of logic and topology.E. R. Grosholz - 1985 - British Journal for the Philosophy of Science 36 (2):147-157.
Determinacy and the sharp function on the reals.Derrick Albert DuBose - 1991 - Annals of Pure and Applied Logic 54 (1):59-85.

Add more citations

References found in this work

No references found.

Add more references