Saharon Shelah. There are just four second-order quantifiers. Israel journal of mathematics, vol. 15 , pp. 282–300

Journal of Symbolic Logic 51 (1):234 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273962

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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

Saharon Shelah. Infinite abelian groups, Whitehead problem and some constructions. Israel journal of mathematics, vol. 18 , pp. 243–256. - Saharon Shelah. A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals. Israel journal of mathematics, vol. 21 , pp. 319–349. - Sharaon Shelah. Whitehead groups may be not free, even assuming CH, I. Israel journal of mathematics, vol. 28 , pp. 193–204. - Saharon Shelah. Whitehead groups may not be free even assuming CH, II. Israel journal of mathematics, vol. 35 , pp. 257–285. - Saharon Shelah. On uncountable abelian groups. Israel journal of mathematics, vol. 32 , pp. 311–330. - Shai Ben-David. On Shelah's compactness of cardinals. Israel journal of mathematics, vol. 31 , pp. 34–56 and p. 394. - Howard L. Hiller and Saharon Shelah. Singular cohomology in L. Israel journal of mathematics, vol. 26 , pp. 313–319. - Howard L. Hiller, Martin Huber, and Saharon Shelah. The structure of Ext and V = L. Mathematische. [REVIEW]Ulrich Felgner - 1986 - Journal of Symbolic Logic 51 (4):1068-1070.
Maryanthe Malliaris and Saharon Shelah, Cofinality spectrum problems in model theory, set theory and general topology. Journal of the American Mathematical Society, vol. 29 , pp. 237–297. - Maryanthe Malliaris and Saharon Shelah, Existence of optimal ultrafilters and the fundamental complexity of simple theories. Advances in Mathematics, vol. 290 , pp. 614–681. - Maryanthe Malliaris and Saharon Shelah, Keisler’s order has infinitely many classes. Israel Journal of Mathematics, to appear, https://math.uchicago.edu/∼mem/. [REVIEW]H. Jerome Keisler - 2017 - Bulletin of Symbolic Logic 23 (1):117-121.
Shelah S.. Stable theories. Israel journal of mathematics, vol. 7 , pp. 187–202.Shelah Saharon. Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory. Annals of mathematical logic, vol. 3 no. 3 , pp. 271–362. [REVIEW]John T. Baldwin - 1973 - Journal of Symbolic Logic 38 (4):648-649.
Saharon Shelah, Can you take Solovay's inaccessible away?Israel journal of mathematics, vol. 48 , pp. 1–47. - Jean Raisonnier, A mathematical proof of S. Shelah's theorem on the measure problem and related results, Israel journal of mathematics, vol. 48 , pp. 48–56. [REVIEW]Arnold W. Miller - 1989 - Journal of Symbolic Logic 54 (2):633-635.
Review: Saharon Shelah, There are Just Four Second-Order Quantifiers. [REVIEW]John T. Baldwin - 1986 - Journal of Symbolic Logic 51 (1):234-234.
There are Just Four Second-Order Quantifiers.Saharon Shelah - 1986 - Journal of Symbolic Logic 51 (1):234-234.
Andreas Blass and Saharon Shelah. Ultrafilters with small generating sets. Israel journal of mathematics, vol. 65 , pp. 259–271. - Andreas Blass and Saharon Shelah. There may be simple - and -points and the Rudin–Keisler ordering may be downward directed. Annals of pure and applied logic, vol. 33 , pp. 213–243. - Andreas Blass. Near coherence of filters. II: Applications to operator ideals, the Stone–Čech remainder of a half-line, order ideals of sequences, and the slenderness of groups. Transactions of the American Mathematical Society, vol. 300 , pp. 557–581. - Andreas Blass and Saharon Shelah. Near coherence of filters III: a simplified consistency proof. Notre Dame journal of formal logic, vol. 30 , pp. 530–538. - Andreas Blass and Claude Laflamme. Consistency results about filters and the number of inequivalent growth types. The journal of symbolic logic, vol. 54 , pp. 50–56. - Andreas Blass. Applications of superperfect forcing and its relatives. Set theory and its applications. [REVIEW]Peter J. Nyikos - 1992 - Journal of Symbolic Logic 57 (2):763-766.
Saharon Shelah. Differentially closed fields. Israel journal of mathematics, t. 16 , p. 314–328.Bruno Poizat - 1987 - Journal of Symbolic Logic 52 (3):870-873.
Richard Laver. On Fraïssé's order type conjecture. Annals of mathematics, ser. 2 vol. 93 , pp. 89–111. - Richard Laver. An order type decomposition theorem. Annals of mathematics, ser. 2 vol. 98 pp. 96–119. - Richard Laver. Better-quasi-orderings and a class of trees. Studies in foundations and combinatorics, edited by Gian-Carlo Rota, Advances in mathematics supplementary studies, vol. 1, Academic Press, New York, San Francisco, and London, 1978, pp. 31–48. - Saharon Shelah. Better quasi-orders for uncountable cardinals. Israel journal of mathematics, vol. 42 , pp. 177–226. [REVIEW]Charles Landraitis - 1987 - Journal of Symbolic Logic 52 (2):571-574.
Review: S. Shelah, Stable Theories; Saharon Shelah, Stability, the F.C.P., and Superstability; Model Theoretic Properties of Formulas in First Order Theory. [REVIEW]John T. Baldwin - 1973 - Journal of Symbolic Logic 38 (4):648-649.
Saharon Shelah and Hugh Woodin. Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable. Israel journal of mathematics, vol. 70 , pp. 381–394. [REVIEW]Joan Bagaria - 2002 - Bulletin of Symbolic Logic 8 (4):543-545.
On Quantification with a Finite Universe.Saharon Shelah - 2000 - Journal of Symbolic Logic 65 (3):1055-1075.
Review: Moti Gitik, Saharon Shelah, Forcings with ideals and simple forcing notions; M. Gitik, S. Shelah, More on simple forcing Notions and forcing with ideals; D. H. Fremin, Real-valued-measurable cardinals. [REVIEW]Maxim R. Burke - 1995 - Journal of Symbolic Logic 60 (3):1022-1024.
Δ-Logics and Generalized Quantifiers.Jouko Väänänen - 1985 - Journal of Symbolic Logic 50 (1):241-242.
A Dichotomy In Classifying Quantifiers For Finite Models.Mor Doron & Saharon Shelah - 2005 - Journal of Symbolic Logic 70 (4):1297-1324.

Analytics

Added to PP
2016-06-30

Downloads
32 (#488,786)

6 months
12 (#202,587)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references