


default search action
Annals of Pure and Applied Logic, Volume 129
Volume 129, Numbers 1-3, October 2004
- Emil Jerábek

:
Dual weak pigeonhole principle, Boolean complexity, and derandomization. 1-37 - Toshiyasu Arai:

Proof theory for theories of ordinals II: Pi3-reflection. 39-92 - Stefano Berardi, Silvio Valentini:

Krivine's intuitionistic proof of classical completeness (for countable languages). 93-106 - Boaz Tsaban:

The combinatorics of splittability. 107-130 - Martin Grohe

, Stefan Wöhrle:
An existential locality theorem. 131-148 - Ziv Shami:

Internality and interpretable automorphism groups in simple theories. 149-162 - Liang Yu, Decheng Ding, Rodney G. Downey:

The Kolmogorov complexity of random reals. 163-180 - Pilar Dellunde

, Françoise Delon, Françoise Point:
The theory of modules of separably closed fields 2. 181-210 - James Cummings

, Matthew Foreman
, Menachem Magidor:
Canonical structure in the universe of set theory: part one. 211-243 - Carsten Butz

:
Saturated models of intuitionistic theories. 245-275

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














