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 122

> 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 122, Numbers 1-3, August 2003

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Arai03a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Arai03a
Toshiyasu Arai:
Proof theory for theories of ordinals - I: recursively Mahlo ordinals. 1-85
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Neumann03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Neumann03
Stefan Neumann:
True cofinality and bounding number for small products of partial orders. 87-106
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Raffalli03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Raffalli03
Christophe Raffalli:
System ST toward a type system for extraction and proofs of programs. 107-130
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Petric03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Petric03
Zoran Petric:
G-dinaturality. 131-173
- view
  authority control:
- export record
  dblp key:
  - journals/apal/VerbovskiyY03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/VerbovskiyY03
Viktor Verbovskiy, Ikuo Yoneda:
CM-triviality and relational structures. 175-194
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Ruede03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Ruede03
Christian Rüede:
The proof-theoretic analysis of Sigma₁¹ transfinite dependent choice. 195-234
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Ben-YaacovPV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Ben-YaacovPV03
Itay Ben-Yaacov, Anand Pillay, Evgueni Vassiliev:
Lovely pairs of models. 235-261
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Simonetta03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Simonetta03
Patrick Simonetta:
On non-abelian C-minimal groups. 263-287
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Khelif03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Khelif03
Anatole Khelif:
On nonelementarily equivalent pairs of fields. 289-291

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.