Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

The Bulletin of Symbolic Logic, Volume 10

> 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 10, Number 1, March 2004

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Kanamori04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Kanamori04
Akihiro Kanamori:
Introduction. 3

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/KeislerK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/KeislerK04
H. Jerome Keisler, Julia F. Knight:
Barwise: infinitary logic and admissible sets. 4-36
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Vaananen04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Vaananen04
Jouko A. Väänänen:
Barwise: Abstract model theory and generalized quantifiers. 37-53
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Devlin04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Devlin04
Keith Devlin:
Jon Barwise's papers on natural language semantics. 54-85
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Shin04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Shin04
Sun-Joo Shin:
Heterogeneous reasoning and its logic. 86-106

Volume 10, Number 2, June 2004

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Linnebo04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Linnebo04
Øystein Linnebo:
Predicative fragments of Frege Arithmetic. 153-174
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/KramerT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/KramerT04
Linus Kramer, Katrin Tent:
Asymptotic cones and ultrapowers of Lie groups. 175-185
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/GoldblattHV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/GoldblattHV04
Robert Goldblatt, Ian M. Hodkinson, Yde Venema:
Erdös graphs resolve Fine's canonicity problem. 186-208

Volume 10, Number 3, September 2004

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Avigad04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Avigad04
Jeremy Avigad:
Forcing in proof theory. 305-333
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Baldwin04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Baldwin04
John T. Baldwin:
Notes on quasiminimality and excellence. 334-366
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Franzen04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Franzen04
Torkel Franzén:
Transfinite progressions: a second look at completeness. 367-389

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/DriesM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/DriesM04
Lou van den Dries, Yiannis N. Moschovakis:
Is the Euclidean algorithm optimal among its peers? 390-418

Volume 10, Number 4, December 2004

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Soare04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Soare04
Robert I. Soare:
Computability theory and differential geometry. 457-486
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Kanamori04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Kanamori04a
Akihiro Kanamori:
Zermelo and set theory. 487-553

a service of

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.