A Note on a Theorem of H. FRIEDMAN

DOI10.1002/malq.19880340103zbMath0613.03013OpenAlexW2103889573MaRDI QIDQ3753990

Jeffrey Bruce Paris, Constantine Dimitracopoulos

Publication date: 1988

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19880340103

zbMATH Keywords

fragments of arithmeticproper initial segmentcountable nonstandard modelPeano's axioms with induction restricted to \(\Sigma _ 1\) formulas

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (8)

Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ Fixed points of self-embeddings of models of arithmetic ⋮ The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method ⋮ Eight problems about Nerode semirings (recursive ultrapowers) ⋮ MARGINALIA ON A THEOREM OF WOODIN ⋮ Sub-arithmetical ultrapowers: A survey ⋮ R.e. Prime powers and total rigidity ⋮ HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC

This page was built for publication: A Note on a Theorem of H. FRIEDMAN