MARGINALIA ON A THEOREM OF WOODIN
From MaRDI portal
Publication:5738208
DOI10.1017/jsl.2016.8zbMath1419.03033OpenAlexW2599907388MaRDI QIDQ5738208
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
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 Σ1-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