![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Annals of Pure and Applied Logic, Volume 122
Volume 122, Numbers 1-3, August 2003
- Toshiyasu Arai:
Proof theory for theories of ordinals - I: recursively Mahlo ordinals. 1-85 - Stefan Neumann:
True cofinality and bounding number for small products of partial orders. 87-106 - Christophe Raffalli:
System ST toward a type system for extraction and proofs of programs. 107-130 - Zoran Petric:
G-dinaturality. 131-173 - Viktor Verbovskiy
, Ikuo Yoneda:
CM-triviality and relational structures. 175-194 - Christian Rüede:
The proof-theoretic analysis of Sigma11 transfinite dependent choice. 195-234 - Itay Ben-Yaacov, Anand Pillay, Evgueni Vassiliev:
Lovely pairs of models. 235-261 - Patrick Simonetta:
On non-abelian C-minimal groups. 263-287 - Anatole Khelif:
On nonelementarily equivalent pairs of fields. 289-291
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.