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.