default search action

combined dblp search
author search
venue search
publication search

ask others

The Bulletin of Symbolic Logic, Volume 9

> 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 9, Number 1, March 2003

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Sereny03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Sereny03
György Serény:
Gödel, Tarski, Church, and the Liar. 3-25

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Kjos-Hanssen03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Kjos-Hanssen03
Bjørn Kjos-Hanssen:
Local initial segments of the Turing degrees. 26-36

Volume 9, Number 2, June 2003

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/LongoS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/LongoS03
Giuseppe Longo, P. Scott:
New programs and open problems in the foundation of mathematics. 129-130

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Girard03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Girard03
Jean-Yves Girard:
From foundations to ludics. 131-168
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Curien03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Curien03
Pierre-Louis Curien:
Symmetry and interactivity in programming. 169-180
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Parisi03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Parisi03
Giorgio Parisi:
Two spaces looking for a geometer. 181-196
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Macintyre03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Macintyre03
Angus Macintyre:
Model theory: Geometrical and set-theoretic aspects and prospects. 197-212
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Lawvere03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Lawvere03
F. William Lawvere:
Foundations and applications: axiomatization and education. 213-224
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Kock03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Kock03
Anders Kock:
Differential calculus and nilpotent real numbers. 225-230

Volume 9, Number 3, September 2003

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Kanamori03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Kanamori03
Akihiro Kanamori:
The empty set, the singleton, and the ordered pair. 273-298
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Stoltenberg-HansenT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Stoltenberg-HansenT03
Viggo Stoltenberg-Hansen, John V. Tucker:
Computable and continuous partial homomorphisms on metric partial algebras. 299-334
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/JacksonM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/JacksonM03
Steve Jackson, R. Daniel Mauldin:
Survey of the Steinhaus tiling problem. 335-361
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Yanofsky03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Yanofsky03
Noson S. Yanofsky:
A universal approach to self-referential paradoxes, incompleteness and fixed points. 362-386

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/HodkinsonO03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/HodkinsonO03
Ian M. Hodkinson, Martin Otto:
Finite conformal hypergraph covers and Gaifman cliques in finite structures. 387-407

Volume 9, Number 4, December 2003

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/AttenK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/AttenK03
Mark van Atten, Juliette Kennedy:
On the philosophical development of Kurt Gödel. 425-476
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Dosen03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Dosen03
Kosta Dosen:
Identity of proofs based on normalization and generality. 477-503

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.