Saharon Shelah. Middle diamond. Archive for Mathematical Logic, vol. 44 (2005), pp. 527–560. - Saharon Shelah. Diamonds. Proceedings of the American Mathematical Society, vol. 138 (2010), no. 6, pp. 2151–2161. - Martin Zeman. Diamond, GCH and weak square. Proceedings of the American Mathematical Society, vol. 138 (2010), no. 5, pp. 1853–1859.

Assaf Rinot

doi:10.1017/s1079898600000913

Saharon Shelah. Middle diamond. Archive for Mathematical Logic, vol. 44 (2005), pp. 527–560. - Saharon Shelah. Diamonds. Proceedings of the American Mathematical Society, vol. 138 (2010), no. 6, pp. 2151–2161. - Martin Zeman. Diamond, GCH and weak square. Proceedings of the American Mathematical Society, vol. 138 (2010), no. 5, pp. 1853–1859.

Bulletin of Symbolic Logic ◽

10.1017/s1079898600000913 ◽

2010 ◽

Vol 16 (3) ◽

pp. 420-423

Author(s):

Assaf Rinot

Keyword(s):

Mathematical Logic ◽

American Mathematical Society ◽

Mathematical Society ◽

Weak Square

Download Full-text

David W. Kueker. Löwenheim–Skolem and interpolation theorems in infinitary languages. Bulletin of the American Mathematical Society, vol. 78 (1972), pp. 211–215. - K. Jon Barwise. Mostowski's collapsing function and the closed unbounded filter. Fundamenta mathematicae, vol. 82 no. 2 (1974), pp. 95–103. - David W. Kueker. Countable approximations and Löwenheim–Skolem theorems. Annals of mathematical logic, vol. 11 (1977), pp. 57–103.

Journal of Symbolic Logic ◽

10.2307/2273961 ◽

1986 ◽

Vol 51 (1) ◽

pp. 232-234

Author(s):

Victor Harnik

Keyword(s):

Mathematical Logic ◽

American Mathematical Society ◽

Mathematical Society ◽

Collapsing Function

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

S. S. Goncharov. Autostability and computable families of constructivizations. Algebra and Logic, vol. 14 (1975), no. 6, pp. 392–409. - S. S. Goncharov. The quantity of nonautoequivalent constructivizations. Algebra and Logic, vol. 16 (1977), no. 3, pp. 169–185. - S. S. Goncharov and V. D. Dzgoev. Autostability of models. Algebra and Logic, vol. 19 (1980), no. 1, pp. 28–37. - J. B. Remmel. Recursively categorical linear orderings. Proceedings of the American Mathematical Society, vol. 83 (1981), no. 2, pp. 387–391. - Terrence Millar. Recursive categoricity and persistence. The Journal of Symbolic Logic, vol. 51 (1986), no. 2, pp. 430–434. - Peter Cholak, Segey Goncharov, Bakhadyr Khoussainov and Richard A. Shore. Computably categorical structures and expansions by constants. The Journal of Symbolic Logic, vol. 64 (1999), no. 1, pp. 13–137. - Peter Cholak, Richard A. Shore and Reed Solomon. A computably stable structure with no Scott family of finitary formulas. Archive for Mathematical Logic, vol. 45 (2006), no. 5, pp. 519–538. - Chris Ash, Julia Knight, Mark Manasse and Theodore Slaman. Generic copies of countable structures. Annals of Pure and Applied Logic, vol. 42 (1989), no. 3, pp. 195–205. - John Chisholm. Effective model theory vs. recursive model theory. The Journal of Symbolic Logic, vol. 55 (1990), no. 3, pp. 1168–1191.

Bulletin of Symbolic Logic ◽

10.1017/s1079898600000287 ◽

2012 ◽

Vol 18 (1) ◽

pp. 131-134

Author(s):

Daniel Turetsky

Keyword(s):

Mathematical Logic ◽

Model Theory ◽

American Mathematical Society ◽

Effective Model ◽

Mathematical Society ◽

Symbolic Logic ◽

Applied Logic ◽

Recursive Model ◽

Linear Orderings ◽

Scott Family

Download Full-text

Tomek Bartoszynski. On the structure of measurable filters on a countable set. Real analysis exchange, vol. 17 no. 2 (1992), pp. 681–701. - Tomek Bartoszynski and Saharon Shelah. Intersection of < 2ℵ0 ultrafilters may have measure zero. Archive for mathematical logic, vol. 31 (1992), pp. 221–226. - Tomek Bartoszynski and Haim Judah. Measure and Category—filters on ω. Set theory of the continuum, edited by H. Judah, W. Just, and H. Woodin, Mathematical Sciences Research Institute publications, vol. 26, Springer-Verlag, New York, Berlin, Heidelberg, etc., 1992, pp. 175–201. - Tomek Bartoszynski, Martin Goldstern, Haim Judah, and Saharon Shelah. All meager filters may be null. Proceedings of the American Mathematical Society, vol. 117 (1993), pp. 515–521. - Tomek Bartoszyński. Remarks on the intersection of filters. Topology and its applications, vol. 84 (1998), pp. 139–143.

Bulletin of Symbolic Logic ◽

10.2307/2687761 ◽

2001 ◽

Vol 7 (3) ◽

pp. 388-389

Author(s):

Claude Laflamme

Keyword(s):

New York ◽

Mathematical Logic ◽

Set Theory ◽

Measure Zero ◽

American Mathematical Society ◽

Mathematical Society ◽

Real Analysis ◽

Mathematical Sciences ◽

The Continuum ◽

Research Institute

Download Full-text

Yoshihiro Abe. Weakly normal filters and the closed unbounded filter on Pkλ. Proceedings of the American Mathematical Society, vol. 104 (1998), pp. 1226–1234. - Yoshihiro Abe. Weakly normal filters and large cardinals. Tsukuba journal of mathematics, vol. 16 (1992), pp. 487–494. - Yoshihiro Abe. Weakly normal ideals on Pkλ and the singular cardinal hypothesis. Fundamenta mathematicae, vol. 143 (1993), pp. 97–106. - Yoshihiro Abe. Saturation of fundamental ideals on Pkλ. Journal of the Mathematical Society of Japan, vol. 48 (1996), pp. 511–524. - Yoshihiro Abe. Strongly normal ideals on Pkλ and the Sup-function. opology and its applications, vol. 74 (1996), pp. 97–107. - Yoshihiro Abe. Combinatorics for small ideals on Pkλ. Mathematical logic quarterly, vol. 43 (1997), pp. 541–549. - Yoshihiro Abe and Masahiro Shioya. Regularity of ultrafilters and fixed points of elementary embeddings. Tsukuba journal of mathematics, vol. 22 (1998), pp. 31–37.

Bulletin of Symbolic Logic ◽

10.2178/bsl/1182353882 ◽

2002 ◽

Vol 8 (2) ◽

pp. 309-311

Author(s):

Pierre Matet

Keyword(s):

Mathematical Logic ◽

Fixed Points ◽

American Mathematical Society ◽

Large Cardinals ◽

Mathematical Society ◽

Singular Cardinal ◽

Singular Cardinal Hypothesis ◽

Elementary Embeddings ◽

Normal Ideals

Download Full-text

William B. Easton. Powers of regular cardinals. Annals of mathematical logic, vol. 1 no. 2 (1970), pp. 139–178. - J. R. Shoenfield. Unramified forcing. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 357–381.

Journal of Symbolic Logic ◽

10.2307/2272189 ◽

1975 ◽

Vol 40 (3) ◽

pp. 460-461

Author(s):

J. Barkley Rosser

Keyword(s):

Mathematical Logic ◽

Rhode Island ◽

Set Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Regular Cardinals ◽

Pure Mathematics ◽

Axiomatic Set Theory

Download Full-text

Five papers on reverse mathematics and Ramsey-theoretic principles - C. T. Chong, Theodore A. Slaman, and Yue Yang, The metamathematics of Stable Ramsey’s Theorem for Pairs. Journal of the American Mathematical Society, vol. 27 (2014), no. 3, pp. 863–892. - Manuel Lerman, Reed Solomon, and Henry Towsner, Separating principles below Ramsey’s Theorem for Pairs. Journal of Mathematical Logic, vol. 13 (2013), no. 2, 1350007, 44 pp. - Jiayi Liu, $RT_2^^2$ does not imply WKL0. Journal of Symbolic Logic, vol. 77 (2012), no. 2, pp. 609–620. - Lu Liu, Cone avoiding closed sets. Transactions of the American Mathematical Society, vol. 367 (2015), no. 3, pp. 1609–1630. - Wei Wang, Some logically weak Ramseyan theorems. Advances in Mathematics, vol. 261 (2014), pp. 1–25.

Bulletin of Symbolic Logic ◽

10.1017/bsl.2016.32 ◽

2016 ◽

Vol 22 (4) ◽

pp. 526-530

Author(s):

Denis R. Hirschfeldt

Keyword(s):

Mathematical Logic ◽

American Mathematical Society ◽

Reverse Mathematics ◽

Mathematical Society ◽

Symbolic Logic ◽

Ramsey's Theorem ◽

Closed Sets ◽

Ramsey’S Theorem

Download Full-text

Leon Henkin. Some interconnections between modern algebra and mathematical logic. Transactions of the American Mathematical Society, vol. 74 (1953), pp. 410–427.

Journal of Symbolic Logic ◽

10.2307/2266936 ◽

1955 ◽

Vol 20 (2) ◽

pp. 183-184

Author(s):

Andrzej Mostowski

Keyword(s):

Mathematical Logic ◽

American Mathematical Society ◽

Mathematical Society ◽

Modern Algebra

Download Full-text

Geometric Asymptotics for Nonlinear PDE. I. By V. P. MASLOV & G. A. OMEL’YANOV. Translations of Mathematical Monographs, Vol. 202, American Mathematical Society, 2001. 285 pp. ISBN 0-8218-2109-1.

Journal of Fluid Mechanics ◽

10.1017/s0022112002228979 ◽

2002 ◽

Vol 461 ◽

pp. 408-410

Keyword(s):

American Mathematical Society ◽

Nonlinear Pde ◽

Mathematical Society

Download Full-text

Review of "Data Structures, Near Neighbor Searches, and Methodology: Fifth and Sixth DIMACS Implementation Challenge by Michael H. Goldwasser, David S. Johnson, Catherine C. McGeoch", American Mathematical Society 2002

ACM SIGACT News ◽

10.1145/1107523.1107529 ◽

2005 ◽

Vol 36 (4) ◽

pp. 5-8

Author(s):

Maulik A. Dave

Keyword(s):

Data Structures ◽

American Mathematical Society ◽

Near Neighbor ◽

Mathematical Society ◽

Implementation Challenge

Download Full-text