Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 33
Volume 33, 1987
- Harvey M. Friedman, Michael Sheard:
An axiomatic approach to self-referential truth. 1-21 - Akihiro Kanamori, Kenneth McAloon:
On Gödel incompleteness and finite combinatorics. 23-41 - Matatyahu Rubin, Saharon Shelah
:
Combinatorial problems on trees: Partitions, δ-systems and large free subtrees. 43-81 - Lou van den Dries, Paulo Ribenboim:
An application of tarskis principle to absolute Galois groups of function fields. 83-107 - James E. Baumgartner, Saharon Shelah:
Remarks on superatomic boolean algebras. 109-129 - Wilfried Buchholz:
An independence result for (II11-CA)+BI. 131-155 - Wolfram Pohlers:
Ordinal notations based on a hierarchy of inaccessible cardinals. 157-179 - Manfred E. Szabo:
A cut elimination theorem for stationary logic. 181-193 - Gaisi Takeuti, Satoko Titani:
Globalization of intui tionistic set theory. 195-211 - Andreas Blass, Saharon Shelah:
There may be simple Paleph1 and Paleph2-points and the Rudin-Keisler ordering may be downward directed. 213-243 - Rodney G. Downey:
Maximal theories. 245-282 - András Hajnal, Péter Komjáth:
Some higher-gap examples in combinatorial set theory. 283-296 - Pierre Matet:
Some coloring properties for uncountable cardinals. 297-307
a service of 
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-07-21 22:03 CEST 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:
