Publication: Lógica, fundamentos, geometría y autómatas en el dominio de los topos
No Thumbnail Available
Official URL
Full text at PDC
Publication Date
1976
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Centro de cálculo de la Universidad Complutense de Madrid
Citations
Exportar
Abstract
Description
NO DISPONEMOS DE COPIA DIGITALIZADA DE ESTE DOCUMENTO
UCM subjects
Unesco subjects
Keywords
Citation
Lawvere, W. - Tierney, M., "Toposes, Algebraic Geometry and Logic", Springer Verlag, L. N. in Math. Vol. 274 (1972)
Freyd,P., "Aspects of Topoi", Bull. Austra. Math. Soc., Vol. 7
Mac Lane, S., "Categories for the working Mathematician", Springer Verlag, New York, (1972)
Mac Lane, S., "Internal logic in topoi and other Categories", Journal of Symbolic Logic, pp. 427 (Abstract), (1974)
Wraith, G. C., "Lectures on Elementary Topoi", L. N. in Math. 445, (1975)
Lawvere, F. W., "An elementary theory of category of sets", Proc. Math. Acad. Sci. USA, 52, 1964
Mac Lane, S. - Birkhoff, "Algebra". McMillan, New York, 1967
Sols, I. "Bon ordre dans l´objet des nombres naturels d´un topos booléen", C. r. Acad. Sci., Paris, Sér. A 281, 601-603 (1975)
Artin, M.. - Grothendieck, A. - Verdier, J. L., "Theorie des Topos et Cohomologie Etale des Schémas", Seminarie de Géométrie Algébrique. Springer Verlag, L. N. in Math., Vol. 269 (1972)
Sols, I., "Programming in Topoi", por aparecer en Cahiers de Topologie et Geometrie differentiele.
Osius, G., "Logical and Set Thoretical tools in elementary topoi", L. N. In Math, 445 (1975)
Osius, G., "Categorical Set Theory: A characterization of the Category of Sets", Journal of Pure and Applied Algebra 4, 79-119 (1974)
Kock, A. - Wraith, G. "Elementary Toposes", Aarhus L. N. 30
Ehrig, H. - Kiermeier, K. - Kreowski, H. - Kühnel, W., Universal Theory of Automata. B.G. Teubner, 1974
Meseguer, J. - Sols, I., "Primitive and Simple Recursion for Categories and Topoi", Conferencia pronunciada en la Reunión sobre Teoría de Categorías del grupo TAC, en Chantilly, Francia (1975) (A aparecer)
Eilenberg, S., "Automata Languages and Machibes", Vol. A. New York, London 1974. Academic Press
Lessafre, B., "Structures algebriques dans les topos elementaries" Thèse. Université de Paris VII, 1974
Mulvey, C. "Intuitionistic Algebra and representations of rings", Memoirs of the American Mathematical society, Num. 148, 1974
Tierney, M., "Axiomatic Sheaf Theory", C.I.M.E. 1971. Edizioni Cremonese, Roma.
Godement, R. "Theorie des Faisceux". 1958. Hemann, Paris