The elementary theory of e-free PAC domains

Annals of Pure and Applied Logic 103 (1-3):55-95 (2000)
  Copy   BIBTEX

Abstract

We prove that the theory of all sentences in the language of rings which are true in for almost all is decidable. Here is the field of all algebraic numbers; is the ring of all algebraic integers; is the absolute Galois group of ; for each , is the fixed field of σ1,…,σe in ; and the clause ‘almost all’ is used in the sense of the Haar measure of

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(99)00023-8

Links

PhilArchive



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

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

Mathematical Physics and Elementary Logic.Brent Mundy - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:289 - 301.
Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain.Vladimir A. Smirnov - 1987 - Studia Logica 46 (1):1 - 15.
Domains of deception.David M. Buss - 2011 - Behavioral and Brain Sciences 34 (1):18-18.
Review: Moshe Jarden, The Elementary Theory of $omega$free Ax Fields. [REVIEW]A. Prestel - 1987 - Journal of Symbolic Logic 52 (2):567-568.
The elementary theory of free pseudo p-adically closed fields of finite corank.Ido Efrat - 1991 - Journal of Symbolic Logic 56 (2):484-496.
Is quantum mechanics an atomistic theory?Shaughan Lavine - 1991 - Synthese 89 (2):253 - 271.
On the elementary theory of restricted elementary functions.Lou van den Dries - 1988 - Journal of Symbolic Logic 53 (3):796-808.
On the Elementary Theory of Restricted Elementary Functions.Lou van den Dries - 1988 - Journal of Symbolic Logic 53 (3):796 - 808.
Free will and mental disorder: Exploring the relationship.Gerben Meynen - 2010 - Theoretical Medicine and Bioethics 31 (6):429-443.
Relating first-order set theories and elementary toposes.Steve Awodey, Carsten Butz & Alex Simpson - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
Visualizability and Models in the Theory of Elementary Particles.I. B. Novik - 1965 - In I. V. Kuznet͡sov & M. E. Omelʹi͡anovsʹkyĭ (eds.), Philosophical Problems of Elementary Particle Physics. Jerusalem, Israel Program for Scientific Translations.
Elementary Propositions and Independence.John L. Bell & William Demopoulos - 1996 - Notre Dame Journal of Formal Logic 37 (1):112-124.
Does an elementary particle have a unique intrinsic state?Gordon McCabe - unknown
Minimal elementary extensions of models of set theory and arithmetic.Ali Enayat - 1990 - Archive for Mathematical Logic 30 (3):181-192.

Analytics

Added to PP
2014-01-16

Downloads
24 (#642,030)

6 months
12 (#202,587)

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

No references found.

Add more references