default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Bulletin of Symbolic Logic, Volume 11
Volume 11, Number 1, March 2005
- Stephen G. Simpson
:
Mass problems and randomness. 1-27
- Itay Ben-Yaacov:
Compactness and independence in non first order frameworks. 28-50 - Justin Tatch Moore:
Proper forcing, cardinal arithmetic, and uncountable linear orders. 51-60
Volume 11, Number 2, June 2005
- Kurt Gödel (1906-1978). 129-
- Akihiro Kanamori:
Preface. 131-
- Solomon Feferman:
The Gödel editorial project: A synopsis. 132-149 - John W. Dawson Jr., Cheryl A. Dawson:
Future tasks for Gödel scholars. 150-171 - Wilfried Sieg:
Only two letters: The correspondence between Herbrand and Gödel. 172-184 - Warren D. Goldfarb:
On Gödel's way in: the influence of Rudolf Carnap. 185-193 - Martin Davis:
What did Gödel believe and when did he believe it? 194-206 - Donald A. Martin:
Göel's conceptual realism. 207-224 - William W. Tait:
Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counterexample interpretation. 225-238
Volume 11, Number 3, September 2005
- Harold Simmons:
Tiering as a recursion technique. 321-350 - Penelope Maddy:
Mathematical existence. 351-376 - Peter Koepke:
Turing computations on ordinals. 377-397
- Noam Greenberg:
The role of true finiteness in the admissible recursively enumerable degrees. 398-410 - Joseph R. Mileti:
Partition Theorems and Computability Theory. 411-427 - Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev:
Undecidability of first-order intuitionistic and modal logics with two variables. 428-
Volume 11, Number 4, December 2005
- Tarek Sayed Ahmed:
Algebraic logic, where does it stand today? 465-516
- Juris Steprans:
Geometric cardinal invariants, maximal functions and a measure theoretic pigeonhole principle. 517-525 - Carl Mummert, Stephen G. Simpson:
Reverse mathematics and pi12 comprehension. 526-533
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.
last updated on 2025-01-16 21:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
