Logic with the quantifier "there exist uncountably many"

Annals of Mathematical Logic 1 (1):1 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0003-4843(70)80005-5

Links

PhilArchive



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

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

On the definability of the quantifier “there exist uncountably many”.Žarko Mijajlović - 1985 - Studia Logica 44 (3):257 - 264.
Logic with the quantifier “there exist uncountably many”.H. Jerome Keisler - 1970 - Annals of Mathematical Logic 1 (1):1-93.
Review: H. Jerome Keisler, Logic with the Quantifier There Exist Uncountably Many. [REVIEW]Gebhard Fuhrken - 1971 - Journal of Symbolic Logic 36 (4):685-687.
Maximal Models in the Language with Quantifier "There Exist Uncountably Many.".J. I. Malitz & W. N. Reinhardt - 1975 - Journal of Symbolic Logic 40 (4):635-636.
Regular relations and the quantifier “there exist uncountably many”.Zarko Mijajlović & Valentina Harizanov - 1983 - Mathematical Logic Quarterly 29 (3):151-161.
On the Eliminability of the Quantifier “There Exist Uncountably Many”.Žarko Mijajlović - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 169--179.
Fuhrken G.. Skolem-type normal forms for first-order languages with a generalized quantifier. Fundamenta mathematicae, vol. 54 , pp. 291–302.Vaught R. L.. The completeness of logic with the added quantifier “there are uncountably many.” Fundamenta mathematicae, vol. 54 , pp. 303–304. [REVIEW]Pawel Zbierski - 1968 - Journal of Symbolic Logic 33 (1):121-122.
Review: J. I. Malitz, W. N. Reinhardt, Maximal Models in the Language with Quantifier "There Exist Uncountably Many."; J. I. Malitz, W. N. Reinhardt, A Complete Countable $L^Q{omega1}$ Theory with Maximal Models of Many Cardinalities. [REVIEW]Mitsuru Yasuhara - 1975 - Journal of Symbolic Logic 40 (4):635-636.
On the Logic of Quantifier Variance (2008).Marcus Rossberg - manuscript
$L_a(\finv)$.Kim Bruce & H. J. Keisler - 1979 - Journal of Symbolic Logic 44 (1):15 - 28.
Quantifier probability logic and the confirmation paradox.Theodore Hailperin - 2007 - History and Philosophy of Logic 28 (1):83-100.
Non-effective Quantifier Elimination.Mihai Prunescu - 2001 - Mathematical Logic Quarterly 47 (4):557-562.
Modal Realism and the Meaning of 'Exist'.T. Parent - manuscript
Model completeness for trivial, uncountably categorical theories of Morley rank 1.Alfred Dolich, Michael C. Laskowski & Alexander Raichev - 2006 - Archive for Mathematical Logic 45 (8):931-945.
Almost Everywhere Elimination of Probability Quantifiers.H. Jerome Keisler & Wafik Boulos Lotfallah - 2009 - Journal of Symbolic Logic 74 (4):1121 - 1142.

Analytics

Added to PP
2017-02-19

Downloads
8 (#1,291,989)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generalized quantifiers and natural language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
Did Tarski commit "Tarski's fallacy"?Gila Sher - 1996 - Journal of Symbolic Logic 61 (2):653-686.
Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.
Stationary logic.Jon Barwise - 1978 - Annals of Mathematical Logic 13 (2):171.

View all 56 citations / Add more citations

References found in this work

The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
A generalization of the concept of ω-consistency.Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):183-196.
On ω-consistency and related properties.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):246-252.
Infinitary Logic and Admissible Sets.Jon Barwise - 1971 - Journal of Symbolic Logic 36 (1):156-157.

View all 7 references / Add more references