Brünnler, Kai Locality for classical logic. (English) Zbl 1131.03030 Notre Dame J. Formal Logic 47, No. 4, 557-580 (2006). Reviewer: Saeed Salehí (Zanjan) MSC: 03F05 03F07 PDF BibTeX XML Cite \textit{K. Brünnler}, Notre Dame J. Formal Logic 47, No. 4, 557--580 (2006; Zbl 1131.03030) Full Text: DOI arXiv OpenURL
Payette, Gillman; d’Entremont, Blaine Level compactness. (English) Zbl 1128.03016 Notre Dame J. Formal Logic 47, No. 4, 545-555 (2006). MSC: 03B53 03B22 28B10 PDF BibTeX XML Cite \textit{G. Payette} and \textit{B. d'Entremont}, Notre Dame J. Formal Logic 47, No. 4, 545--555 (2006; Zbl 1128.03016) Full Text: DOI Link OpenURL
Kowalski, Tomasz; Butchart, Sam A note on monothetic BCI. (English) Zbl 1129.03006 Notre Dame J. Formal Logic 47, No. 4, 541-544 (2006). Reviewer: Clint van Alten (Wits) MSC: 03B47 03B35 PDF BibTeX XML Cite \textit{T. Kowalski} and \textit{S. Butchart}, Notre Dame J. Formal Logic 47, No. 4, 541--544 (2006; Zbl 1129.03006) Full Text: DOI OpenURL
Muravitsky, Alexei Y. The embedding theorem: its further developments and consequences. I. (English) Zbl 1130.03018 Notre Dame J. Formal Logic 47, No. 4, 525-540 (2006). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03B55 03G10 PDF BibTeX XML Cite \textit{A. Y. Muravitsky}, Notre Dame J. Formal Logic 47, No. 4, 525--540 (2006; Zbl 1130.03018) Full Text: DOI OpenURL
Hamkins, Joel David; Miasnikov, Alexei The halting problem is decidable on a set of asymptotic probability one. (English) Zbl 1137.03024 Notre Dame J. Formal Logic 47, No. 4, 515-524 (2006). Reviewer: Hrant B. Marandjian (Erevan) MSC: 03D10 03B25 68Q05 68Q17 68Q25 PDF BibTeX XML Cite \textit{J. D. Hamkins} and \textit{A. Miasnikov}, Notre Dame J. Formal Logic 47, No. 4, 515--524 (2006; Zbl 1137.03024) Full Text: DOI arXiv OpenURL
Voutsadakis, George Categorical abstract algebraic logic: more on protoalgebraicity. (English) Zbl 1134.03044 Notre Dame J. Formal Logic 47, No. 4, 487-514 (2006). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 03G30 18C15 68N30 08C05 PDF BibTeX XML Cite \textit{G. Voutsadakis}, Notre Dame J. Formal Logic 47, No. 4, 487--514 (2006; Zbl 1134.03044) Full Text: DOI OpenURL
Lempp, Steffen; Mummert, Carl Filters on computable posets. (English) Zbl 1128.03037 Notre Dame J. Formal Logic 47, No. 4, 479-485 (2006). Reviewer: Alberto Marcone (Udine) MSC: 03D80 03B30 03F35 06A06 PDF BibTeX XML Cite \textit{S. Lempp} and \textit{C. Mummert}, Notre Dame J. Formal Logic 47, No. 4, 479--485 (2006; Zbl 1128.03037) Full Text: DOI OpenURL
Hodkinson, Ian Hybrid formulas and elementarily generated modal logics. (English) Zbl 1211.03036 Notre Dame J. Formal Logic 47, No. 4, 443-478 (2006). MSC: 03B45 PDF BibTeX XML Cite \textit{I. Hodkinson}, Notre Dame J. Formal Logic 47, No. 4, 443--478 (2006; Zbl 1211.03036) Full Text: DOI OpenURL