Fields with few types

Journal of Symbolic Logic 78 (1):72-84 (2013)
  Copy   BIBTEX

Abstract

According to Belegradek, a first order structure is weakly small if there are countably many $1$-types over any of its finite subset. We show the following results. A field extension of finite degree of an infinite weakly small field has no Artin-Schreier extension. A weakly small field of characteristic $2$ is finite or algebraically closed. A weakly small division ring of positive characteristic is locally finite dimensional over its centre. A weakly small division ring of characteristic $2$ is a field

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

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

Through your library

Similar books and articles

Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
Notes on the stability of separably closed fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
Minimal types in separably closed fields.Zoé Chatzidakis & Carol Wood - 2000 - Journal of Symbolic Logic 65 (3):1443-1450.
Small fields.Frank O. Wagner - 1998 - Journal of Symbolic Logic 63 (3):995-1002.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
Finite forcing, existential types and complete types.Joram Hirschfeld - 1980 - Journal of Symbolic Logic 45 (1):93-102.
Problem-Solving, Research Traditions, and the Development of Scientific Fields.Henry Frankel - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:29 - 40.
Definissabilite dans Les corps de fonctions p-adiques.Luc Bélair & Jean-Louis Duret - 1991 - Journal of Symbolic Logic 56 (3):783-785.
The Ontology of Products.Massimiliano Vignolo - 2010 - Metaphysica 11 (1):1-16.
Definability in number fields.S. P. Tung - 1987 - Journal of Symbolic Logic 52 (1):152-155.

Analytics

Added to PP
2013-01-24

Downloads
22 (#712,478)

6 months
3 (#983,674)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On Bounded Type-Definable Equivalence Relations.Ludomir Newelski & Krzysztof Krupi?Ski - 2002 - Notre Dame Journal of Formal Logic 43 (4):231-242.
Countable models of 1-based theories.Anand Pillay - 1992 - Archive for Mathematical Logic 31 (3):163-169.
Small skew fields.Cédric Milliet - 2007 - Mathematical Logic Quarterly 53 (1):86-90.
Superstable fields and groups.G. Cherlin - 1980 - Annals of Mathematical Logic 18 (3):227.

Add more references