We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Kreisel-Lévy-type theorems for Kripke-Platek and other set theories

Abstract: We prove that, over Kripke-Platek set theory with infinity (KP), transfinite induction along the ordinal ${\epsilon}_{\Omega+1}$ is equivalent to the schema asserting the soundness of KP, where $\Omega$ denotes the supremum of all ordinals in the universe; this is analogous to the result that, over Peano arithmetic (PA), transfinite induction along ${\epsilon}_0$ is equivalent to the schema asserting the soundness of PA. In the proof we need to code infinitary proofs within KP, and it is done by using partial recursive set functions. This result can be generalised to KP + $\Gamma$-separation + $\Gamma$-collection where $\Gamma$ is any given syntactic complexity, but not to ZF.
Subjects: Logic (math.LO)
Cite as: arXiv:2212.02843 [math.LO]
  (or arXiv:2212.02843v1 [math.LO] for this version)

Submission history

From: Shuangshuang Shu [view email]
[v1] Tue, 6 Dec 2022 09:26:02 GMT (28kb)

Link back to: arXiv, form interface, contact.