Forcing and generalized quantifiers

Annals of Mathematical Logic 5 (3):199 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(73)90015-6

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,314

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

J. A. Makowsky, Saharon Shelah, and Jonathan Stavi. ⊿-logics and generalized quantifiers. Annals of mathematical logic, vol. 10 , pp. 155–192. [REVIEW]Jouko Vaananen - 1985 - Journal of Symbolic Logic 50 (1):241-242.
Model-theoretic forcing in logic with a generalized quantifier.Kim B. Bruce - 1978 - Annals of Mathematical Logic 13 (3):225.
δ-Logics and generalized quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155-192.
Boolean valued models and generalized quantifiers.Jouko Väänänen - 1980 - Annals of Mathematical Logic 18 (3):193-225.
Compact extensions of L(Q).Menachem Magidor & Jerome Malitz - 1977 - Annals of Mathematical Logic 11 (2):217--261.
Review: G. Kreisel, J. L. Krivine, Elements of Mathematical Logic. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112-112.
Definability of second order generalized quantifiers.Juha Kontinen - 2010 - Archive for Mathematical Logic 49 (3):379-398.
Directions in Generalized Quantifier Theory.Dag Westerståhl & J. F. A. K. van Benthem - 1995 - Studia Logica 55 (3):389-419.
G. Kreisel and J. L. Krivine. Elements of mathematical logic. . North-Holland Publishing Company, Amsterdam1967, xi + 222 pp. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112.
The relational semantics for branched quantifiers.M. Mostowski - 1987 - In Dimiter G. Skordev (ed.), Mathematical Logic and its Application. Plenum Press. pp. 315--322.

Analytics

Added to PP
2014-01-17

Downloads
19 (#1,120,317)

6 months
5 (#702,808)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The axiomatization of randomness.Michiel van Lambalgen - 1990 - Journal of Symbolic Logic 55 (3):1143-1167.
A new look at the interpolation problem.Jacques Stern - 1975 - Journal of Symbolic Logic 40 (1):1-13.
A result of relative consistency about the predicate WO(δ, κ).René David - 1980 - Journal of Symbolic Logic 45 (3):483-492.

View all 10 citations / Add more citations

References found in this work

On a generalization of quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
Infinitary logic and admissible sets.Jon Barwise - 1969 - Journal of Symbolic Logic 34 (2):226-252.
Models of ZF-set theory.Ulrich Felgner - 1971 - New York,: Springer Verlag.

Add more references