KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Online-Ressource

First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories (1977)

Makkai, Michael. ; Reyes, Gonzalo E. ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg :

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9947921587002882

Umfang: II, 318 p. , online resource.

ISBN: 9783540371007

Serie: Lecture Notes in Mathematics, 611

Anmerkung: Grothendieck topoi -- Interpretation of the logic in categories -- Axioms and rules of inference valid in categories -- Boolean and heyting valued models -- Completeness -- Existence theorems on geometric morphisms of topoi -- Conceptual completeness -- Theories as categories -- Classifying topoi -- Corrections to “first order categorical logic”.

In: Springer eBooks

Weitere Ausg.: Printed edition: ISBN 9783540084396

Sprache: Englisch

Fachgebiete: Mathematik

RVK:

SI 850

DOI: 10.1007/BFb0066201

URL: http://dx.doi.org/10.1007/BFb0066201

URL: Volltext (lizenzpflichtig)

URL: Volltext (Deutschlandweit zugänglich)

URL: Cover