Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/the-theorems-of-beth-and-craig-in-abstract-model-theory-ii-compact-BDpHgunGyi
References (23)
-
J. Makowsky, S. Tulipani (1977)
Some model theory for monotone quantifiersArchiv für mathematische Logik und Grundlagenforschung, 18
-
S. Shelah (1975)
Generalized quantifiers and compact logicTransactions of the American Mathematical Society, 204
-
(1977)
Compact extensions of L(Q) -
H. Ebbinghaus (1975)
ZumL(Q)-InterpolationsproblemMathematische Zeitschrift, 142
-
J. Makowsky (1978)
Quantifying Over Countable Sets: Positive vs Stationary LogicStudies in logic and the foundations of mathematics, 96
-
A. Ehrenfeucht (1961)
An application of games to the completeness problem for formalized theoriesFundamenta Mathematicae, 49
-
K.J. Barwise, M. Kaufmann, M. Makkai (1978)
Stationary logicAnn. Math. Logic, 1312
-
S. Shelah (1981)
Models with second order properties. III. Omitting types forL(Q)Archiv für mathematische Logik und Grundlagenforschung, 21
-
J. Makowsky, S. Shelah (1979)
The theorems of Beth and Craig in abstract model theory. I. The abstract settingTransactions of the American Mathematical Society, 256
-
Shlomo Vinner (1972)
A generalization of Ehrenfeucht’s game and some applicationsIsrael Journal of Mathematics, 12
-
T. Jech (1977)
TreesVSL, 36
-
A. Slomson (1972)
Generalized quantifiers and well orderingsArchiv für mathematische Logik und Grundlagenforschung, 15
-
L. Badger (1977)
An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications.Pacific Journal of Mathematics, 72
-
J. Makowsky, S. Shelah, J. Stavi (1976)
δ-Logics and generalized quantifiersAnnals of Mathematical Logic, 10
-
H. Friedman (1973)
Beth’s theorem in cardinality logicsIsrael Journal of Mathematics, 14
-
S. Ben-David (1978)
On Shelah’s compactness of cardinalsIsrael Journal of Mathematics, 31
-
S. Shelah (1972)
On models with power-like orderingsJournal of Symbolic Logic, 37
-
A. Wojciechowska (1969)
Generalized products forQ α-languagesBull. de l'Acad. Polon. des Sc., Serie des SC. Math., astr. et phys., 17.6
-
K. Barwise (1974)
Axioms for abstract model theoryAnnals of Mathematical Logic, 7
-
W. Mitchell (1972)
Aronszajn trees and the independence of the transfer propertyAnnals of Mathematical Logic, 5
-
H. Gaifman, E. Specker (1964)
Isomorphism Types of Trees, 15
-
H. Keisler (1970)
Logic with the quantifier “there exist uncountably many”Annals of Mathematical Logic, 1
-
M. Yasuhara (1966)
Syntactical and semantical properties of generalized quantifiersJSL, 31
- Publisher
- Springer Journals
- Copyright
- Copyright © 1981 by Verlag W. Kohlhammer
- Subject
- Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
- ISSN
- 0933-5846
- eISSN
- 1432-0665
- DOI
- 10.1007/BF02011631
- Publisher site
- See Article on Publisher Site
Abstract
Various compact logics such as stationary logic, positive logic, logics with various cardinality quantifiers and cofinality quantifiers are studied. Counterexamples to the theorems of Beth and Craig are given. Back and forth arguments are studied for the first two logics, transfer theorems presented for positive logic and a new compactness proof for the confinality quantifiers is given.
Journal
Archive for Mathematical Logic – Springer Journals
Published: Jul 14, 2005