Characterizing the Join-Irreducible Medvedev Degrees
暂无分享,去创建一个
[1] Andrea Sorbi,et al. On some filters and ideals of the Medvedev lattice , 1990, Arch. Math. Log..
[2] H. Priestley,et al. Distributive Lattices , 2004 .
[3] F. Z. Dyment. Exact bounds of denumerable collections of degrees of difficulty , 1980 .
[4] Manuel Lerman,et al. Degrees of Unsolvability: Local and Global Theory , 1983 .
[5] E. Z. Skvortsova. A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice , 1988 .
[6] Andrea Sorbi,et al. Embedding Brouwer Algebras in the Medvedev Lattice , 1991, Notre Dame J. Formal Log..
[7] V. Jankov. The Calculus of the Weak "law of Excluded Middle" , 1968 .
[8] Andrea Sorbi,et al. Intermediate logics and factors of the Medvedev lattice , 2006, Ann. Pure Appl. Log..
[9] Andrea Sorbi,et al. Topological aspects of the Medvedev lattice , 2011, Arch. Math. Log..
[10] Sebastiaan Terwijn. Constructive Logic and the Medvedev Lattice , 2006, Notre Dame J. Formal Log..
[11] Andrea Sorbi,et al. Some Quotient Lattices of the Medvedev Lattice , 1991, Math. Log. Q..
[12] R. Sikorski,et al. The mathematics of metamathematics , 1963 .
[13] Birgit Truust Poulsen. The Medvedev lattice of degrees of difficulty , 1970 .
[14] Andrea Sorbi. Some Remarks on the Algebraic Structure of the Medvedev Lattice , 1990, J. Symb. Log..
[15] E Z Dyment. On Some Properties of the Medvedev Lattice , 1976 .
[16] Andrea Sorbi,et al. A Note an Closed Degrees of Difficulty of the Medvedev Lattice , 1996, Math. Log. Q..
[17] Andrea Sorbi,et al. The Medvedev lattice of degrees of difficulty , 1996 .