Precomplete equivalence relations in dominical categories
HTML articles powered by AMS MathViewer
- by Claudio Bernardi PDF
- Proc. Amer. Math. Soc. 98 (1986), 124-134 Request permission
Abstract:
In this paper precomplete equivalence relations are introduced in dominical and recursion categories. After recalling definitions in $\S 2$, in $\S 3$ an analogue of Eršov’s Fixed Point Theorem is proved, as well as the recursive inseparability of two disjoint (unions of) equivalence classes. In $\S 4$ "morphisms" between equivalence relations are discussed, while $\S 5$ is devoted to the construction of an example (a new characterization of precomplete equivalence relations is also supplied in Lemma 5).References
- Claudio Bernardi and Franco Montagna, Equivalence relations induced by extensional formulae: classification by means of a new fixed point property, Fund. Math. 124 (1984), no. 3, 221–233. MR 774513, DOI 10.4064/fm-124-3-221-233
- Claudio Bernardi and Andrea Sorbi, Classifying positive equivalence relations, J. Symbolic Logic 48 (1983), no. 3, 529–538. MR 716612, DOI 10.2307/2273443
- Robert Di Paola, Creativity and effective inseparability in dominical categories, Proceedings of the conference on mathematical logic, Vol. 2 (Siena, 1983/1984) Univ. Siena, Siena, 1985, pp. 477–478. MR 825037 R. A. Di Paola and A. Heller, Dominical categories, J. Symbolic Logic (to appear).
- Alex Heller, Dominical categories and recursion theory, Proceedings of the conference on mathematical logic, Vol. 2 (Siena, 1983/1984) Univ. Siena, Siena, 1985, pp. 339–344. MR 825025
- G. Longo and E. Moggi, The hereditary partial effective functionals and recursion theory in higher types, J. Symbolic Logic 49 (1984), no. 4, 1319–1332. MR 771797, DOI 10.2307/2274281
- Claudio Bernardi and Paolo Pagli (eds.), Atti degli incontri di logica matematica. Vol. 2, Università di Siena, Dipartimento di Matematica, Scuola di Specializzazione in Logica Matematica, Siena, 1985 (Italian). Held in Siena, January 5–8 and April 6–9, 1983, and January 9–12 and April 25–28, 1984. MR 825010
- J. P. Seldin and J. R. Hindley (eds.), To H. B. Curry: essays on combinatory logic, lambda calculus and formalism, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], London-New York, 1980. MR 592792
Additional Information
- © Copyright 1986 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 98 (1986), 124-134
- MSC: Primary 03D75
- DOI: https://doi.org/10.1090/S0002-9939-1986-0848889-9
- MathSciNet review: 848889