- 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
Boolean models and infinitary first order languages
Annals of Mathematical Logic 6 (1):41 (1973)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Ressayre J. P.. Models with compactness properties relative to an admissible language. Annals of mathematical logic, vol. 11 no. 1 , pp. 31–55. [REVIEW]Julia F. Knight - 1982 - Journal of Symbolic Logic 47 (2):439-440.
The Boolean algebra of formulas of first-order logic.Don H. Faust - 1982 - Annals of Mathematical Logic 23 (1):27.
Models with second order properties I. Boolean algebras with no definable automorphisms.Saharon Shelah - 1978 - Annals of Mathematical Logic 14 (1):57.
Boolean Valued Models, Boolean Valuations, and Löwenheim-Skolem Theorems.Xinhe Wu - 2023 - Journal of Philosophical Logic 53 (1):293-330.
Review: J. P. Ressayre, Models with Compactness Properties Relative to an Admissible Language. [REVIEW]Julia F. Knight - 1982 - Journal of Symbolic Logic 47 (2):439-440.
Lectures on infinitary model theory.David Marker - 2016 - New York, NY, USA: Cambridge University Press.
Boolean valued models and generalized quantifiers.Jouko Väänänen - 1980 - Annals of Mathematical Logic 18 (3):193-225.
Analytics
Added to PP
2014-01-17
Downloads
25 (#867,763)
6 months
6 (#823,508)
2014-01-17
Downloads
25 (#867,763)
6 months
6 (#823,508)
Historical graph of downloads
Citations of this work
A new look at the interpolation problem.Jacques Stern - 1975 - Journal of Symbolic Logic 40 (1):1-13.
Boolean valued models and generalized quantifiers.Jouko Väänänen - 1980 - Annals of Mathematical Logic 18 (3):193-225.
Models with compactness properties relative to an admissible language.J. P. Ressayre - 1977 - Annals of Mathematical Logic 11 (1):31.
Partially ordered interpretations.Nobuyoshi Motohashi - 1977 - Journal of Symbolic Logic 42 (1):83-93.
Coinductive formulas and a many-sorted interpolation theorem.Ursula Gropp - 1988 - Journal of Symbolic Logic 53 (3):937-960.
References found in this work
Logic with the quantifier “there exist uncountably many”.H. Jerome Keisler - 1970 - Annals of Mathematical Logic 1 (1):1-93.
Some applications of infinitely long formulas.H. Jerome Keisler - 1965 - Journal of Symbolic Logic 30 (3):339-349.
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-667477cd97-qfrlh dc2