default search action

combined dblp search
author search
venue search
publication search

ask others

The Bulletin of Symbolic Logic, Volume 1

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

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Shore95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Shore95
Richard A. Shore:
The Bulletin of Symbolic Logic. 1-3
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/X95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/X95
Guidelines for logic education. 4-8

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Shoenfield95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Shoenfield95
Joseph R. Shoenfield:
The mathematical work of S. C. Kleene. 9-43
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Parsons95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Parsons95
Charles D. Parsons:
Platonism and mathematical intuition in Kurt Gödel's thought. 44-74

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Steel95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Steel95
John R. Steel:
HOD^L(R) is a core model below \Theta. 75-84

Volume 1, Number 2, June 1995

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Dalen95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Dalen95
Dirk van Dalen:
Herman Weyl's intuitionistic mathematics. 145-169
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Goldring95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Goldring95
Noa Goldring:
Measures: back and forth between point sets and large sets. 170-188

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/LemppL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/LemppL95
Steffen Lempp, Manuel Lerman:
A general framework for priority arguments. 189-201

Volume 1, Number 3, September 1995

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Davis95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Davis95
Martin Davis:
American logic in the 1920s. 273-278
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Freiling95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Freiling95
Chris Freiling:
How to compute antiderivatives. 279-316

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Boolos95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Boolos95
George Boolos:
Frege's theorem and the Peano postulates. 317-326
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Neeman95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Neeman95
Itay Neeman:
Optimal proofs of determinacy. 327-339

Volume 1, Number 4, December 1995

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Jensen95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Jensen95
Ronald B. Jensen:
Inner models and large cardinals. 393-407
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Jech95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Jech95
Thomas Jech:
Singular cardinals and the PCF theory. 408-424
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Urquhart95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Urquhart95
Alasdair Urquhart:
The complexity of propositional proofs. 425-467

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Rathjen95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Rathjen95
Michael Rathjen:
Recent advances in ordinal analysis: pi¹₂ - CA and related systems. 468-485

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.