scientific article

From MaRDI portal

Publication:3671937

Jump to:navigation, search

zbMath0522.03006MaRDI QIDQ3671937

Michael Makkai

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Stone duality topos small category equivalence of categories first order logic first order theory two-categories pretopos Goedel completeness theorem

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Classical first-order logic (03B10) Foundations, relations to logic and deductive systems (18A15)

Related Items (4)

A universal recursive function on admissible sets ⋮ Stone duality for first order logic ⋮ Strong conceptual completeness for first-order logic ⋮ Continuous families of coalgebras

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3671937&oldid=17135329"