Donder Hans-Dieter. Regularity of ultrafilters and the core model. Israel journal of mathematics, vol. 63 (1988), pp. 289–322. - Donder Hans-Dieter, Koepke Peter, and Levinski Jean-Pierre. Some stationary subsets of P(λ). Proceedings of the American Mathematical Society, vol. 102 (1988), pp. 1000–1004. - Walker D. J.. On the transversal hypothesis and the weak Kurepa hypothesis. The journal of symbolic logic, vol. 53 (1988), pp. 854–877.

Stewart Baldwin

doi:10.2307/2274497

Donder Hans-Dieter. Regularity of ultrafilters and the core model. Israel journal of mathematics, vol. 63 (1988), pp. 289–322. - Donder Hans-Dieter, Koepke Peter, and Levinski Jean-Pierre. Some stationary subsets of P(λ). Proceedings of the American Mathematical Society, vol. 102 (1988), pp. 1000–1004. - Walker D. J.. On the transversal hypothesis and the weak Kurepa hypothesis. The journal of symbolic logic, vol. 53 (1988), pp. 854–877.

Journal of Symbolic Logic ◽

10.2307/2274497 ◽

1990 ◽

Vol 55 (3) ◽

pp. 1313-1315

Author(s):

Stewart Baldwin

Keyword(s):

Israel Journal ◽

American Mathematical Society ◽

Mathematical Society ◽

Core Model ◽

Symbolic Logic ◽

The Core ◽

Stationary Subsets

Download Full-text

Thomas Jech and Karel Prikry. On ideals of sets and the power set operation. Bulletin of the American Mathematical Society, vol. 82 (1976), pp. 593–595. - F. Galvin, T. Jech, and M. Magidor. An ideal game. The journal of symbolic logic, vol. 43 (1978), pp. 284–292. - T. Jech, M. Magidor, W. Mitchell, and K. Prikry. Precipitous ideals. The journal of symbolic logic, vol. 45 (1980), pp. 1–8. - Yuzuru Kakuda. On a condition for Cohen extensions which preserve precipitous ideals. The journal of symbolic logic, vol. 46(1981), pp. 296–300. - Thomas Jech and Karel Prikry. Ideals over uncountable sets: application of almost disjoint functions and generic ultrapowers. Memoirs of the American Mathematical Society, no. 214. American Mathematical Society, Providence 1979, iii + 71 pp. - Menachem Magidor. Precipitous ideals and sets. Israel journal of mathematics, vol. 35 (1980), pp. 109–134.

Journal of Symbolic Logic ◽

10.2307/2273805 ◽

1985 ◽

Vol 50 (1) ◽

pp. 239-240

Author(s):

James E. Baumgartner

Keyword(s):

Israel Journal ◽

American Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Power Set ◽

Almost Disjoint ◽

Generic Ultrapowers ◽

Precipitous Ideals ◽

Set Operation

Download Full-text

Arthur W. Apter. On the least strongly compact cardinal. Israel journal of mathematics, vol. 35 (1980), pp. 225–233. - Arthur W. Apter. Measurability and degrees of strong compactness. The journal of symbolic logic, vol. 46 (1981), pp. 249–254. - Arthur W. Apter. A note on strong compactness and supercompactness. Bulletin of the London Mathematical Society, vol. 23 (1991), pp. 113–115. - Arthur W. Apter. On the first n strongly compact cardinals. Proceedings of the American Mathematical Society, vol. 123 (1995), pp. 2229–2235. - Arthur W. Apter and Saharon Shelah. On the strong equality between supercompactness and strong compactness.. Transactions of the American Mathematical Society, vol. 349 (1997), pp. 103–128. - Arthur W. Apter and Saharon Shelah. Menas' result is best possible. Ibid., pp. 2007–2034. - Arthur W. Apter. More on the least strongly compact cardinal. Mathematical logic quarterly, vol. 43 (1997), pp. 427–430. - Arthur W. Apter. Laver indestructibility and the class of compact cardinals. The journal of symbolic logic, vol. 63 (1998), pp. 149–157. - Arthur W. Apter. Patterns of compact cardinals. Annals of pure and applied logic, vol. 89 (1997), pp. 101–115. - Arthur W. Apter and Moti Gitik. The least measurable can be strongly compact and indestructible. The journal of symbolic logic, vol. 63 (1998), pp. 1404–1412.

Bulletin of Symbolic Logic ◽

10.2307/421078 ◽

2000 ◽

Vol 6 (1) ◽

pp. 86-89

Author(s):

James W. Cummings

Keyword(s):

Israel Journal ◽

American Mathematical Society ◽

London Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Strongly Compact Cardinal ◽

Compact Cardinal ◽

Applied Logic ◽

Strong Compactness ◽

Strongly Compact Cardinals

Download Full-text

Carl G. JockuschJr., and David B. Posner. Double jumps of minimal degrees. The journal of symbolic logic, vol. 43 no. 4 (for 1978, pub. 1979), pp. 715–724. - Carl G. JockuschJr., and David B. Posner. Automorphism bases for degrees of unsotvability. Israel journal of mathematics, vol. 40 (1981), pp. 150–164. - Richard L. Epstein. Initial segments of degrees below 0′. Memoirs of the American Mathematical Society, no. 241. American Mathematical Society, Providence1981, vi + 102 pp. - Richard A. Shore. The theory of the degrees below 0′. The journal of the London Mathematical Society, ser. 2 vol. 24 (1981), pp. 1–14.

Journal of Symbolic Logic ◽

10.2307/2274245 ◽

1985 ◽

Vol 50 (2) ◽

pp. 550-552

Author(s):

M. Lerman

Keyword(s):

Israel Journal ◽

American Mathematical Society ◽

London Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic

Download Full-text

John Gregory. Higher Souslin trees and the generalized continuum hypothesis. The journal of symbolic logic, vol. 41 (1976), pp. 663–671. - Richard Laver and Saharon Shelah. The ℵ2-Souslin hypothesis. Transactions of the American Mathematical Society, vol. 264(1981), pp. 411–417. - S. Shelah and L. Stanley. S-forcing, I. A “black-box” theorem for morasses, with applications to super-Souslin trees. Israel journal of mathematics, vol. 43 (1982), pp. 185–224. - S. Shelah and L. Stanley. Generalized Martin's axiom and Souslin's hypothesis for higher cardinals. Israel journal of mathematics, vol. 43 pp. 225–236.

Journal of Symbolic Logic ◽

10.2307/2274203 ◽

1984 ◽

Vol 49 (2) ◽

pp. 663-665 ◽

Cited By ~ 2

Author(s):

Daniel Velleman

Keyword(s):

Israel Journal ◽

Continuum Hypothesis ◽

American Mathematical Society ◽

Black Box ◽

Mathematical Society ◽

Symbolic Logic ◽

Martin’S Axiom ◽

Generalized Continuum ◽

Souslin Trees ◽

John Gregory

Download Full-text

Menachem Magidor. Representing sets of ordinals as countable unions of sets in the core model. Transactions of the American Mathematical Society, vol. 317 (1990), pp. 91–126.

Journal of Symbolic Logic ◽

10.2307/2275869 ◽

1995 ◽

Vol 60 (2) ◽

pp. 701-704

Author(s):

Philip Welch

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Core Model ◽

The Core

Download Full-text

S. C. Kleene. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 1–26. - S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 27–66. - S. C. Kleene. Bibliography. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 67–68. - William Craig. On axiomatizability within a system. The journal of symbolic logic, vol. 18 (1953), pp. 30–32.

Journal of Symbolic Logic ◽

10.2307/2267666 ◽

1954 ◽

Vol 19 (1) ◽

pp. 62-63

Author(s):

Robert McNaughton

Keyword(s):

American Mathematical Society ◽

Predicate Calculus ◽

Mathematical Society ◽

Symbolic Logic ◽

Finite Axiomatizability

Download Full-text

M. O. Rabin. Computable algebraic systems. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 134–138. - Michael O. Rabin. Computable algebra, general theory and theory of computable fields. Transactions of the American Mathematical Society, vol. 95 (1960), pp. 341–360.

Journal of Symbolic Logic ◽

10.2307/2270825 ◽

1967 ◽

Vol 32 (3) ◽

pp. 412-413

Author(s):

B. H. Mayoh

Keyword(s):

General Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Summer Institute ◽

Algebraic Systems ◽

Cornell University ◽

Research Division

Download Full-text

G. L. Cherlin. The model-companion of a class of structures. The journal of symbolic logic, vol. 37 (1972), pp. 546–556. - L. Lipshitz and D. Saracino. The model companion of the theory of commutative rings without nilpotent elements. Proceedings of the American Mathematical Society, vol. 38 (1973), pp. 381–387. - Angus Macintyre. Model-completeness for sheaves of structures. Fundamenta mathematicae, vol. 81 no. 1 (1973), pp. 73–89.

Journal of Symbolic Logic ◽

10.2307/2273571 ◽

1983 ◽

Vol 48 (2) ◽

pp. 496-496

Author(s):

Stephen D. Comer

Keyword(s):

American Mathematical Society ◽

Commutative Rings ◽

Mathematical Society ◽

Symbolic Logic ◽

Model Completeness ◽

Model Companion ◽

Nilpotent Elements

Download Full-text

James Cummings. A model in which GCH holds at successors but fails at limits. Transactions of the American Mathematical Society, vol. 329 (1992), pp. 1–39. - James Cummings. Strong ultrapowers and long core models. The journal of symbolic logic, vol. 58 (1993), pp. 240–248. - James Cummings. Coherent sequences versus Radin sequences. Annals of pure and applied logic, vol. 70 (1994), pp. 223–241. - James Cummings, Matthew Foreman, and Menachem Magidor. Squares, scales and stationary reflection. Journal of mathematical logic, vol. 1 (2001), pp. 35–98.

Bulletin of Symbolic Logic ◽

10.2178/bsl/1182353938 ◽

2002 ◽

Vol 8 (4) ◽

pp. 550-552

Author(s):

Arthur W. Apter

Keyword(s):

Mathematical Logic ◽

American Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Stationary Reflection ◽

Applied Logic

Download Full-text

Maryanthe Malliaris and Saharon Shelah, Cofinality spectrum problems in model theory, set theory and general topology . Journal of the American Mathematical Society, vol. 29 (2016), pp. 237–297. - Maryanthe Malliaris and Saharon Shelah, Existence of optimal ultrafilters and the fundamental complexity of simple theories . Advances in Mathematics, vol. 290 (2016), 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/.

Bulletin of Symbolic Logic ◽

10.1017/bsl.2017.4 ◽

2017 ◽

Vol 23 (1) ◽

pp. 117-121

Author(s):

H. Jerome Keisler

Keyword(s):

Set Theory ◽

Model Theory ◽

Israel Journal ◽

American Mathematical Society ◽

General Topology ◽

Mathematical Society ◽

Simple Theories

Download Full-text