![](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 90
Volume 90, Numbers 1-3, 15 December 1997
- Søren Riis
:
Count(q) Does Not Imply Count(p). 1-56 - Sakaé Fuchino, Saharon Shelah
, Lajos Soukup:
Sticks and Clubs. 57-77 - Richard Laver:
Implications Between Strong Large Cardinal Axioms. 79-90 - Andreas Weiermann:
Sometimes Slow Growing is Fast Growing. 91-99 - Sergei Soloviev:
Proof of a Conjecture of S. Mac Lane. 101-162 - Peter Sewell
:
Nonaxiomatisability of Equivalences over Finite State Processes. 163-191 - Moti Gitik, Carmi Merimovich:
Possible Values for 2alephn and 2alephomega. 193-241 - Otmar Spinas:
Partition Numbers. 243-262 - Cristian Calude, Elena Calude, Bakhadyr Khoussainov:
Deterministic Automata: Simulation, Universality and Minimality. 263-276
![](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.