![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
The Bulletin of Symbolic Logic, Volume 10
Volume 10, Number 1, March 2004
- Akihiro Kanamori:
Introduction. 3
- H. Jerome Keisler, Julia F. Knight:
Barwise: infinitary logic and admissible sets. 4-36 - Jouko A. Väänänen
:
Barwise: Abstract model theory and generalized quantifiers. 37-53 - Keith Devlin:
Jon Barwise's papers on natural language semantics. 54-85 - Sun-Joo Shin:
Heterogeneous reasoning and its logic. 86-106
Volume 10, Number 2, June 2004
- Øystein Linnebo:
Predicative fragments of Frege Arithmetic. 153-174 - Linus Kramer
, Katrin Tent:
Asymptotic cones and ultrapowers of Lie groups. 175-185 - Robert Goldblatt
, Ian M. Hodkinson
, Yde Venema:
Erdös graphs resolve Fine's canonicity problem. 186-208
Volume 10, Number 3, September 2004
- Jeremy Avigad
:
Forcing in proof theory. 305-333 - John T. Baldwin:
Notes on quasiminimality and excellence. 334-366 - Torkel Franzén:
Transfinite progressions: a second look at completeness. 367-389
- Lou van den Dries, Yiannis N. Moschovakis:
Is the Euclidean algorithm optimal among its peers? 390-418
Volume 10, Number 4, December 2004
- Robert I. Soare:
Computability theory and differential geometry. 457-486 - Akihiro Kanamori:
Zermelo and set theory. 487-553
![](https://dblp.org/img/cog.dark.24x24.png)
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.