Volume 17, Number 1, March 2011

• 
  Stevo Todorcevic: Combinatorial dichotomies in set theory. 1-72
• 
  Vasco Brattka, Guido Gherardi: Effective choice and boundedness principles in computable analysis. 73-117

Volume 17, Number 2, June 2011

• 
  Murdoch James Gabbay: Foundations of nominal techniques: logic and semantics of variables in abstract syntax. 161-229
• 
  Alexandra Shlapentokh: Defining integers. 230-251

• 
  Simon Thomas: A descriptive view of combinatorial group theory. 252-264

Volume 17, Number 3, September 2011

• 
  Tatiana Arrigoni: V = L and intuitive plausibility in set theory. A case study. 337-360
• 
  José Ferreirós: On arbitrary sets and ZFC. 361-393
• 
  Guido Gherardi: Alan Turing and the foundations of computable analysis. 394-430
• 
  Antonio Montalbán: Open questions in reverse mathematics. 431-454

• 
  Liang Yu: A new proof of Friedman's conjecture. 455-461

Volume 17, Number 4, December 2011

• 
  Gregory H. Moore: Early history of the Generalized Continuum Hypothesis: 1878 - 1938. 489-532

last updated on Sat May 25 05:52:36 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page