The expressive power of Malitz quantifiers for linear orderings

Annals of Pure and Applied Logic 36:53-103 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(87)90012-1

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Recursive automorphisms of recursive linear orderings.Steven Schwarz - 1984 - Annals of Pure and Applied Logic 26 (1):69-73.
Linear orderings and powers of characterizable cardinals.Ioannis Souldatos - 2012 - Annals of Pure and Applied Logic 163 (3):225-237.
Δ20-categoricity in Boolean algebras and linear orderings.Charles F. D. McCoy - 2003 - Annals of Pure and Applied Logic 119 (1-3):85-120.
The expressive power of k-ary exclusion logic.Raine Rönnholm - 2019 - Annals of Pure and Applied Logic 170 (9):1070-1099.
Expressive power of digraph solvability.Marc Bezem, Clemens Grabmayer & Michał Walicki - 2012 - Annals of Pure and Applied Logic 163 (3):200-213.
Hans-Dieter Donder and Peter Koepke. On the consistency strength of ‘accessible’ Jonsson cardinals and of the weak Chang conjecture. Annals of pure and applied logic, vol. 25 , pp. 233–261. - Peter Koepke. Some applications of short core models. Annals of pure and applied logic, vol. 37 , pp. 179–204. [REVIEW]Sy D. Friedman - 1989 - Journal of Symbolic Logic 54 (4):1496-1497.
On self-embeddings of computable linear orderings.Rodney G. Downey, Carl Jockusch & Joseph S. Miller - 2006 - Annals of Pure and Applied Logic 138 (1):52-76.
Baudisch Andreas, Seese Detlef, Tuschik Hans-Peter, and Weese Martin. Decidability and generalized quantifiers. Mathematical research-Mathematische Forschung, vol. 3. Akademie-Verlag, Berlin 1980, XII + 235 pp. [REVIEW]John Cowles - 1982 - Journal of Symbolic Logic 47 (4):907-908.
Logic programs, well-orderings and forward chaining.V. W. Marek, A. Nerode & J. B. Remmel - 1999 - Annals of Pure and Applied Logic 96 (1-3):231-276.
On the Mitchell and Rudin-Kiesler orderings of ultrafilters.Moti Gitik - 1988 - Annals of Pure and Applied Logic 39 (2):175-197.

Analytics

Added to PP
2014-01-16

Downloads
21 (#1,005,339)

6 months
4 (#1,247,585)

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

Compact extensions of L(Q).Menachem Magidor & Jerome Malitz - 1977 - Annals of Mathematical Logic 11 (2):217--261.
The monadic theory of ω2.Yuri Gurevich, Menachem Magidor & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (2):387-398.
The Monadic Theory of ω 1 2.Yuri Gurevich, Menachem Magidor & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (2):387-398.

View all 8 references / Add more references