![](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 98
Volume 98, Numbers 1-3, 29 June 1999
- Alexej P. Pynko:
Definitional Equivalence and Algebraizability of Generalized Logical Systems. 1-68 - Enrique Casanovas
:
The Number of Types in Simple Theories. 69-86 - Iraj Kalantari, Lawrence Welch:
Recursive and Nonextendible Functions over the Reals; Filter Foundation for Recursive Analysis, II. 87-110 - J. B. Wells:
Typability and Type Checking in System F are Equivalent and Undecidable. 111-156 - Renling Jin:
Distinguishing Three Strong Saturation Properties in Nonstandard Analysis. 157-171 - Philip Scowcroft:
Some Purely Topological Models for Intuitionistic Analysis. 173-215 - Saharon Shelah
, Jindrich Zapletal
:
Canonical Models for N1-Combinatorics. 217-259 - Saharon Shelah
:
Categoricity for Abstract Classes with Amalgamation. 261-294 - Rodney G. Downey, Geoffrey LaForte, André Nies:
Addendum to "Computably Enumerable Sets and Quasi-Reducibility". 295 - Bakhadyr Khoussainov, Richard A. Shore:
Erratum to "Computable Isomorphisms, Degree Spectra of Relations, and Scott Families". 297-298
![](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.