Elimination of Cardinality Quantifiers

Mathematical Logic Quarterly 28 (4‐7):75-81 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19820280405

Other Versions

reprint Tuschik, H. P. (1982) "Elimination of Cardinality Quantifiers". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28(4-7):75-81

Links

PhilArchive



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

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

Elimination of Quantifiers on Łukasiewicz Logics.Néstor G. Martínez - 1989 - Mathematical Logic Quarterly 35 (1):15-21.
Elimination of quantifiers over vectors in some theories of vector spaces.Andrey A. Kuzichev - 1992 - Mathematical Logic Quarterly 38 (1):575-577.
On elimination of quantifiers in some non‐classical mathematical theories.Guillermo Badia & Andrew Tedder - 2018 - Mathematical Logic Quarterly 64 (3):140-154.
Cardinality Quantifiers And Choice Principles.Norbert Brunner - 1991 - Reports on Mathematical Logic.
How to Eliminate Quantifiers in the Elementary Theory of p‐Rings.Burkhard Molzan - 1982 - Mathematical Logic Quarterly 28 (4‐7):83-92.
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.
On the elimination of Malitz quantifiers over Archimedian real closed fields.Peter Koepke - 1989 - Archive for Mathematical Logic 28 (3):167-171.
Two cardinals models with gap one revisited.Saharon Shelah - 2005 - Mathematical Logic Quarterly 51 (5):437-447.
Expressing cardinality quantifiers in monadic second-order logic over chains.Vince Bárány, Łukasz Kaiser & Alexander Rabinovich - 2011 - Journal of Symbolic Logic 76 (2):603 - 619.

Analytics

Added to PP
2013-11-04

Downloads
17 (#1,152,721)

6 months
3 (#1,471,783)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Mathematical logic.Joseph Robert Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.

Add more references