![](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 39
Volume 39, Number 1, July 1988
- Luc Bélair:
Substructures and uniform elimination for p-adic fields. 1-17 - Marcia J. Groszek:
Applications of iterated perfect set forcing. 19-53 - Gabriel Srour:
The notion of independence in categories of algebraic structures, part II: S-minimal extensions. 55-73 - Gaisi Takeuti:
Bounded arithmetic and truth definition. 75-104
Volume 39, Number 2, August 1988
- E. Barker:
Intrinsically gs;0alpha; relations. 105-130 - William M. Farmer:
A unification algorithm for second-order monadic terms. 131-174 - Moti Gitik:
On the Mitchell and Rudin-Kiesler orderings of ultrafilters. 175-197
Volume 39, Number 3, September 1988
- Harold Hodes:
Cardinality logics, part I: inclusions between languages based on 'exactly'. 199-238 - Thomas G. Kucera:
Totally transcendental theories of modules: decomposition of models and types. 239-272 - Philip D. Welch
:
Some descriptive set theory and core models. 273-290
![](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.