default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals 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
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.
last updated on 2024-10-31 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
