Computable categoricity for pseudo-exponential fields of size ℵ 1

Annals of Pure and Applied Logic 165 (7-8):1301-1317 (2014)
  Copy   BIBTEX

Abstract

We use some notions from computability in an uncountable setting to describe a difference between the “Zilber field” of size ℵ1ℵ1 and the “Zilber cover” of size ℵ1ℵ1

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2014.04.003

Links

PhilArchive



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

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

Real Closed Exponential Subfields of Pseudo-Exponential Fields.Ahuva C. Shkop - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):591-601.
A Note on the Axioms for Zilber’s Pseudo-Exponential Fields.Jonathan Kirby - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):509-520.
Degrees of categoricity of computable structures.Ekaterina B. Fokina, Iskander Kalimullin & Russell Miller - 2010 - Archive for Mathematical Logic 49 (1):51-67.
On the complexity of categoricity in computable structures.Walker M. White - 2003 - Mathematical Logic Quarterly 49 (6):603.
Categoricity Spectra for Rigid Structures.Ekaterina Fokina, Andrey Frolov & Iskander Kalimullin - 2016 - Notre Dame Journal of Formal Logic 57 (1):45-57.
Effective algebraicity.Rebecca M. Steiner - 2013 - Archive for Mathematical Logic 52 (1-2):91-112.
Degrees of Categoricity and the Hyperarithmetic Hierarchy.Barbara F. Csima, Johanna N. Y. Franklin & Richard A. Shore - 2013 - Notre Dame Journal of Formal Logic 54 (2):215-231.
d-computable Categoricity for Algebraic Fields.Russell Miller - 2009 - Journal of Symbolic Logic 74 (4):1325 - 1351.
Equivalence structures and isomorphisms in the difference hierarchy.Douglas Cenzer, Geoffrey LaForte & Jeffrey Remmel - 2009 - Journal of Symbolic Logic 74 (2):535-556.
Degrees That Are Not Degrees of Categoricity.Bernard Anderson & Barbara Csima - 2016 - Notre Dame Journal of Formal Logic 57 (3):389-398.
Exponentially closed fields and the conjecture on intersections with tori.Jonathan Kirby & Boris Zilber - 2014 - Annals of Pure and Applied Logic 165 (11):1680-1706.
Consequences of Schanuel's condition for zeros of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):559-565.
Effective categoricity of equivalence structures.Wesley Calvert, Douglas Cenzer, Valentina Harizanov & Andrei Morozov - 2006 - Annals of Pure and Applied Logic 141 (1):61-78.
On roots of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):96-102.
Categoricity Spectra for Polymodal Algebras.Nikolay Bazhenov - 2016 - Studia Logica 104 (6):1083-1097.

Analytics

Added to PP
2015-01-22

Downloads
12 (#1,079,938)

6 months
3 (#961,692)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
Categoricity.John T. Baldwin - 2009 - American Mathematical Society.

View all 9 references / Add more references