Partially Conservative Extensions of Arithmetic
From MaRDI portal
Publication:3206949
DOI10.2307/1998258zbMath0417.03030OpenAlexW4245664529MaRDI QIDQ3206949
Publication date: 1979
Full work available at URL: https://doi.org/10.2307/1998258
interpretabilitymodel-theoretic characterizationconservative extensionsrecursively enumerable extension of Peano arithmetic
Related Items
On Guaspari's problem about partially conservative sentences, Duality, non-standard elements, and dynamic properties of r.e. sets, A course on bimodal provability logic, Lindenbaum Algebras and Partial Conservativity, Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\), Interpretability suprema in Peano arithmetic, The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb, Some observations on the FGH theorem, DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC, The formalization of interpretability, A generalized notion of weak interpretability and the corresponding modal logic, On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability, The provability logic for \(\Sigma_ 1\)-interpolability, On partial disjunction properties of theories containing Peano arithmetic, The logic of linear tolerance, MARGINALIA ON A THEOREM OF WOODIN, Fixed point algebras, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, The logic of \(\Pi_ 1\)-conservativity, HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Solution of a problem of Leon Henkin
- Arithmetization of metamathematics in a general setting
- Gödel's diagonalization technique and related properties of theories
- On interpretability in theories containing arithmetic
- On weak completeness of intuitionistic predicate logic
