Weak presentations of non-finitely generated fields
Annals of Pure and Applied Logic 94 (1-3):223-252 (1998)
Abstract
Let K be a countable field. Then a weak presentation of K is an isomorphism of K onto a field whose elements are natural numbers, such that all the field operations are extendible to total recursive functions. Given a pair of two non-finitely generated countable fields contained in some overfield, we investigate under what circumstances the overfield has a weak presentation under which the given fields have images of arbitrary Turing degrees or, in other words, we investigate Turing separability of various pairs of non-finitely generated fieldsAuthor's Profile
DOI
10.1016/s0168-0072(97)00074-2
My notes
Similar books and articles
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of ℚ.Alexandra Shlapentokh - 2001 - Archive for Mathematical Logic 40 (4):297-328.
Finitely generated submodels of an uncountably categorical homogeneous structure.Tapani Hyttinen - 2004 - Mathematical Logic Quarterly 50 (1):77.
Model theoretic connected components of finitely generated nilpotent groups.Nathan Bowler, Cong Chen & Jakub Gismatullin - 2013 - Journal of Symbolic Logic 78 (1):245-259.
The variety of lattice-ordered monoids generated by the natural numbers.Annika M. Wille - 2004 - Studia Logica 76 (2):275 - 290.
On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond.Luck Darnière & Markus Junker - 2010 - Archive for Mathematical Logic 49 (7-8):743-771.
Weak Presentations of Computable Fields.Carl G. Jockusch & Alexandra Shlapentokh - 1995 - Journal of Symbolic Logic 60 (1):199 - 208.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
The Beth-closure of l(qα) is not finitely generated.Lauri Hella & Kerkko Luosto - 1992 - Journal of Symbolic Logic 57 (2):442 - 448.
Model companions for finitely generated universal horn classes.Stanley Burris - 1984 - Journal of Symbolic Logic 49 (1):68-74.
The model theory of differential fields with finitely many commuting derivations.Tracey McGrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
Finitely approximable groups and actions Part II: Generic representations.Christian Rosendal - 2011 - Journal of Symbolic Logic 76 (4):1307-1321.
Analytics
Added to PP
2014-01-16
Downloads
7 (#1,045,226)
6 months
1 (#451,971)
2014-01-16
Downloads
7 (#1,045,226)
6 months
1 (#451,971)
Historical graph of downloads
Author's Profile
Citations of this work
Generalized weak presentations.Alexandra Shlapentokh - 2002 - Journal of Symbolic Logic 67 (2):787-819.
References found in this work
Weak Presentations of Computable Fields.Carl G. Jockusch & Alexandra Shlapentokh - 1995 - Journal of Symbolic Logic 60 (1):199 - 208.
Diophantine equivalence and countable rings.Alexandra Shlapentokh - 1994 - Journal of Symbolic Logic 59 (3):1068-1095.
Rational separability over a global field.Alexandra Shlapentokh - 1996 - Annals of Pure and Applied Logic 79 (1):93-108.