Decidable algebraic fields

&
Journal of Symbolic Logic 82 (2):474-488 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2017.10

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Effective algebraicity.Rebecca M. Steiner - 2013 - Archive for Mathematical Logic 52 (1-2):91-112.

Analytics

Added to PP
2017-06-20

Downloads
12 (#1,068,950)

6 months
1 (#1,498,742)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.
Model Theory: An Introduction.David Marker - 2003 - Bulletin of Symbolic Logic 9 (3):408-409.

Add more references