Mathematical Logic Quarterly 47 (3):305-314 (2001)

In [4] the authors studied the residue field of a model M of IΔ0 + Ω1 for the principal ideal generated by a prime p. One of the main results is that M/ has a unique extension of each finite degree. In this paper we are interested in understanding the structure of any quotient field of M, i.e. we will study the quotient M/I for I a maximal ideal of M. We prove that any quotient field of M satisfies the property of having a unique extension of each finite degree. We will use some of Cherlin's ideas from [3], where he studies the ideal theory of non standard algebraic integers
Keywords Quotient fields  Fragments of Arithmetic  Restricted ultraproducts
Categories (categorize this paper)
DOI 10.1002/1521-3870(200108)47:3
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,688
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Quotient Fields of a Model of IDelta~0 + Omega~1.P. D. Aquino - 2001 - Mathematical Logic Quarterly 47 (3):305-314.
The Intelligence Quotient as a Factor in the Whole-Part Problem.G. O. McGeoch - 1931 - Journal of Experimental Psychology 14 (4):333.
Schlanke Körper (Slim fields).Markus Junker & Jochen Koenigsmann - 2010 - Journal of Symbolic Logic 75 (2):481-500.
Asymptotic Theory of Modules of Separably Closed Fields.Françoise Point - 2005 - Journal of Symbolic Logic 70 (2):573-592.
On Completeness of the Quotient Algebras {Cal P}(Kappa)/I.Yasuo Kanai - 2000 - Archive for Mathematical Logic 39 (2):75-87.
Notes on the Stability of Separably Closed Fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
Recursive and R.E. Quotient Boolean Algebras.John J. Thurber - 1994 - Archive for Mathematical Logic 33 (2):121-129.
Forcing with Quotients.Michael Hrušák & Jindřich Zapletal - 2008 - Archive for Mathematical Logic 47 (7-8):719-739.


Added to PP index

Total views
10 ( #815,621 of 2,349,560 )

Recent downloads (6 months)
1 ( #510,673 of 2,349,560 )

How can I increase my downloads?


My notes