Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 

 

Precomplete equivalence relations in dominical categories


Author: Claudio Bernardi
Journal: Proc. Amer. Math. Soc. 98 (1986), 124-134
MSC: Primary 03D75
MathSciNet review: 848889
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: In this paper precomplete equivalence relations are introduced in dominical and recursion categories. After recalling definitions in $ \S2$, in $ \S3$ 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 $ \S4$ "morphisms" between equivalence relations are discussed, while $ \S5$ is devoted to the construction of an example (a new characterization of precomplete equivalence relations is also supplied in Lemma 5).


References [Enhancements On Off] (What's this?)

  • [BM] 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
  • [BS] Claudio Bernardi and Andrea Sorbi, Classifying positive equivalence relations, J. Symbolic Logic 48 (1983), no. 3, 529–538. MR 716612, 10.2307/2273443
  • [DP] 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
  • [DPH] R. A. Di Paola and A. Heller, Dominical categories, J. Symbolic Logic (to appear).
  • [He] 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
  • [LM] 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, 10.2307/2274281
  • [Ro] 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
  • [Vi] 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

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 03D75

Retrieve articles in all journals with MSC: 03D75


Additional Information

DOI: http://dx.doi.org/10.1090/S0002-9939-1986-0848889-9
Article copyright: © Copyright 1986 American Mathematical Society