![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Annals of Pure and Applied Logic, Volume 79
Volume 79, Number 1, 2 May 1996
- John T. Baldwin, Niandong Shi:
Stable Generic Structures. 1-35 - Solomon Feferman, Gerhard Jäger:
Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. 37-52 - Steffen Lempp, Yuefei Sui:
An Extended Lachlan Splitting Theorem. 53-59 - Thomas Schwentick:
On Winning Ehrenfeucht Games and Monadic NP. 61-92 - Alexandra Shlapentokh:
Rational Separability over a Global Field. 93-108
Volume 79, Number 2, 3 June 1996
- Michael A. Jahn:
Sigma5-Completeness of Index Sets Arising from the Recursively Enumerable Turing Degrees. 109-137 - Steven D. Leonhardi:
Nonbounding and Slaman Triples. 139-163 - Dugald Macpherson
, Charles Steinhorn:
On Variants of o-Minimality. 165-209 - Xiaokang Yu:
A Study of Singular Points and Supports of Measures in Reverse Mathematics. 211-219
Volume 79, Number 3, 24 June 1996
- Erik Barendsen, Marc Bezem:
Polymorphic Extensions of Simple Type Structures - With an Application to Bar Recursive Minimization. 221-280 - Gavin M. Bierman:
A Note on Full Intuitionistic Linear Logic. 281-287 - Mirna Dzamonja, Saharon Shelah
:
Saturated Filters at Successors of Singulars, Weak Reflection and Yet Another Weak Club Principle. 289-316
![](https://dblp.dagstuhl.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.