Remarks on Uniformly Finitely Precomplete Positive Equivalences
暂无分享,去创建一个
[1] Franco Montagna,et al. Equivalence relations induced by extensional formulae: classification by means of a new fixed point property , 1984 .
[2] Andrea Sorbi,et al. Classifying Positive Equivalence Relations , 1983, J. Symb. Log..
[3] F. Montagna. The elementary theory of Lindenbaum fixed point algebras is hyperarithmetical , 1990 .
[4] Franco Montagna,et al. Relatively precomplete numerations and arithmetic , 1982, J. Philos. Log..
[5] Alistair H. Lachlan. A Note on Positive Equivalence Relations , 1987, Math. Log. Q..
[6] S. A. Badaev. On weakly pre-complete positive equivalences , 1991 .
[7] J. Ersov. Theorie der Numerierungen II , 1973 .
[8] Claudio Bernardi. On the relation provable equivalence and on partitions in effectively inseparable sets , 1981 .