default search action

combined dblp search
author search
venue search
publication search

ask others

The Bulletin of Symbolic Logic, Volume 17

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

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Todorcevic11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Todorcevic11
Stevo Todorcevic:
Combinatorial dichotomies in set theory. 1-72
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/BrattkaG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/BrattkaG11
Vasco Brattka, Guido Gherardi:
Effective choice and boundedness principles in computable analysis. 73-117

Volume 17, Number 2, June 2011

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Gabbay11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Gabbay11
Murdoch James Gabbay:
Foundations of nominal techniques: logic and semantics of variables in abstract syntax. 161-229
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Shlapentokh11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Shlapentokh11
Alexandra Shlapentokh:
Defining integers. 230-251

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Thomas11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Thomas11
Simon Thomas:
A descriptive view of combinatorial group theory. 252-264

Volume 17, Number 3, September 2011

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Arrigoni11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Arrigoni11
Tatiana Arrigoni:
V = L and intuitive plausibility in set theory. A case study. 337-360
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Ferreiros11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Ferreiros11
José Ferreirós:
On arbitrary sets and ZFC. 361-393
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Gherardi11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Gherardi11
Guido Gherardi:
Alan Turing and the foundations of computable analysis. 394-430
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Montalban11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Montalban11
Antonio Montalbán:
Open questions in reverse mathematics. 431-454

Comunications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Yu11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Yu11
Liang Yu:
A new proof of Friedman's conjecture. 455-461

Volume 17, Number 4, December 2011

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Moore11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Moore11
Gregory H. Moore:
Early history of the Generalized Continuum Hypothesis: 1878 - 1938. 489-532

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.