The arithmetics of a theory

DOI10.1215/00294527-2835029zbMath1350.03045OpenAlexW1975440283MaRDI QIDQ2345393

Albert Visser

Publication date: 22 May 2015

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1427202975

zbMATH Keywords

provability logicweak arithmeticinterpretationfinitely axiomatized sequential theory

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)

Related Items

Friedman-reflexivity ⋮ TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES ⋮ The small‐is‐very‐small principle ⋮ Uniform density in Lindenbaum algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The unprovability of small inconsistency. A study of local and global interpretability
• Faith \& falsity
• Self-reference and modal logic
• On the scheme of induction for bounded arithmetic formulas
• Provability: The emergence of a mathematical modality
• On the proof of Solovay's theorem
• The formalization of interpretability
• On the \(\Sigma{}^ 0_ 1\)-conservativity of \(\Sigma{}^ 0_ 1\)- completeness
• The role of quantifier alternations in cut elimination
• On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
• Can We Make the Second Incompleteness Theorem Coordinate Free?
• Arithmetization of metamathematics in a general setting
• A lattice of chapters of mathematics (interpretations between theorems [theories)]
• CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
• Cuts, consistency statements and interpretations
• A note on proofs of falsehood
• On parameter free induction schemas
• Rosser sentences
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Provability logic—a short introduction
• Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
• Some Prime Elements in the Lattice of Interpretability Types
• Computer Science Logic
• Cut Elimination In Situ
• Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories

This page was built for publication: The arithmetics of a theory