Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
  1. Home
  2. Journals
  3. Bulletin of Symbolic Logic
  4. Volume 25 Issue 4
Journal Home
Refine listing

Refine listing

Access:
Publication date:

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×
< Back to all issues

Volume 25 - Issue 4 - December 2019

Bulletin of Symbolic Logic Volume 25 - Issue 4 -
Contents

Articles

  • REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS

  • ASAF KARAGILA
  • Published online by Cambridge University Press:
    19 December 2019, pp. 429-445

  • J. L. Krivine developed a new method based on realizability to construct models of set theory where the axiom of choice fails. We attempt to recreate his results in classical settings, i.e., symmetric extensions. We also provide a new condition for preserving well ordered, and other particular type of choice, in the general settings of symmetric extensions.

Thesis Abstracts

  • Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification

  • Marija Boričić
  • Published online by Cambridge University Press:
    13 February 2020, pp. 446-447
    • Article
      • You have access
    • PDF
    • Export citation

  • Measuring the Relative Complexity of Mathematical Constructions and Theorems

  • Jun Le Goh
  • Published online by Cambridge University Press:
    13 February 2020, pp. 447-448
    • Article
      • You have access
    • PDF
    • Export citation

  • The Theory of the Generalised Real Numbers and Other Topics in Logic

  • Lorenzo Galeotti
  • Published online by Cambridge University Press:
    13 February 2020, pp. 449-450
    • Article
      • You have access
    • PDF
    • Export citation

  • Non-Classical Set Theories and Logics Associated With Them

  • Sourav Tarafder
  • Published online by Cambridge University Press:
    13 February 2020, p. 451
    • Article
      • You have access
    • PDF
    • Export citation

  • Games for Functions: Baire Classes, Weihrauch Degrees, Transfinite Computations, and Ranks

  • Hugo Nobrega
  • Published online by Cambridge University Press:
    13 February 2020, pp. 451-452
    • Article
      • You have access
    • PDF
    • Export citation

  • Some Results in Computability Theory

  • Rose Weisshaar
  • Published online by Cambridge University Press:
    13 February 2020, pp. 452-453
    • Article
      • You have access
    • PDF
    • Export citation

  • A Study of the Interrelation between Fuzzy Topological Systems and Logics

  • Purbita Jana
  • Published online by Cambridge University Press:
    13 February 2020, pp. 453-454
    • Article
      • You have access
    • PDF
    • Export citation

  • Regularity of Ultrafilters, Boolean Ultrapowers, and Keisler’s Order

  • Francesco Parente
  • Published online by Cambridge University Press:
    13 February 2020, pp. 454-455
    • Article
      • You have access
    • PDF
    • Export citation

Meeting Report

Notices

  • NOTICES

  • Published online by Cambridge University Press:
    13 February 2020, pp. 537-541
    • Article
      • You have access
    • PDF
    • Export citation

Addendum

Front Cover (OFC, IFC) and matter

  • BSL volume 25 issue 4 Cover and Front matter

  • Published online by Cambridge University Press:
    13 February 2020, pp. f1-f4
    • Article
      • You have access
    • PDF
    • Export citation

Back Cover (OBC, IBC) and matter

  • BSL volume 25 issue 4 Cover and Back matter

  • Published online by Cambridge University Press:
    13 February 2020, pp. b1-b6
    • Article
      • You have access
    • PDF
    • Export citation