![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Annals of Pure and Applied Logic, Volume 149
Volume 149, Numbers 1-3, November 2007
- Richard Laver:
Certain very large cardinals are not created in small forcing extensions. 1-6 - Heike Mildenberger, Saharon Shelah
:
Increasing the groupwise density number by c.c.c. forcing. 7-13 - James Cummings
, Natasha Dobrinen:
The hyper-weak distributive law and a related game in Boolean algebras. 14-24 - John T. Baldwin, Paul C. Eklof, Jan Trlifaj
:
'bottom'N as an abstract elementary class. 25-39 - Philip Scowcroft:
Elimination of unbounded quantifiers for some poly-regular groups of infinite rank. 40-80 - João Rasga
:
Sufficient conditions for cut elimination with complexity analysis. 81-99 - Toshimichi Usuba:
Local saturation of the non-stationary ideal over Pklambda. 100-123
![](https://dblp1.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.