Formalizing forcing arguments in subsystems of second-order arithmetic

DOI10.1016/0168-0072(96)00003-6MaRDI QIDQ2563983zbMATH OpenOpenAlexFDO

Authors Jeremy Avigad

Publication date 26 January 1997

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(96)00003-6

zbMATH Keywords

model-theoretic forcingconservation theorem

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Model-theoretic forcing (03C25)

Recommendations

• Harrington's conservation theorem redone
• A variant of Mathias forcing that preserves \(\mathsf{ACA}_0\)
• Some conservation results on weak König's lemma
• On some formalized conservation results in arithmetic

Cites work

• scientific article; zbMATH DE number 440479 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4004177 (Why is no real title available?)
• Fragments of arithmetic
• Herbrand analyses
• On the strength of König's duality theorem for countable bipartite graphs
• Recursively enumerable sets and degrees
• Subsystems of second order arithmetic
• The Baire category theorem in weak subsystems of second-order arithmetic
• ∏ 0 1 Classes and Degrees of Theories

Cited in

(24)

• Subsets coded in elementary end extensions
• On the strength of Ramsey's theorem for pairs
• A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
• 10th Asian Logic Conference
• A variant of Mathias forcing that preserves \(\mathsf{ACA}_0\)
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection
• A new conservation result of \(\text{WKL}_0\) over \(\text{RCA}_0\)
• On some formalized conservation results in arithmetic
• A complexity analysis of functional interpretations
• Proof theory in philosophy of mathematics
• Strict \({\varPi^1_1}\)-reflection in bounded arithmetic
• On \(\Pi^1_1\) conservativity for \(\Pi^1_2\) theories in second order arithmetic
• Forcing in Proof Theory
• Harrington's conservation theorem redone
• Saturated models of universal theories
• On mathematical instrumentalism
• Formalizing non-standard arguments in second-order arithmetic
• Marginalia on a theorem of Woodin
• Interpreting weak König's lemma using the arithmetized completeness theorem
• The proof-theoretic strength of Ramsey's theorem for pairs and two colors
• A Model-Theoretic Approach to Ordinal Analysis
• Some conservation results on weak König's lemma
• A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\).

This page was built for publication: Formalizing forcing arguments in subsystems of second-order arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2563983)