David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 44 (3):257 - 264 (1985)
In paper  it was shown that a great part of model theory of logic with the generalized quantifier Q x = there exist uncountably many x is reducible to the model theory of first order logic with an extra binary relation symbol. In this paper we consider when the quantifier Q x can be syntactically defined in a first order theory T. That problem was raised by Kosta Doen when he asked if the quantifier Q x can be eliminated in Peano arithmetic. We answer that question fully in this paper.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
H. Jerome Keisler (1970). Logic with the Quantifier “There Exist Uncountably Many”. Annals of Mathematical Logic 1 (1):1-93.
Citations of this work BETA
No citations found.
Similar books and articles
Shih Ping Tung (1992). Arithmetic Definability by Formulas with Two Quantifiers. Journal of Symbolic Logic 57 (1):1-11.
Ítala M. L. D'Ottaviano (1987). Definability and Quantifier Elimination for J3-Theories. Studia Logica 46 (1):37 - 54.
Tapani Hyttinen & Gabriel Sandu (2000). Henkin Quantifiers and the Definability of Truth. Journal of Philosophical Logic 29 (5):507-527.
Wiebe Van Der Hoek & Maarten De Rijke (1993). Generalized Quantifiers and Modal Logic. Journal of Logic, Language and Information 2 (1):19-58.
H. Jerome Keisler & Wafik Boulos Lotfallah (2004). First Order Quantifiers in Monadic Second Order Logic. Journal of Symbolic Logic 69 (1):118-136.
George Mills & Jeff Paris (1984). Regularity in Models of Arithmetic. Journal of Symbolic Logic 49 (1):272-280.
Added to index2009-01-28
Total downloads9 ( #165,736 of 1,102,012 )
Recent downloads (6 months)3 ( #128,871 of 1,102,012 )
How can I increase my downloads?