Pohlers, Wolfram Ordinal notations based on a hierarchy of inaccessible cardinals. (English) Zbl 0656.03038 Ann. Pure Appl. Logic 33, 157-179 (1987). MSC: 03F15 × Cite Format Result Cite Review PDF Full Text: DOI
Rubin, Matatyahu; Shelah, Saharon Combinatorial problems on trees: partitions, \(\Delta\)-systems and large free subtrees. (English) Zbl 0654.04002 Ann. Pure Appl. Logic 33, 43-81 (1987). Reviewer: F.R.Drake MSC: 03E05 05C05 × Cite Format Result Cite Review PDF Full Text: DOI
Hajnal, András; Komjáth, P. Some higher-gap examples in combinatorial set theory. (English) Zbl 0646.03046 Ann. Pure Appl. Logic 33, 283-296 (1987). Reviewer: N.H.Williams MSC: 03E35 03E05 × Cite Format Result Cite Review PDF Full Text: DOI
van den Dries, Lou; Ribenboim, Paulo An application of Tarski’s principle to absolute Galois groups of function fields. (English) Zbl 0645.12009 Ann. Pure Appl. Logic 33, 83-107 (1987). Reviewer: A.Prestel MSC: 12F10 12L10 14H05 11R58 14Pxx × Cite Format Result Cite Review PDF Full Text: DOI
Baumgartner, James E.; Shelah, Saharon Remarks on superatomic Boolean algebras. (English) Zbl 0643.03038 Ann. Pure Appl. Logic 33, 109-129 (1987). Reviewer: U.Felgner MSC: 03E35 03E05 06E05 03E50 × Cite Format Result Cite Review PDF Full Text: DOI
Buchholz, Wilfried An independence result for \((\Pi^ 1_ 1-CA)+BI\). (English) Zbl 0636.03052 Ann. Pure Appl. Logic 33, 131-155 (1987). MSC: 03F20 03F35 05C05 03F05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Matet, Pierre Some coloring properties for uncountable cardinals. (English) Zbl 0636.03045 Ann. Pure Appl. Logic 33, 297-307 (1987). Reviewer: K.P.Hart MSC: 03E05 03E55 × Cite Format Result Cite Review PDF Full Text: DOI
Friedman, Harvey; Sheard, Michael An axiomatic approach to self-referential truth. (English) Zbl 0634.03058 Ann. Pure Appl. Logic 33, 1-21 (1987). Reviewer: M.Yasuhara MSC: 03F25 03F30 03B30 × Cite Format Result Cite Review PDF Full Text: DOI
Blass, Andreas; Shelah, Saharon There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed. (English) Zbl 0634.03047 Ann. Pure Appl. Logic 33, 213-243 (1987). Reviewer: J.M.Plotkin MSC: 03E35 × Cite Format Result Cite Review PDF Full Text: DOI Backlinks: MO MO
Szabo, M. E. A cut elimination theorem for stationary logic. (English) Zbl 0633.03051 Ann. Pure Appl. Logic 33, 181-193 (1987). MSC: 03F05 03C75 03C80 × Cite Format Result Cite Review PDF Full Text: DOI
Takeuti, Gaisi; Titani, Satoko Globalization of intuitionistic set theory. (English) Zbl 0633.03050 Ann. Pure Appl. Logic 33, 195-211 (1987). MSC: 03E70 03F55 03E40 × Cite Format Result Cite Review PDF Full Text: DOI
Downey, R. G. Maximal theories. (English) Zbl 0629.03019 Ann. Pure Appl. Logic 33, 245-282 (1987). MSC: 03D45 × Cite Format Result Cite Review PDF Full Text: DOI
Kanamori, Akihiro; McAloon, Kenneth On Gödel incompleteness and finite combinatorics. (English) Zbl 0627.03041 Ann. Pure Appl. Logic 33, 23-41 (1987). Reviewer: F.Montagna MSC: 03F30 03C62 × Cite Format Result Cite Review PDF Full Text: DOI