- 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
Model-theoretic forcing in logic with a generalized quantifier
Annals of Mathematical Logic 13 (3):225 (1978)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Model theoretic forcing in analysis.Itaï Ben Yaacov & José Iovino - 2009 - Annals of Pure and Applied Logic 158 (3):163-174.
Model theoretic forcing in analysis.Itaï Yaacov & José Iovino - 2009 - Annals of Pure and Applied Logic 158 (3):163-174.
Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles.Vincent Guingona, Cameron Donnay Hill & Lynn Scow - 2017 - Annals of Pure and Applied Logic 168 (5):1091-1111.
The Downward Transfer of Elementary Satisfiability of Partition Logics.Y. Chen & E. Shen - 2000 - Mathematical Logic Quarterly 46 (4):477-488.
Model theoretic methods in the theory of isols.Erik Ellentuck - 1978 - Annals of Mathematical Logic 14 (3):273-285.
Logic with the quantifier “there exist uncountably many”.H. Jerome Keisler - 1970 - Annals of Mathematical Logic 1 (1):1-93.
Proof-theoretic methods in quantifier-free definability.Zoltan A. Kocsis - 2025 - Annals of Pure and Applied Logic 176 (4):103555.
Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory.Saharon Shelah - 1971 - Annals of Mathematical Logic 3 (3):271-362.
Vector space semantics: A model-theoretic analysis of locative prepositions. [REVIEW]Joost Zwarts & Yoad Winter - 2000 - Journal of Logic, Language and Information 9 (2):169-211.
Analytics
Added to PP
2015-02-02
Downloads
12 (#1,369,278)
6 months
4 (#1,247,585)
2015-02-02
Downloads
12 (#1,369,278)
6 months
4 (#1,247,585)
Historical graph of downloads
Citations of this work
Models with second order properties IV. A general method and eliminating diamonds.Saharon Shelah - 1983 - Annals of Pure and Applied Logic 25 (2):183-212.
Ideal models and some not so ideal problems in the model theory of l(q).Kim B. Bruce - 1978 - Journal of Symbolic Logic 43 (2):304-321.
Model constructions in stationary logic. Part I. forcing.Kim B. Bruce - 1980 - Journal of Symbolic Logic 45 (3):439-454.
A new omitting types theorem for l(q).Matt Kaufmann - 1979 - Journal of Symbolic Logic 44 (4):507-521.
References found in this work
On a generalization of quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
Logic with the quantifier “there exist uncountably many”.H. Jerome Keisler - 1970 - Annals of Mathematical Logic 1 (1):1-93.
Skolem-type Normal Forms for First-Order Languages with a Generalized Quantifier.G. Fuhrken & R. L. Vaught - 1968 - Journal of Symbolic Logic 33 (1):121-122.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
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
Server: philpapers-web-559df78dcc-45kst uwo