Decidable fragments of field theories
Journal of Symbolic Logic 55 (3):1007-1018 (1990)
| Abstract | We say φ is an ∀∃ sentence if and only if φ is logically equivalent to a sentence of the form ∀ x∃ y ψ(x,y), where ψ(x,y) is a quantifier-free formula containing no variables except x and y. In this paper we show that there are algorithms to decide whether or not a given ∀∃ sentence is true in (1) an algebraic number field K, (2) a purely transcendental extension of an algebraic number field K, (3) every field with characteristic 0, (4) every algebraic number field, (5) every cyclic (abelian, radical) extension field over Q, and (6) every field | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesDavid Baker (2009). Against Field Interpretations of Quantum Field Theory. British Journal for the Philosophy of Science 60 (3):585 - 609.
Olivier Darrigol (2007). A Faradayan Principle for Selecting Classical Field Theories. International Studies in the Philosophy of Science 21 (1):35 – 55.
Reidar Krummradt Lie (1986). The 'Borderzone Zone' Controversy a Study of Theory Structure in Biomedicine. Theoretical Medicine and Bioethics 7 (3).
Rob Clifton & Hans Halvorson (2001). Entanglement and Open Systems in Algebraic Quantum Field Theory. Studies in History and Philosophy of Science Part B 32 (1):1-31.
Andrew Wayne (1997). Degrees of Freedom and the Interpretation of Quantum Field Theory. Erkenntnis 46 (2):165-173.
Glen Meyer (2009). Extending Hartry Field's Instrumental Account of Applied Mathematics to Statistical Mechanics. Philosophia Mathematica 17 (3):273-312.
Jochen Koenigsmann (2002). Defining Transcendentals in Function Fields. Journal of Symbolic Logic 67 (3):947-956.
Don Robinson (1994). The History and Philosophy of Quantum Field Theory. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:61 - 68.
Alexandra Shlapentokh (2002). On Diophantine Definability and Decidability in Some Rings of Algebraic Functions of Characteristic. Journal of Symbolic Logic 67 (2):759-786.
Françoise Delon & Danielle Gondard (1991). XVIIème Problème de Hilbert Sur Les Corps Chaîne-Clos. Journal of Symbolic Logic 56 (3):853-861.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,211 of 548,969 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
