TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY

DOI10.1017/jsl.2017.77zbMath1475.03070OpenAlexW2895863840WikidataQ129044278 ScholiaQ129044278MaRDI QIDQ4692072

Kentaro Fujimoto

Publication date: 26 October 2018

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://research-information.bris.ac.uk/ws/files/169913356/JSL2018.pdf

zbMATH Keywords

Kripke-Platek set theoryaxiomatic theories of truthinductive definitionssecond-order set theory

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Other set-theoretic hypotheses and axioms (03E65) Inductive definability (03D70) Proof theory and constructive mathematics (03F99)

Related Items (5)

A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC ⋮ A few more dissimilarities between second-order arithmetic and set theory ⋮ Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives ⋮ Truth and the philosophy of mathematics ⋮ FINITIST AXIOMATIC TRUTH

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classes and truths in set theory
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Elementary induction on abstract structures
• Handbook of proof theory
• Truth and reduction
• Logical frameworks for truth and abstraction. An axiomatic study
• Full and hat inductive definitions are equivalent in NBG
• Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory
• Relative Truth Definability of Axiomatic Truth Theories
• A theory of formal truth arithmetically equivalent to ID₁
• Notes on Formal Theories of Truth
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• Reflecting on incompleteness
• The next admissible set
• Truth in applicative theories

This page was built for publication: TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY