MARGINALIA ON A THEOREM OF WOODIN

DOI10.1017/jsl.2016.8zbMath1419.03033OpenAlexW2599907388MaRDI QIDQ5738208

Ali Enayat, Rasmus Blanck

Publication date: 1 June 2017

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

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

zbMATH Keywords

Turing machinesKolmogorov complexitynonstandard modelsPeano arithmeticflexible predicates

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Recursively (computably) enumerable sets and degrees (03D25) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)

Related Items (3)

Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ THE Σ₁-DEFINABLE UNIVERSAL FINITE SEQUENCE ⋮ HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• End extensions of models of weak arithmetic theories
• A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)
• Self-reference and modal logic
• Formalizing forcing arguments in subsystems of second-order arithmetic
• On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
• Partially Conservative Extensions of Arithmetic
• On the complexity of models of arithmetic
• A Note on a Theorem of H. FRIEDMAN
• "Flexible" Predicates of Formal Number Theory
• A small reflection principle for bounded arithmetic

This page was built for publication: MARGINALIA ON A THEOREM OF WOODIN