A class of fields with a restricted model completeness property

&
Journal of Symbolic Logic 86 (2):701-708 (2021)
  Copy   BIBTEX

Abstract

We introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and in particular obtain a number of new existential predicates over global fields.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2021.28

Links

PhilArchive



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

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

Filosofi I Norge I fremtiden: Gi opp Dyrehagemodellen og bruk alle ressurser på ekspertisegrupper.Herman Cappelen - 2015 - Norsk Filosofisk Tidsskrift 50 (3):119-128.
Analogical Predictions for Explicit Similarity.Jan Willem Romeijn - 2006 - Erkenntnis 64 (2):253 - 280.
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras.Tommaso Cortonesi, Enrico Marchioni & Franco Montagna - 2011 - Notre Dame Journal of Formal Logic 52 (4):339-379.
Notes on the stability of separably closed fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
Elementary geometric local–global principles for fields.Arno Fehm - 2013 - Annals of Pure and Applied Logic 164 (10):989-1008.
Standard Gödel Modal Logics.Xavier Caicedo & Ricardo O. Rodriguez - 2010 - Studia Logica 94 (2):189-214.
The finite model property for knotted extensions of propositional linear logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
Algebraic aspects of cut elimination.Francesco Belardinelli, Peter Jipsen & Hiroakira Ono - 2004 - Studia Logica 77 (2):209 - 240.
Model completeness results for elliptic and abelian functions.Ricardo Bianconi - 1991 - Annals of Pure and Applied Logic 54 (2):121-136.
An infinite class of maximal intermediate propositional logics with the disjunction property.Pierangelo Miglioli - 1992 - Archive for Mathematical Logic 31 (6):415-432.
Finite h-dimension does not imply expressive completeness.Ian Hodkinson - 1994 - Journal of Philosophical Logic 23 (5):535 - 573.
On n -contractive fuzzy logics.Rostislav Horčík, Carles Noguera & Milan Petrík - 2007 - Mathematical Logic Quarterly 53 (3):268-288.
Toward a Model Theory for Transseries.Matthias Aschenbrenner, Lou van den Dries & Joris van der Hoeven - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):279-310.
Computable Embeddings and Strongly Minimal Theories.J. Chisholm, J. F. Knight & S. Miller - 2007 - Journal of Symbolic Logic 72 (3):1031 - 1040.
Some kinds of modal completeness.J. F. A. K. van Benthem - 1980 - Studia Logica 39 (2):125-141.

Analytics

Added to PP
2021-03-26

Downloads
10 (#1,188,669)

6 months
3 (#962,988)

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

Book Reviews. [REVIEW]Wilfrid Hodges - 1997 - Studia Logica 64 (1):133-149.

Add more references