Sub-arithmetical ultrapowers: A survey
A sub-arithmetical ultrapower is a restricted ultraproduct of \(\omega\) obtained by factorization of the \(\Delta_ n\)-definable total functions on \(\omega\) by a nonprincipal ultrafilter on the \(\Delta_ n\)-definable subsets of \(\omega\). The survey contains an extensive discussion of model theory of such ultrapowers. Topics discussed include: embeddings of sub- arithmetical ultrapowers into models of fragments of true arithmetic; minimality and rigidness; constructions of many nonisomorphic models of fragments of true arithmetic; results related to the theory of isols and Nerode semirings; cofinal extensions and end extensions; existential completeness and its generalization. The material is presented in a very clear and accessible way. Many results are direct generalizations of resuls known for the \(\Delta_ 1\)-ultrapowers [cf. \textit{J. Hirschfeld} and \textit{W. Wheeler}, Forcing, arithmetic, division rings (Lect. Notes Math. 454) (1975; Zbl 0304.02024)] but there are also many new developments and interesting open problems.
- A Note on a Theorem of H. FRIEDMAN
- A note on the Mac Dowell-Specker theorem
- Diophantine correct non-standard models in the isols
- Embeddings of and into Nerode semirings
- Forcing, arithmetic, division rings
- scientific article; zbMATH DE number 3908418 (Why is no real title available?)
- scientific article; zbMATH DE number 4031664 (Why is no real title available?)
- scientific article; zbMATH DE number 4031665 (Why is no real title available?)
- scientific article; zbMATH DE number 3689386 (Why is no real title available?)
- scientific article; zbMATH DE number 3745165 (Why is no real title available?)
- scientific article; zbMATH DE number 3760150 (Why is no real title available?)
- scientific article; zbMATH DE number 3204609 (Why is no real title available?)
- scientific article; zbMATH DE number 3204610 (Why is no real title available?)
- scientific article; zbMATH DE number 3230240 (Why is no real title available?)
- scientific article; zbMATH DE number 3271499 (Why is no real title available?)
- scientific article; zbMATH DE number 3286895 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- scientific article; zbMATH DE number 3333278 (Why is no real title available?)
- scientific article; zbMATH DE number 3402615 (Why is no real title available?)
- Models and types of Peano's arithmetic
- Models of arithmetic and recursive functions
- Near coherence of filters. I: Cofinal equivalence of models of arithmetic
- On Unions of Chains of Models
- Some Extension and Rearrangement Theorems For Nerode Semirings
- Some Properties of ∀∃ Models in the Isols
- Eight problems about Nerode semirings (recursive ultrapowers)
- R.e. Prime powers and total rigidity
- Polynomial time ultrapowers and the consistency of circuit lower bounds
- The Lattice of Computably Enumerable Vector Spaces
- Some observations on the substructure lattice of a _1 ultrapower
- Recursive Fibers of RST Isols
- Existentially Incomplete Tame Models and a Conjecture of Ellentuck
- On the Minimality of Tame Models in the Isols
- A remark on pseudo proof systems and hard instances of the satisfiability problem
- Ultrapowers of L₁() and the subsequence splitting principle
- Cohesive powers of structures
- \(\Delta_{1}\) ultrapowers are totally rigid
This page was built for publication: Sub-arithmetical ultrapowers: A survey
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2276952)
