Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories

DOI10.1002/malq.201200102zbMath1326.03071OpenAlexW1737231319MaRDI QIDQ5404169

Albert Visser

Publication date: 21 March 2014

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201200102

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Related Items (7)

Friedman-reflexivity ⋮ The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb ⋮ ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM ⋮ Transductions in arithmetic ⋮ Algebraic combinatorics in bounded induction ⋮ Uniform density in Lindenbaum algebras ⋮ The arithmetics of a theory

Cites Work

• Unnamed Item
• Unnamed Item
• The second incompleteness theorem and bounded interpretations
• The unprovability of small inconsistency. A study of local and global interpretability
• Faith \& falsity
• Pairs, sets and sequences in first-order theories
• Growing commas. A study of sequentiality and concatenation
• On interpretability in the theory of concatenation
• A model theoretic proof of Feferman's preservation theorem
• Interpretability of various extensions of arithmetic
• On the scheme of induction for bounded arithmetic formulas
• On the proof of Solovay's theorem
• On the \(\Sigma{}^ 0_ 1\)-conservativity of \(\Sigma{}^ 0_ 1\)- completeness
• Provability interpretations of modal logic
• Undecidability without arithmetization
• Parameter free induction and provably total computable functions
• The role of quantifier alternations in cut elimination
• Sequence encoding without induction
• Vaught's Theorem on Axiomatizability by a Scheme
• HUME’S PRINCIPLE, BEGINNINGS
• Can We Make the Second Incompleteness Theorem Coordinate Free?
• A note on parameter free Π₁ -induction and restricted exponentiation
• Arithmetization of metamathematics in a general setting
• A lattice of chapters of mathematics (interpretations between theorems [theories)]
• Cuts, consistency statements and interpretations
• A note on proofs of falsehood
• On parameter free induction schemas
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Toward model theory through recursive saturation
• On Σ₁‐definable Functions Provably Total in I ∏
• Axiomatizability by a schema
• Decidability of the theory of the natural integers with the Cantor pairing function and the successor

This page was built for publication: Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories