1635 results in Bulletin of Symbolic Logic
20TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2013) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Darmstadt, Germany August 20–23, 2013
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 26 June 2014, pp. 266-267
- Print publication:
- June 2014
-
- Article
- Export citation
BSL volume 20 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 26 June 2014, pp. b1-b2
- Print publication:
- June 2014
-
- Article
-
- You have access
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 26 June 2014, pp. 268-273
- Print publication:
- June 2014
-
- Article
-
- You have access
- Export citation
2013 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’13 Evora, Portugal July 22–27, 2013
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 26 June 2014, pp. 204-255
- Print publication:
- June 2014
-
- Article
- Export citation
NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 26 June 2014, pp. 170-200
- Print publication:
- June 2014
-
- Article
- Export citation
APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 26 June 2014, pp. 141-169
- Print publication:
- June 2014
-
- Article
- Export citation
BSL volume 20 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 26 June 2014, pp. f1-f3
- Print publication:
- June 2014
-
- Article
-
- You have access
- Export citation
2013–2014 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Baltimore Convention Center Baltimore, MD January 17–18, 2014
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 26 June 2014, pp. 256-265
- Print publication:
- June 2014
-
- Article
- Export citation
Ulrich Felgner. Das Induktions-Prinzip. Jahresbericht der Deutschen Mathematiker-Vereinigung. vol. 114, no. 1 (2012), pp. 23–45. - Ulrich Felgner. Hilbert’s “Grundlagen der Geometrie” und ihre Stellung in der Geschichte der Grundlagendiskussion. Jahresbericht der Deutschen Mathematiker-Vereinigung. vol. 115, no. 3-4 (2014), pp. 185–206.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 26 June 2014, pp. 201-202
- Print publication:
- June 2014
-
- Article
- Export citation
Penelope Maddy, Defending the Axioms: On the philosophical foundations of set theory, Oxford University Press, Oxford, UK, 2011, 150pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 13 May 2014, pp. 91-93
- Print publication:
- March 2014
-
- Article
- Export citation
BSL volume 20 issue 1 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 13 May 2014, pp. f1-f3
- Print publication:
- March 2014
-
- Article
-
- You have access
- Export citation
Edgar Morscher, Normenlogik. Grundlagen – Systeme – Anwendungen. Paderborn, Mentis, 2012. 309 pp., ISBN-13: 978-3897857841
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 13 May 2014, pp. 97-98
- Print publication:
- March 2014
-
- Article
- Export citation
ON OPTIMAL INVERTERS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 13 May 2014, pp. 1-23
- Print publication:
- March 2014
-
- Article
- Export citation
James Cummings and Ernest Schimmerling, editors. Lecture Note Series of the London Mathematical Society, vol. 406. Cambridge University Press, New York, xi + 419 pp. - Paul B. Larson, Peter Lumsdaine, and Yimu Yin. An introduction to Pmax forcing. pp. 5–23. - Simon Thomas and Scott Schneider. Countable Borel equivalence relations. pp. 25–62. - Ilijas Farah and Eric Wofsey. Set theory and operator algebras. pp. 63–119. - Justin Moore and David Milovich. A tutorial on set mapping reflection. pp. 121–144. - Vladimir G. Pestov and Aleksandra Kwiatkowska. An introduction to hyperlinear and sofic groups. pp. 145–185. - Itay Neeman and Spencer Unger. Aronszajn trees and the SCH. pp. 187–206. - Todd Eisworth, Justin Tatch Moore, and David Milovich. Iterated forcing and the Continuum Hypothesis. pp. 207–244. - Moti Gitik and Spencer Unger. Short extender forcing. pp. 245–263. - Alexander S. Kechris and Robin D. Tucker-Drob. The complexity of classification problems in ergodic theory. pp. 265–299. - Menachem Magidor and Chris Lambie-Hanson. On the strengths and weaknesses of weak squares. pp. 301–330. - Boban Veličković and Giorgio Venturi. Proper forcing remastered. pp. 331–362. - Asger ToÖrnquist and Martino Lupini. Set theory and von Neumann algebras. pp. 363–396. - W. Hugh Woodin, Jacob Davis, and Daniel RodrÍguez. The HOD dichotomy. pp. 397–419.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 13 May 2014, pp. 94-97
- Print publication:
- March 2014
-
- Article
- Export citation
COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM*
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 13 May 2014, pp. 39-79
- Print publication:
- March 2014
-
- Article
- Export citation
COMPUTING K-TRIVIAL SETS BY INCOMPLETE RANDOM SETS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 13 May 2014, pp. 80-90
- Print publication:
- March 2014
-
- Article
- Export citation
IN MEMORIAM: ÉRIC JALIGOT 1972–2013
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 13 May 2014, pp. 103-104
- Print publication:
- March 2014
-
- Article
-
- You have access
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 13 May 2014, pp. 134-140
- Print publication:
- March 2014
-
- Article
-
- You have access
- Export citation
Sven Schlotter and Kai F. Wehmeier. Gingerbread nuts and pebbles: Frege and the Neo-Kantians: Two recently discovered documents. British Journal for the History of Philosophy, vol. 21 (2013), no. 3, pp. 591–609.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 13 May 2014, pp. 93-94
- Print publication:
- March 2014
-
- Article
- Export citation
CIRCULARITY IN SOUNDNESS AND COMPLETENESS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 13 May 2014, pp. 24-38
- Print publication:
- March 2014
-
- Article
- Export citation