default search action

combined dblp search
author search
venue search
publication search

ask others

The Bulletin of Symbolic Logic, Volume 2

> 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 2, Number 1, March 1996

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Kanamori96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Kanamori96
Akihiro Kanamori:
The mathematical development of set theory from Cantor to Cohen. 1-71

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/PeterzilS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/PeterzilS96
Ya'acov Peterzil, Sergei Starchenko:
Geometry, calculus and Zil'ber's conjecture. 72-83
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Chapuis96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Chapuis96
Olivier Chapuis:
From "metabelian Q-vector spaces" to new infinity-stable groups. 84-93
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Hjorth96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Hjorth96
Greg Hjorth:
Two applications of inner model theory to the study of Sigma¹₂ sets. 94-107

Volume 2, Number 2, June 1996

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Henkin96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Henkin96
Leon Henkin:
The discovery of my completeness proofs. 127-158
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Pohlers96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Pohlers96
Wolfram Pohlers:
Pure proof theory, aims, methods and results. 159-188

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Sun96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Sun96
Yeneng Sun:
Hyperfinite law of large numbers. 189-198
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/HarringtonS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/HarringtonS96
Leo Harrington, Robert I. Soare:
Definability, automorphisms, and dynamic properties of computably enumerable sets. 199-213

Volume 2, Number 3, September 1996

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Dosen96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Dosen96
Kosta Dosen:
Deductive completeness. 243-283
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Soare96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Soare96
Robert I. Soare:
Computability and recursion. 284-321

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/LincolnMS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/LincolnMS96
Patrick Lincoln, John C. Mitchell, Andre Scedrov:
Linear logic proof games and optimization. 322-338
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Solecki96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Solecki96
Slawomir Solecki:
Analytic ideals. 339-348
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Walukiewicz96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Walukiewicz96
Igor Walukiewicz:
A note on the completeness of Kozen's axiomatisation of the propositional mu-calculus. 349-366

Volume 2, Number 4, December 1996

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Dehornoy96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Dehornoy96
Patrick Dehornoy:
Another use of set theory. 379-391

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/NiesSS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/NiesSS96
André Nies, Richard A. Shore, Theodore A. Slaman:
Definability in the recursively enumerable degrees. 392-404
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Krivine96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Krivine96
Jean-Louis Krivine:
Une preuve formelle et intuitionniste du théorème de complétude de la logique classique. 405-421
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/HellaKL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/HellaKL96
Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto:
Almost everywhere equivalence of logics in finite model theory. 422-443

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.