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)
- Reference number
-
PAKN, GK Georg Kreisel, GK 8-1-37
- Extent
-
2 Bl.
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1959
- Other object pages
- Last update
-
10.06.2025, 11:28 AM CEST
Data provider
This object is provided by:
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Object type
- Sachakte
Time of origin
- 1959
Other Objects (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