default search action

combined dblp search
author search
venue search
publication search

ask others

The Bulletin of Symbolic Logic, Volume 6

> 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 6, Number 1, March 2000

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Sinaceur00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Sinaceur00
Hourya Sinaceur:
Address at the Princeton University bicentennial conference on problems of mathematics (December 17-19, 1946), by Alfred Tarski. 1-44
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Franchella00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Franchella00
Miriam Franchella:
Towards a re-evaluation of Julius Köonig's contribution to logic. 45-66

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Bars00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Bars00
Jean-Marie Le Bars:
Counterexamples of the 0-1 law for fragments of existential second-order logic: an overview. 67-82

Volume 6, Number 2, June 2000

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/DalenE00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/DalenE00
Dirk van Dalen, Heinz-Dieter Ebbinghaus:
Zermelo and the Skolem paradox. 145-161
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Hansson00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Hansson00
Sven Ove Hansson:
Formalization in philosophy. 162-175

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Schindler00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Schindler00
Ralf-Dieter Schindler:
Proper forcing and remarkable cardinals. 176-184
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/CholakH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/CholakH00
Peter Cholak, Leo Harrington:
Definable encodings in the computably enumerable sets. 185-196
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Hirschfeldt00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Hirschfeldt00
Denis R. Hirschfeldt:
Degree spectra of relations on computable structures. 197-212

Volume 6, Number 3, September 2000

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/DeutschEL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/DeutschEL00
David Deutsch, Artur Ekert, Rossella Lupacchini:
Machines, logic and quantum physics. 265-283
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Dalen00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Dalen00
Dirk van Dalen:
Brouwer and Fraenkel on intuitionism. 284-310

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/KrajicekS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/KrajicekS00
Jan Krajícek, Thomas Scanlon:
Combinatorics with definable sets: Euler characteristics and Grothendieck rings. 311-330
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Jin00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Jin00
Renling Jin:
Applications of nonstandard analysis in additive number theory. 331-341

Volume 6, Number 4, December 2000

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/FefermanFMS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/FefermanFMS00
Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel:
Does mathematics need new axioms? 401-446

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Otto00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Otto00
Martin Otto:
An interpolation theorem. 447-462

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.