Reverse mathematics and properties of finite character

Annals of Pure and Applied Logic - Tập 163 - Trang 1243-1251 - 2012
Damir D. Dzhafarov1, Carl Mummert2
1Department of Mathematics, University of Notre Dame, 255 Hurley Hall, Notre Dame, IN 46556, USA
2Department of Mathematics, Marshall University, 1 John Marshall Drive, Huntington, West VA 25755, USA

Tài liệu tham khảo

Damir D. Dzhafarov, Carl Mummert, Reverse mathematics and intersection properties (2011) (submitted).

Mummert, 2006, Reverse mathematics of MF spaces, J. Math. Log., 6, 203, 10.1142/S0219061306000578

Rubin, 1985, vol. 116

Simpson, 2009

Amy Turlington, Computability of Heyting algebras and distributive lattices, Ph.D. dissertation, University of Connecticut, 2010.

Thông tin
Thông tin xuất bản

Annals of Pure and Applied Logic

Tập 163

1243-1251

Thông tin tác giả