Publication:3884109
From MaRDI portal
zbMath0442.03042MaRDI QIDQ3884109
Jeffrey Bruce Paris, Laurence Kirby
Publication date: 1978
03H15: Nonstandard models of arithmetic
Related Items
On Extensions of Models of Strong Fragments of Arithmetic, \(\Sigma_2\) induction and infinite injury priority arguments. III: Prompt sets, minimal pairs and Shoenfield's conjecture, Reverse mathematical bounds for the termination theorem, \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs, \(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction, Diophantine induction, A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\), Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics, The degree of a \(\Sigma_ n\) cut, Fragments of arithmetic, Inductive full satisfaction classes, Ultrafilters and types on models of arithmetic, Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction, Models of arithmetic and categories with finiteness conditions, On some formalized conservation results in arithmetic, On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness, The prime number theorem and fragments of PA, Binary models generated by their tally part, \(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator, The proof-theoretic strength of Ramsey's theorem for pairs and two colors, Fixed points of self-embeddings of models of arithmetic, Hyperhypersimple sets and \(\Delta _ 2\) systems, Iterated trees and fragments of arithmetic, The theory of \(\kappa\)-like models of arithmetic, Transfinite induction within Peano arithmetic, Sub-arithmetical ultrapowers: A survey, R.e. Prime powers and total rigidity, Schmerl decompositions in first order arithmetic, Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\), On axiom schemes for \(T\)-provably \(\Delta_1\) formulas, Chain conditions in computable rings, A Conservation Result Concerning Bounded Theories and the Collection Axiom, The metamathematics of Stable Ramsey’s Theorem for Pairs, The atomic model theorem and type omitting
