- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Complete second order spectra
Mathematical Logic Quarterly 30 (32‐34):509-524 (1984)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Spectra of Structures and Relations.Valentina S. Harizanov & Russel G. Miller - 2007 - Journal of Symbolic Logic 72 (1):324 - 348.
The ground-negative fragment of first-order logic is πp2-complete.Andrei Voronkov - 1999 - Journal of Symbolic Logic 64 (3):984 - 990.
On the problem of hidden variables for quantum mechanical observables with continuous spectra.Paul Teller - 1977 - Philosophy of Science 44 (3):475-477.
Degree Spectra of Prime Models.Barbara F. Csima - 2004 - Journal of Symbolic Logic 69 (2):430 - 442.
A note on the first‐order logic of complete BL‐chains.Petr Hájek & Franco Montagna - 2008 - Mathematical Logic Quarterly 54 (4):435-446.
Ordinal spectra of first-order theories.John Stewart Schlipf - 1977 - Journal of Symbolic Logic 42 (4):492-505.
Rudimentary Languages and Second‐Order Logic.Malika More & Frédéric Olive - 1997 - Mathematical Logic Quarterly 43 (3):419-426.
Spectra of formulae with Henkin quantifiers.Joanna Golinska-Pilarek & Konrad Zdanowski - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 29-45.
Turing machines and the spectra of first-order formulas.Neil D. Jones & Alan L. Selman - 1974 - Journal of Symbolic Logic 39 (1):139-150.
On deciding the non‐emptiness of 2SAT polytopes with respect to First Order Queries.K. Subramani - 2004 - Mathematical Logic Quarterly 50 (3):281-292.
Computable Isomorphisms of Boolean Algebras with Operators.Bakhadyr Khoussainov & Tomasz Kowalski - 2012 - Studia Logica 100 (3):481-496.
On spectra of sentences of monadic second order logic with counting.E. Fischer & J. A. Makowsky - 2004 - Journal of Symbolic Logic 69 (3):617-640.
Maharam spectra of Loeb spaces.Renling Jin & H. Jerome Keisler - 2000 - Journal of Symbolic Logic 65 (2):550-566.
A note on generalized functional completeness in the realm of elementrary logic.Henri Galinon - 2009 - Bulletin of the Section of Logic 38 (1/2):1-9.
Analytics
Added to PP
2013-12-01
Downloads
6 (#1,425,536)
6 months
2 (#1,263,261)
2013-12-01
Downloads
6 (#1,425,536)
6 months
2 (#1,263,261)
Historical graph of downloads
References found in this work
Review: Y. Bar-Hillel, Bolzano's Definition of Analytic Propositions. [REVIEW]Heinrich Scholz - 1952 - Journal of Symbolic Logic 17 (2):119-122.
Bar-Hillel Y.. Bolzano's definition of analytic propositions. Methodos, Bd. 2 Heft 5 , S. 32–55; zugleich Theoria, Bd. 16 , S. 91–117. [REVIEW]Heinrich Scholz - 1952 - Journal of Symbolic Logic 17 (2):119-122.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-4c2ch uwo