FINITIST AXIOMATIC TRUTH

DOI10.1017/jsl.2022.65OpenAlexW4297225791MaRDI QIDQ5879176

Sato Kentaro, Jan Walker

Publication date: 27 February 2023

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

Full work available at URL: https://doi.org/10.1017/jsl.2022.65

zbMATH Keywords

valuation functionfinitist arithmeticKripke-Feferman truth\( \Delta^0_0\) (hat) inductive definitionfinitist languagefinitist theoryFriedman-Sheard truthgroundedness of truthTarski ramified truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25) Inductive definability (03D70)

Related Items (1)

Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classes and truths in set theory
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
• Concrete mathematics. Finitistic approach to foundations
• A system of complete and consistent truth
• Deflationism beyond arithmetic
• Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts
• Full and hat inductive definitions are equivalent in NBG
• Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives
• Ordinal analyses for monotone and cofinal transfinite inductions
• RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES
• Determinacy of Wadge classes and subsystems of second order arithmetic
• Reflecting on incompleteness
• A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION
• TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY
• A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC
• Ordinal Analysis with an Introduction to Proof Theory
• NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE
• On the relationship between ATR₀ and

This page was built for publication: FINITIST AXIOMATIC TRUTH