Foundation versus Induction in Kripke-Platek Set Theory

Journal of Symbolic Logic 63 (4):1399-1403 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Kripke-Platek Set Theory and the Anti-Foundation Axiom.Michael Rathjen - 2001 - Mathematical Logic Quarterly 47 (4):435-440.
Relativized ordinal analysis: The case of Power Kripke–Platek set theory.Michael Rathjen - 2014 - Annals of Pure and Applied Logic 165 (1):316-339.
A Note on Recursive Models of Set Theories.Domenico Zambella & Antonella Mancini - 2001 - Notre Dame Journal of Formal Logic 42 (2):109-115.
A proof-theoretic characterization of the primitive recursive set functions.Michael Rathjen - 1992 - Journal of Symbolic Logic 57 (3):954-969.
A version of kripke‐platek set theory which is conservative over peano arithmetic.Gerhard Jäger - 1984 - Mathematical Logic Quarterly 30 (1‐6):3-9.
Induction and foundation in the theory of hereditarily finite sets.Flavio Previale - 1994 - Archive for Mathematical Logic 33 (3):213-241.
Operational closure and stability.Gerhard Jäger - 2013 - Annals of Pure and Applied Logic 164 (7-8):813-821.
A Version of Kripke‐Platek Set Theory Which is Conservative Over Peano Arithmetic.Gerhard Jäger - 1984 - Mathematical Logic Quarterly 30 (1-6):3-9.
On the proof-theoretic strength of monotone induction in explicit mathematics.Thomas Glaß, Michael Rathjen & Andreas Schlüter - 1997 - Annals of Pure and Applied Logic 85 (1):1-46.
Kripke's theory of truth.Christopher Gauker - manuscript
On Kripke’s and Goodman’s Uses of ”Grue’.Ian Hacking - 1993 - Philosophy 68 (265):269-295.
Induction Schemata Valid In Kripke Models Of Arithmetical Theories.Tomasz Polacik - 1999 - Reports on Mathematical Logic:111-125.
Identity in Homotopy Type Theory, Part I: The Justification of Path Induction.James Ladyman & Stuart Presnell - 2015 - Philosophia Mathematica 23 (3):386-406.
The Ambiguity Thesis Versus Kripke's Defence of Russell.Murali Ramachandran - 1996 - Mind and Language 11 (4):371-387.
Mathematical proof theory in the light of ordinal analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.

Analytics

Added to PP
2009-01-28

Downloads
35 (#448,033)

6 months
4 (#793,623)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Note on Recursive Models of Set Theories.Domenico Zambella & Antonella Mancini - 2001 - Notre Dame Journal of Formal Logic 42 (2):109-115.

Add more citations

References found in this work

The ∀ n∃‐Completeness of Zermelo‐Fraenkel Set Theory.Daniel Gogol - 1978 - Mathematical Logic Quarterly 24 (19-24):289-290.

Add more references