![](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 47
Volume 47, Number 1, 18 April 1990
- James E. Baumgartner, Jean A. Larson:
A Diamond Example of an Ordinal Graph with No Infinite Paths. 1-10 - Harvey Friedman, Jeffry L. Hirst:
Weak Comparability of Well Orderings and Reverse Mathematics. 11-29 - Jean A. Larson:
Martin's Axiom and Ordinal Graphs: Large Independent Sets or Infinite Paths. 31-39 - Saharon Shelah
, Michael Makkai:
Categoricity of Theories in Lk omega, with k a Compact Ordinal. 41-97
Volume 47, Number 2, 22 May 1990
- Christopher J. Ash:
Labelling Systems and r.e. Structures. 99-119 - Fabio Bellissima:
Post Complete and 0-Axiomatizable Modal Logics. 121-144 - Philip Scowcroft:
A New Model for Intuitionistic Analysis. 145-165 - Naoki Shioji, Kazuyuki Tanaka:
Fixed Point Theory in Weak Second-Order Arithmetic. 167-188 - Shih Ping Tung:
Algorithms for Sentences over Integral Domains. 189-197
Volume 47, Number 3, 5 June 1990
- Henryk Kotlarski, Zygmunt Ratajczyk:
Inductive Full Satisfaction Classes. 199-223 - Michael Makkai:
A Theorem on Barr-Exact Categories, with an Infinitary Generalization. 225-268 - Gabriel Srour:
The Notion of Independence in Categories of Algebraic Structures, Part III: Equational Classes. 269-294
![](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.