![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Archiv für mathematische Logik und Grundlagenforschung, Volume 22
Volume 22, Numbers 1-2, June 1980
- Heinz-Dieter Ebbinghaus, Martin Ziegler:
Interpolation in Logiken monotoner Systeme. 1-17 - Salvatore Caporaso, Giovanni Pani
:
Undecidability vs transfinite induction for the consistency of hyperarithmetical sets. 19-26 - H. Vogel:
Eine Variante Des OrdinalzahlbezeichnungssystemsΣ. 27-41 - Stål O. Aanderaa, Egon Börger, Yuri Gurevich:
Prefix classes of krom formulae with identity. 43-49 - Verena H. Dyson, James P. Jones, John C. Shepherdson:
Some diophantine forms of gödel's theorem. 51-60 - Daniele Mundici:
Interpolation, compactness and JEP in soft model theory. 61-67 - Wolfram Pohlers:
Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions. 69-87
Volume 22, Numbers 3-4, September 1980
- E. G. K. López-Escobar:
Further applications of ultra-conservative ω-rules. 89-102 - Yuri Gurevich:
Existential interpretation. II. 103-120 - Gerhard Jäger:
Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen. 121-139 - Michal Krynicki, Jouko Väänänen:
On orderings of the family of all logics. 141-158 - Jürgen-Michael Glubrecht:
Ein Vollständigkeitsbeweis Für Schnittfreie Kalküle Mit Der Maximalisierungsmethode Von Henkin. 159-166
![](https://dblp.org/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.