default search action

combined dblp search
author search
venue search
publication search

ask others

The Bulletin of Symbolic Logic, Volume 12

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

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Jane06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Jane06
Ignacio Jané:
What is Tarski's common concept of consequence? 1-42
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Normann06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Normann06
Dag Normann:
Computing with functionals - computability theory or computer science? 43-59
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/LinskyZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/LinskyZ06
Bernard Linsky, Edward N. Zalta:
What is neologicism? 60-99
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Keisler06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Keisler06
H. Jerome Keisler:
Nonstandard arithmetic and reverse mathematics. 100-125

Volume 12, Number 2, June 2006

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Weiermann06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Weiermann06
Andreas Weiermann:
Classifying the Provably Total Functions of PA. 177-190
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/CalvertK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/CalvertK06
Wesley Calvert, Julia F. Knight:
Classification from a Computable Viewpoint. 191-218
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Corcoran06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Corcoran06
John Corcoran:
Schemata: The Concept of Schema in the History of Logic. 219-240
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/BalcarJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/BalcarJ06
Bohuslav Balcar, Thomas Jech:
Weak Distributivity, a Problem of von Neumann and the Mystery of Measurability. 241-266
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Mol06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Mol06
Liesbeth De Mol:
Closing the Circle: An Analysis of Emil Post's Early Work. 267-289

Volume 12, Number 3, September 2006

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Shore06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Shore06
Richard A. Shore:
Degree Structures: Local and Global Investigations. 369-389
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/MillerN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/MillerN06
Joseph S. Miller, André Nies:
Randomness and Computability: Open Questions. 390-410
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/DowneyHNT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/DowneyHNT06
Rodney G. Downey, Denis R. Hirschfeldt, André Nies, Sebastiaan Terwijn:
Calibrating Randomness. 411-491

Volume 12, Number 4, December 2006

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Hauser06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Hauser06
Kai Hauser:
Gödel's Program Revisited, Part I: The Turn to Phenomenology. 529-590

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Friedman06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Friedman06
Sy-David Friedman:
Internal Consistency and the Inner Model Hypothesis. 591-600

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.