A Version of Kripke‐Platek Set Theory Which is Conservative Over Peano Arithmetic

Mathematical Logic Quarterly 30 (1-6):3-9 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

External links

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

Through your library

Similar books and articles

Kripke-Platek Set Theory and the Anti-Foundation Axiom.Michael Rathjen - 2001 - Mathematical Logic Quarterly 47 (4):435-440.
Fixed points in Peano arithmetic with ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.
An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.
The Recursively Mahlo Property in Second Order Arithmetic.Michael Rathjen - 1996 - Mathematical Logic Quarterly 42 (1):59-66.
Logics of intuitionistic Kripke-Platek set theory.Rosalie Iemhoff & Robert Passmann - 2021 - Annals of Pure and Applied Logic 172 (10):103014.
Some Weak Theories of Truth.Graham E. Leigh - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto, Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.

Analytics

Added to PP
2013-12-01

Downloads
62 (#357,072)

6 months
10 (#281,857)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.
Beweistheorie vonKPN.Gerhard Jäger - 1980 - Archive for Mathematical Logic 20 (1-2):53-63.

Add more references