![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Annals of Pure and Applied Logic, Volume 118
Volume 118, Number 1-2, 1 December 2002
- Reinhold Konnerth:
Automorphism groups of differentially closed fields. 1-60 - Russell Miller:
Orbits of computably enumerable sets: low sets can avoid an upper cone. 61-85 - Stephen G. Simpson, Kazuyuki Tanaka, Takeshi Yamazaki:
Some conservation results on week König's lemma. 87-114 - Lars Birkedal, Jaap van Oosten:
Relative and modified relative realizability. 115-132 - Frank Wolter
, Michael Zakharyaschev
:
Axiomatizing the monodic fragment of first-order temporal logic. 133-145 - Saharon Shelah
, Pauli Väisänen:
Almost free groups and Ehrenfeucht-Fraïssé games for successors of singular cardinals. 147-173 - Neil Thapen:
A model-theoretic characterization of the weak pigeonhold principle. 175-195
Volume 118, Number 3, 15 December 2002
- Pierre Casevitz:
The complexity of subdifferentiation and its inverse on convex functions in Banach spaces. 197-217 - Jeremy Avigad
:
Saturated models of universal theories. 219-234 - R. Barker:
There is no recursive link between the k-size of a model and its cardinality. 235-247
![](https://dblp.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.