Akten
Reflection principle for subsystems of Heyting's (first order) arithmetic
Enthält: Kopie des Artikels (Abstract) "Reflection principle for subsystems of Heyting's (first order) arithmetic" aus The Journal of Symbolic Logic 24 (1959)
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-37
- Umfang
-
2 Bl.
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1959
- Weitere Objektseiten
- Letzte Aktualisierung
-
10.06.2025, 11:28 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Sachakte
Entstanden
- 1959
Ähnliche Objekte (12)
Metamathematics of first order arithmetic
Metamathematics of first order arithmetic
A Strong Reflection Principle
Semantical investigations in intuitionistic first-order arithmetic
Status of the first ε number in first order arithmetic
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
![[The first Principle - The sixth Principle]](https://iiif.deutsche-digitale-bibliothek.de/image/2/a8783cd1-ab75-4bd2-b24f-8e339c28e1cc/full/!306,450/0/default.jpg)
[The first Principle - The sixth Principle]
![[The first Principle - The sixth Principle]](https://iiif.deutsche-digitale-bibliothek.de/image/2/533606e2-360b-4741-aa34-288d5ef36c0c/full/!306,450/0/default.jpg)
[The first Principle - The sixth Principle]
Subsystems of second order arithmetic
3. First Extension principle.
A splitting principle for cohomological invariants of reflection groups
Class forcing and second-order arithmetic
Metamathematics of first order arithmetic
Metamathematics of first order arithmetic
A Strong Reflection Principle
Semantical investigations in intuitionistic first-order arithmetic
Status of the first ε number in first order arithmetic
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
[The first Principle - The sixth Principle]
[The first Principle - The sixth Principle]
Subsystems of second order arithmetic
3. First Extension principle.
A splitting principle for cohomological invariants of reflection groups
Class forcing and second-order arithmetic
Metamathematics of first order arithmetic
Metamathematics of first order arithmetic
A Strong Reflection Principle
Semantical investigations in intuitionistic first-order arithmetic
Status of the first ε number in first order arithmetic
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
[The first Principle - The sixth Principle]
[The first Principle - The sixth Principle]
Subsystems of second order arithmetic
3. First Extension principle.
A splitting principle for cohomological invariants of reflection groups