Decidable algebraic fields
Journal of Symbolic Logic 82 (2):474-488 (2017)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
d-computable Categoricity for Algebraic Fields.Russell Miller - 2009 - Journal of Symbolic Logic 74 (4):1325 - 1351.
Decidable Regularly Closed Fields of Algebraic Numbers.Lou van den Dries & Rick L. Smith - 1985 - Journal of Symbolic Logic 50 (2):468 - 475.
Schlanke Körper (Slim fields).Markus Junker & Jochen Koenigsmann - 2010 - Journal of Symbolic Logic 75 (2):481-500.
Decidable regularly closed fields of algebraic numbers.Louden Dries & Rick L. Smith - 1985 - Journal of Symbolic Logic 50 (2):468 - 475.
Definability and decidability in infinite algebraic extensions.Alexandra Shlapentokh & Carlos Videla - 2014 - Annals of Pure and Applied Logic 165 (7-8):1243-1262.
The Elementary Theory of Algebraic Fields of Finite Corank.Moshe Jarden & Ursel Kiehne - 1987 - Journal of Symbolic Logic 52 (2):567-567.
Review: Moshe Jarden, Ursel Kiehne, The Elementary Theory of Algebraic Fields of Finite Corank. [REVIEW]A. Prestel - 1987 - Journal of Symbolic Logic 52 (2):567-567.
On algebraic closure in pseudofinite fields.Özlem Beyarslan & Ehud Hrushovski - 2012 - Journal of Symbolic Logic 77 (4):1057-1066.
Existential definability with bounds on archimedean valuations.Alexandra Shlapentokh - 2003 - Journal of Symbolic Logic 68 (3):860-878.
Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of Q.Alexandra Shlapentokh - 1994 - Annals of Pure and Applied Logic 68 (3):299-325.
First-order definitions of rational functions and S -integers over holomorphy rings of algebraic functions of characteristic 0.Alexandra Shlapentokh - 2005 - Annals of Pure and Applied Logic 136 (3):267-283.
Diophantine relations between rings of s-integers of fields of algebraic functions in one variable over constant fields of positive characteristic.Alexandra Shlapentokh - 1993 - Journal of Symbolic Logic 58 (1):158-192.
Decidable fragments of field theories.Shih-Ping Tung - 1990 - Journal of Symbolic Logic 55 (3):1007-1018.
The elementary theory of e-free PAC domains.Aharon Razon - 2000 - Annals of Pure and Applied Logic 103 (1-3):55-95.
Analytics
Added to PP
2017-06-20
Downloads
9 (#937,729)
6 months
1 (#451,971)
2017-06-20
Downloads
9 (#937,729)
6 months
1 (#451,971)
Historical graph of downloads
Author's Profile
References found in this work
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.
