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.

Mathematical Society ◽

Collapsing Function

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.

10.2178/bsl/1182353938 ◽

2002 ◽

Vol 8 (4) ◽

pp. 550-552

Author(s):

Arthur W. Apter

Keyword(s):

Mathematical Logic ◽

Mathematical Society ◽

Symbolic Logic ◽

Stationary Reflection ◽

Applied Logic

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.

10.1017/s1079898600000913 ◽

2010 ◽

Vol 16 (3) ◽

pp. 420-423

Author(s):

Assaf Rinot

Keyword(s):

Mathematical Logic ◽

Mathematical Society ◽

Weak Square

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.

10.1017/s1079898600000287 ◽

2012 ◽

Vol 18 (1) ◽

pp. 131-134

Author(s):

Daniel Turetsky

Keyword(s):

Mathematical Logic ◽

Model Theory ◽

Effective Model ◽

Mathematical Society ◽

Symbolic Logic ◽

Applied Logic ◽

Recursive Model ◽

Linear Orderings ◽

Scott Family

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.

10.2307/2687761 ◽

2001 ◽

Vol 7 (3) ◽

pp. 388-389

Author(s):

Claude Laflamme

Keyword(s):

New York ◽

Mathematical Logic ◽

Set Theory ◽

Measure Zero ◽

Mathematical Society ◽

Real Analysis ◽

Mathematical Sciences ◽

The Continuum ◽

Research Institute

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.

10.2178/bsl/1182353882 ◽

2002 ◽

Vol 8 (2) ◽

pp. 309-311

Author(s):

Pierre Matet

Keyword(s):

Mathematical Logic ◽

Fixed Points ◽

Large Cardinals ◽

Mathematical Society ◽

Singular Cardinal ◽

Singular Cardinal Hypothesis ◽

Elementary Embeddings ◽

Normal Ideals

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 ◽

Mathematical Society ◽

Regular Cardinals ◽

Pure Mathematics ◽

Axiomatic Set Theory

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.

10.1017/bsl.2016.32 ◽

2016 ◽

Vol 22 (4) ◽

pp. 526-530

Author(s):

Denis R. Hirschfeldt

Keyword(s):

Mathematical Logic ◽

Reverse Mathematics ◽

Mathematical Society ◽

Symbolic Logic ◽

Ramsey's Theorem ◽

Closed Sets ◽

Ramsey’S Theorem

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 ◽

Mathematical Society ◽

Modern Algebra

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):

Nonlinear Pde ◽

Mathematical Society

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 ◽

Near Neighbor ◽

Mathematical Society ◽

Implementation Challenge