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.

M. Lerman

doi:10.2307/2274245

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

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

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

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

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

André Nies. Lowness properties and randomness. Advances in Mathematics, vol. 197 (2005), no. 1, pp. 274–305. - Bjørn Kjos-Hanssen, André Nies, and Frank Stephan. Lowness for the class of Schnorr random reals. SIAM Journal on Computing, vol. 35 (2005), no. 3, pp. 647–657. - Noam Greenberg and Joseph S. Miller. Lowness for Kurtz randomness. The Journal of Symbolic Logic, vol. 74 (2009), no. 2, pp. 665–678. - Laurent Bienvenu and Joseph S. Miller. Randomness and lowness notions via open covers. Annals of Pure and Applied Logic, vol. 163 (2012), no. 5, pp. 506–518. - Johanna N. Y. Franklin, Frank Stephan, and Liang. Yu Relativizations of randomness and genericity notions. The Bulletin of the London Mathematical Society, vol. 43 (2011), no. 4, pp. 721–733. - George Barmpalias, Joseph S. Miller, and André Nies. Randomness notions and partial relativization. Israel Journal of Mathematics, vol. 191 (2012), no. 2, pp. 791–816.

Bulletin of Symbolic Logic ◽

10.1017/s1079898600009124 ◽

2013 ◽

Vol 19 (1) ◽

pp. 115-118

Author(s):

Johanna N. Y. Franklin

Keyword(s):

Israel Journal ◽

London Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Siam Journal ◽

Applied Logic ◽

Random Reals

Download Full-text

Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras I: stability. Bulletin of the London Mathematical Society, vol. 45 (2013), no. 4, pp. 825–838, doi:10.1112/blms/bdt014. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras II: model theory. Israel Journal of Mathematics, vol. 201 (2014), no. 1, pp. 477–505, doi:10.1007/s11856-014-1046-7. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras III: elementary equivalence and II1factors. Bulletin of the London Mathematical Society, vol. 46 (2014), no. 3, pp. 609–628, doi:10.1112/blms/bdu012. - Isaac Goldbring, Bradd Hart, and Thomas Sinclair. The theory of tracial von Neumann algebras does not have a model companion. Journal of Symbolic Logic, vol. 78 (2013), no. 3, pp. 1000–1004.

Bulletin of Symbolic Logic ◽

10.1017/bsl.2015.32 ◽

2015 ◽

Vol 21 (4) ◽

pp. 425-427

Author(s):

Itaï Ben Yaacov

Keyword(s):

Model Theory ◽

Israel Journal ◽

Von Neumann Algebras ◽

Operator Algebras ◽

London Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Model Companion ◽

Von Neumann ◽

Elementary Equivalence

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

Armand Borel. Essays in the History of Lie Groups and Algebraic Groups. (History of Mathematics, 21.) xiii + 184 pp., bibl., indexes. Providence, R.I.: American Mathematical Society; London: London Mathematical Society, 2001.

Isis ◽

10.1086/376025 ◽

2002 ◽

Vol 93 (4) ◽

pp. 719-719

Author(s):

Patti W. Hunter

Keyword(s):

Lie Groups ◽

History Of Mathematics ◽

American Mathematical Society ◽

Algebraic Groups ◽

London Mathematical Society ◽

Mathematical Society ◽

History Of

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