Gordeev, L. A note on da Costa-Doria “exotic formalizations”. (English) Zbl 1206.03011 Arch. Math. Logic 49, No. 7-8, 813-821 (2010). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03B10 03B70 03F30 03F40 68Q15 × Cite Format Result Cite Review PDF Full Text: DOI
Apter, Arthur W. Indestructibility, instances of strong compactness, and level by level inequivalence. (English) Zbl 1208.03052 Arch. Math. Logic 49, No. 7-8, 725-741 (2010). MSC: 03E35 03E55 × Cite Format Result Cite Review PDF Full Text: DOI
Joosten, Joost J. Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA. (English) Zbl 1201.03054 Arch. Math. Logic 49, No. 7-8, 773-798 (2010). Reviewer: Roman Murawski (Poznań) MSC: 03F30 03C62 03D20 × Cite Format Result Cite Review PDF Full Text: DOI
Thompson, Katherine Small universal families for graphs omitting cliques without GCH. (English) Zbl 1200.03022 Arch. Math. Logic 49, No. 7-8, 799-811 (2010). MSC: 03C55 03E05 03E50 03E55 05C69 × Cite Format Result Cite Review PDF Full Text: DOI
Darnière, Luck; Junker, Markus On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond. (English) Zbl 1215.06004 Arch. Math. Logic 49, No. 7-8, 743-771 (2010). Reviewer: Afrodita Iorgulescu (Bucharest) MSC: 06D20 03C64 06B23 06B30 08B20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv HAL