default search action

combined dblp search
author search
venue search
publication search

ask others

The Bulletin of Symbolic Logic, Volume 15

> Home > Journals > The Bulletin of Symbolic Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 15, Number 1, March 2009

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Plisko09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Plisko09
Valery Plisko:
A Survey of Propositional Realizability Logic. 1-42
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Kanamori09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Kanamori09
Akihiro Kanamori:
Bernays and Set Theory. 43-69

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Deloro09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Deloro09
Adrien Deloro:
Actions of Groups of Finite Morley Rank on Small Abelian Groups. 70-90

Volume 15, Number 2, June 2009

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/BlassDG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/BlassDG09
Andreas Blass, Nachum Dershowitz, Yuri Gurevich:
When are two algorithms the same? 145-168
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/SasykT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/SasykT09
Román Sasyk, Asger Törnquist:
Borel reducibility and classification of von Neumann algebras. 169-183
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Rosendal09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Rosendal09
Christian Rosendal:
Automatic continuity of group homomorphisms. 184-214

Volume 15, Number 3, September 2009

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Urquhart09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Urquhart09
Alasdair Urquhart:
Enumerating types of Boolean functions. 273-299

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Kastermans09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Kastermans09
Bart Kastermans:
Isomorphism types of maximal cofinitary groups. 300-319

Volume 15, Number 4, December 2009

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Simpson09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Simpson09
Stephen G. Simpson:
Mass problems and measure-theoretic regularity. 385-409
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Welch09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Welch09
Philip D. Welch:
Games for truth. 410-427

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.