- 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
Compact extensions of L(Q)
Annals of Mathematical Logic 11 (2):217--261 (1977)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Menachem Magidor and Jerome Malitz. Compact extensions of L. Annals of mathematical logic, vol. 11, pp. 217–261. - Matt Kaufmann. A new omitting types theorem for L. The journal of symbolic logic, vol. 44, pp. 507–521.Kim Bruce - 1985 - Journal of Symbolic Logic 50 (4):1076-1078.
Magidor-Malitz quantifiers in modules.Andreas Baudisch - 1984 - Journal of Symbolic Logic 49 (1):1-8.
EM constructions for a class of generalized quantifiers.Martin Otto - 1992 - Archive for Mathematical Logic 31 (5):355-371.
The relational semantics for branched quantifiers.M. Mostowski - 1987 - In Dimiter G. Skordev, Mathematical Logic and its Application. Plenum Press. pp. 315--322.
First order predicate logic with generalized quantifiers.Per Lindström - 1966 - Theoria 32 (3):186--195.
Ambigous quantifiers.M. Krynicki & M. Mostowski - 1999 - In E. Orłowska, Logic at Work. Heidelberg. pp. 548--565.
On the role of Ramsey quantifiers in first order arithmetic.James H. Schmerl & Stephen G. Simpson - 1982 - Journal of Symbolic Logic 47 (2):423-435.
Henkin Quantifiers and Complete Problems.Andreas Blass & Yuri Gurevich - 1986 - Annals of Pure and Applied Logic 32:1--16.
Analytics
Added to PP
2012-03-18
Downloads
94 (#562,972)
6 months
4 (#1,750,773)
2012-03-18
Downloads
94 (#562,972)
6 months
4 (#1,750,773)
Historical graph of downloads
Citations of this work
On branching quantifiers in English.Jon Barwise - 1979 - Journal of Philosophical Logic 8 (1):47-80.
On the Consistency of Some Partition Theorems for Continuous Colorings, and the Structure of ℵ 1 -Dense Real Order Types.J. Steprans, Uri Abraham, Matatyahu Rubin & Saharon Shelah - 2002 - Bulletin of Symbolic Logic 8 (2):303.
Inner models from extended logics: Part 1.Juliette Kennedy, Menachem Magidor & Jouko Väänänen - 2020 - Journal of Mathematical Logic 21 (2):2150012.
References found in this work
On a generalization of quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Logic with the quantifier “there exist uncountably many”.H. Jerome Keisler - 1970 - Annals of Mathematical Logic 1 (1):1-93.
Aronszajn trees and the independence of the transfer property.William Mitchell - 1972 - Annals of Mathematical Logic 5 (1):21.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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