From Stability to Simplicity

JOURNAL ARTICLE published March 1998 in Bulletin of Symbolic Logic

Authors: Byunghan Kim | Anand Pillay

Singular Cardinal Problem: Shelah's Theorem on 2 ℵ ω </latex>

JOURNAL ARTICLE published June 2002 in The Bulletin of Symbolic Logic

Authors: Menachiem Kojman | Thomas Jech

Toshiyasu Arai. Consistency proof via pointwise induction. Archive for mathematical logic, vol. 37 no. 3 (1998), pp. 149–165.

JOURNAL ARTICLE published December 2002 in Bulletin of Symbolic Logic

Authors: Andreas Weiermann

BSL volume 23 issue 2 Cover and Back matter

JOURNAL ARTICLE published June 2017 in The Bulletin of Symbolic Logic

BSL volume 26 issue 2 Cover and Front matter

JOURNAL ARTICLE published June 2020 in The Bulletin of Symbolic Logic

BSL volume 4 issue 4 Cover and Back matter

JOURNAL ARTICLE published December 1998 in Bulletin of Symbolic Logic

2019 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC City University of New York Graduate Center New York, New York, USA May 20–23, 2019

JOURNAL ARTICLE published September 2019 in The Bulletin of Symbolic Logic

Paul C. Gilmore. Logicism renewed: logical foundations for mathematics and computer science. Lecture Notes in Logic, vol. 23. Association for Symbolic Logic / A K Peters, Ltd., Wellesley, Massachusetts, 2005, xvii + 230 pp.

JOURNAL ARTICLE published March 2007 in Bulletin of Symbolic Logic

Authors: James H. Andrews

Notices

JOURNAL ARTICLE published December 1998 in Bulletin of Symbolic Logic

Notices

JOURNAL ARTICLE published September 2014 in The Bulletin of Symbolic Logic

BSL volume 7 issue 3 Cover and Front matter

JOURNAL ARTICLE published September 2001 in Bulletin of Symbolic Logic

In Memoriam: Hugues Leblanc March 19, 1924–September 10, 1999

JOURNAL ARTICLE published June 2000 in Bulletin of Symbolic Logic

Authors: Raymond D. Gumb

Richard Laver. The left distributive law and the freeness of an algebra of elementary embeddings. Advances in mathematics, vol. 91 (1992), pp. 209–231. - Richard Laver. A division algorithm for the free left distributive algebra. Logic Colloquium '90, ASL summer meeting in Helsinki, edited by J. Oikkonen and J. Väänänen, Lecture notes in logic, no. 2, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1993, pp. 155–162. - Richard Laver. On the algebra of elementary embeddings of a rank into itself. Advances in mathematics, vol. 110 (1995), pp. 334–346. - Richard Laver. Braid group actions on left distributive structures, and well orderings in the braid groups. Journal of pure and applied algebra, vol. 108 (1996), pp. 81–98. - Patrick Dehornoy. An alternative proof of Laver's results on the algebra generated by an elementary embedding. Set theory of the continuum, edited by H. Judah, W. Just, and H. Woodin, Mathematics Sciences Research Institute publications, vol. 26, Springer-Verlag, New York, Berlin, Heidelberg, etc., 1992, pp. 27–33. - Patrick Dehornoy. Braid groups and left distributive operations. Transactions of the American Mathematical Society, vol. 345 (1994), pp. 115–150. - Patrick Dehornoy. A normal form for the free left distributive law. International journal of algebra and computation, vol. 4 (1994), pp. 499–528. - Patrick Dehornoy. From large cardinals to braids via distributive algebra. Journal of knot theory and its ramifications, vol. 4 (1995), pp. 33–79. - J. R. Steel. The well-foundedness of the Mitchell order. The journal of symbolic logic, vol. 58 (1993), pp. 931–940. - Randall Dougherty. Critical points in an algebra of elementary embeddings. Annals of pure and applied logic, vol. 65 (1993), pp. 211–241. - Randall Dougherty. Critical points in an algebra of elementary embeddings, II. Logic: from foundations to applications, European logic colloquium, edited by Wilfrid Hodges, Martin Hyland, Charles Steinhorn, and John Truss, Clarendon Press, Oxford University Press, Oxford, New York, etc., 1996, pp. 103–136. - Randall Dougherty and Thomas Jech. Finite left-distributive algebras and embedding algebras. Advances in mathematics, vol. 130 (1997), pp. 201–241.

JOURNAL ARTICLE published December 2002 in Bulletin of Symbolic Logic

Authors: Aleš Drápal

Interpretability in Robinson's Q

JOURNAL ARTICLE published September 2013 in Bulletin of Symbolic Logic

Authors: Fernando Ferreira | Gilda Ferreira

22ND WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2015) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bloomington, Indiana July 20–23, 2015

JOURNAL ARTICLE published September 2016 in The Bulletin of Symbolic Logic

Dennis E. Hesseling. Gnomes in the fog. The reception of Brouwer's intuitionism in the 1920s. Science Networks. Historical Studies, vol. 28. Birkhäuser, Boston, 2003, xxiii + 447 pp.

JOURNAL ARTICLE published September 2004 in Bulletin of Symbolic Logic

Authors: Mark van Atten

Gödel's Conceptual Realism

JOURNAL ARTICLE published June 2005 in Bulletin of Symbolic Logic

P-points, MAD families and Cardinal Invariants

JOURNAL ARTICLE published June 2022 in The Bulletin of Symbolic Logic

Authors: Osvaldo Guzmán González

A journey through computability, topology and analysis

JOURNAL ARTICLE published June 2022 in The Bulletin of Symbolic Logic

Authors: Manlio Valenti

Semantics modulo satisfiability with applications: function representation, probabilities and game theory

JOURNAL ARTICLE published June 2022 in The Bulletin of Symbolic Logic

Authors: Sandro Márcio da Silva Preto