Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 129

> Home > Journals > Annals of Pure and Applied Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 129, Numbers 1-3, October 2004

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Jerabek04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Jerabek04
Emil Jerábek:
Dual weak pigeonhole principle, Boolean complexity, and derandomization. 1-37
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Arai04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Arai04
Toshiyasu Arai:
Proof theory for theories of ordinals II: Pi₃-reflection. 39-92
- view
  authority control:
- export record
  dblp key:
  - journals/apal/BerardiV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BerardiV04
Stefano Berardi, Silvio Valentini:
Krivine's intuitionistic proof of classical completeness (for countable languages). 93-106
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Tsaban04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Tsaban04
Boaz Tsaban:
The combinatorics of splittability. 107-130
- view
  authority control:
- export record
  dblp key:
  - journals/apal/GroheW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/GroheW04
Martin Grohe, Stefan Wöhrle:
An existential locality theorem. 131-148
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Shami04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Shami04
Ziv Shami:
Internality and interpretable automorphism groups in simple theories. 149-162
- view
  authority control:
- export record
  dblp key:
  - journals/apal/YuDD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/YuDD04
Liang Yu, Decheng Ding, Rodney G. Downey:
The Kolmogorov complexity of random reals. 163-180
- view
  authority control:
- export record
  dblp key:
  - journals/apal/DellundeDP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/DellundeDP04
Pilar Dellunde, Françoise Delon, Françoise Point:
The theory of modules of separably closed fields 2. 181-210
- view
  authority control:
- export record
  dblp key:
  - journals/apal/CummingsFM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/CummingsFM04
James Cummings, Matthew Foreman, Menachem Magidor:
Canonical structure in the universe of set theory: part one. 211-243
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Butz04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Butz04
Carsten Butz:
Saturated models of intuitionistic theories. 245-275

a service of

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.