Krajíček, Jan A note on propositional proof complexity of some Ramsey-type statements. (English) Zbl 1231.03050 Arch. Math. Logic 50, No. 1-2, 245-255 (2011). Reviewer: Emil Jeřábek (Praha) MSC: 03F20 68Q15 PDF BibTeX XML Cite \textit{J. Krajíček}, Arch. Math. Logic 50, No. 1--2, 245--255 (2011; Zbl 1231.03050) Full Text: DOI
Gitik, Moti; Tal, Liad On the strength of no normal precipitous filter. (English) Zbl 1221.03041 Arch. Math. Logic 50, No. 1-2, 223-243 (2011). MSC: 03E05 03E35 PDF BibTeX XML Cite \textit{M. Gitik} and \textit{L. Tal}, Arch. Math. Logic 50, No. 1--2, 223--243 (2011; Zbl 1221.03041) Full Text: DOI
Coskey, Samuel; Ellis, Paul; Schneider, Scott The conjugacy problem for the automorphism group of the random graph. (English) Zbl 1209.03039 Arch. Math. Logic 50, No. 1-2, 215-221 (2011). MSC: 03E15 03C35 05C80 PDF BibTeX XML Cite \textit{S. Coskey} et al., Arch. Math. Logic 50, No. 1--2, 215--221 (2011; Zbl 1209.03039) Full Text: DOI arXiv
de Jongh, Dick; Verbrugge, Rineke; Visser, Albert Intermediate logics and the de Jongh property. (English) Zbl 1233.03033 Arch. Math. Logic 50, No. 1-2, 197-213 (2011). Reviewer: Mohammad Ardeshir (Tehran) MSC: 03B55 03B20 03F30 PDF BibTeX XML Cite \textit{D. de Jongh} et al., Arch. Math. Logic 50, No. 1--2, 197--213 (2011; Zbl 1233.03033) Full Text: DOI
D’Agostino, Giovanna; Lenzi, Giacomo Deciding the existence of uniform interpolants over transitive models. (English) Zbl 1209.03012 Arch. Math. Logic 50, No. 1-2, 185-196 (2011). MSC: 03B45 03B44 03C40 PDF BibTeX XML Cite \textit{G. D'Agostino} and \textit{G. Lenzi}, Arch. Math. Logic 50, No. 1--2, 185--196 (2011; Zbl 1209.03012) Full Text: DOI
Montagna, Franco Completeness with respect to a chain and universal models in fuzzy logic. (English) Zbl 1216.03047 Arch. Math. Logic 50, No. 1-2, 161-183 (2011). Reviewer: Daniele Mundici (Firenze) MSC: 03B52 03B50 06D35 PDF BibTeX XML Cite \textit{F. Montagna}, Arch. Math. Logic 50, No. 1--2, 161--183 (2011; Zbl 1216.03047) Full Text: DOI
Dvurečenskij, Anatolij Subdirectly irreducible state-morphism BL-algebras. (English) Zbl 1215.06006 Arch. Math. Logic 50, No. 1-2, 145-160 (2011). Reviewer: Daniele Mundici (Firenze) MSC: 06D35 03B50 03G12 PDF BibTeX XML Cite \textit{A. Dvurečenskij}, Arch. Math. Logic 50, No. 1--2, 145--160 (2011; Zbl 1215.06006) Full Text: DOI
Ishihara, Hajime; Schuster, Peter On the contrapositive of countable choice. (English) Zbl 1218.03034 Arch. Math. Logic 50, No. 1-2, 137-143 (2011). Reviewer: Valery Plisko (Moskva) MSC: 03F50 03D20 03D55 03F30 PDF BibTeX XML Cite \textit{H. Ishihara} and \textit{P. Schuster}, Arch. Math. Logic 50, No. 1--2, 137--143 (2011; Zbl 1218.03034) Full Text: DOI
Merimovich, Carmi The short extenders gap three forcing using a morass. (English) Zbl 1217.03035 Arch. Math. Logic 50, No. 1-2, 115-135 (2011). Reviewer: Pierre Matet (Caen) MSC: 03E35 03E55 PDF BibTeX XML Cite \textit{C. Merimovich}, Arch. Math. Logic 50, No. 1--2, 115--135 (2011; Zbl 1217.03035) Full Text: DOI
Scharfenberger-Fabian, Gido Souslin algebra embeddings. (English) Zbl 1213.03056 Arch. Math. Logic 50, No. 1-2, 75-113 (2011). Reviewer: Judith Roitman (Lawrence) MSC: 03E05 06E10 54E52 PDF BibTeX XML Cite \textit{G. Scharfenberger-Fabian}, Arch. Math. Logic 50, No. 1--2, 75--113 (2011; Zbl 1213.03056) Full Text: DOI arXiv
Gil-Férez, José Representations of structural closure operators. (English) Zbl 1221.03013 Arch. Math. Logic 50, No. 1-2, 45-73 (2011). MSC: 03B22 03G10 03G27 06A15 PDF BibTeX XML Cite \textit{J. Gil-Férez}, Arch. Math. Logic 50, No. 1--2, 45--73 (2011; Zbl 1221.03013) Full Text: DOI
Cenzer, Douglas; Franklin, Johanna N. Y.; Liu, Jiang; Wu, Guohua A superhigh diamond in the c.e. tt-degrees. (English) Zbl 1216.03054 Arch. Math. Logic 50, No. 1-2, 33-44 (2011). Reviewer: Roland Sh. Omanadze (Tbilisi) MSC: 03D25 03D30 PDF BibTeX XML Cite \textit{D. Cenzer} et al., Arch. Math. Logic 50, No. 1--2, 33--44 (2011; Zbl 1216.03054) Full Text: DOI
Edmundo, Mário J.; Jones, Gareth O.; Peatfield, Nicholas J. Invariance results for definable extensions of groups. (English) Zbl 1222.03042 Arch. Math. Logic 50, No. 1-2, 19-31 (2011). Reviewer: Carlo Toffalori (Camerino) MSC: 03C64 20A15 20E99 PDF BibTeX XML Cite \textit{M. J. Edmundo} et al., Arch. Math. Logic 50, No. 1--2, 19--31 (2011; Zbl 1222.03042) Full Text: DOI
Miller, Arnold W. A Dedekind finite Borel set. (English) Zbl 1225.03061 Arch. Math. Logic 50, No. 1-2, 1-17 (2011). Reviewer: Eleftherios Tachtsis (Karlovassi) MSC: 03E25 03E15 PDF BibTeX XML Cite \textit{A. W. Miller}, Arch. Math. Logic 50, No. 1--2, 1--17 (2011; Zbl 1225.03061) Full Text: DOI arXiv