Diamondstone, David E.; Dzhafarov, Damir D.; Soare, Robert I. \(\Pi_1^0\) classes, Peano arithmetic, randomness, and computable domination. (English) Zbl 1197.03045 Notre Dame J. Formal Logic 51, No. 1, 127-159 (2010). Reviewer: Roman Murawski (Poznań) MSC: 03D25 03C62 03D30 03D32 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Burgess, John P. Axiomatizing the logic of comparative probability. (English) Zbl 1193.03044 Notre Dame J. Formal Logic 51, No. 1, 119-126 (2010). Reviewer: Jürgen Landes (Narbonne) MSC: 03B48 03A05 03A10 × Cite Format Result Cite Review PDF Full Text: DOI
Fine, Kit Some puzzles of ground. (English) Zbl 1256.03034 Notre Dame J. Formal Logic 51, No. 1, 97-118 (2010). MSC: 03B60 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Downey, Rodney G.; Goncharov, Sergei S.; Kach, Asher M.; Knight, Julia F.; Kudinov, Oleg V.; Melnikov, Alexander G.; Turetsky, Daniel Decidability and computability of certain torsion-free abelian groups. (English) Zbl 1211.03063 Notre Dame J. Formal Logic 51, No. 1, 85-96 (2010). Reviewer: Marius Zimand (Towson) MSC: 03D45 03B25 20K15 20K20 × Cite Format Result Cite Review PDF Full Text: DOI
Priest, Graham Inclosures, vagueness, and self-reference. (English) Zbl 1198.03034 Notre Dame J. Formal Logic 51, No. 1, 69-84 (2010). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03B53 03A05 03A10 03B52 × Cite Format Result Cite Review PDF Full Text: DOI
Kach, Asher M.; Levin, Oscar; Solomon, Reed Embeddings of computable structures. (English) Zbl 1207.03041 Notre Dame J. Formal Logic 51, No. 1, 55-68 (2010). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 × Cite Format Result Cite Review PDF Full Text: DOI
Leitgeb, Hannes On the Ramsey test without triviality. (English) Zbl 1207.03012 Notre Dame J. Formal Logic 51, No. 1, 21-54 (2010). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Feferman, Solomon Set-theoretical invariance criteria for logicality. (English) Zbl 1197.03035 Notre Dame J. Formal Logic 51, No. 1, 3-20 (2010). MSC: 03B99 03C95 × Cite Format Result Cite Review PDF Full Text: DOI