Makkai, Mihály 1939-
Makkai, Michael, 1939-
Makkai, Michael
Michael Makkai
Michael Makkai Canadian mathematician
Makkai, M.
VIAF ID: 5482650 ( Personal )
Permalink: http://viaf.org/viaf/5482650
Preferred Forms
-
-
-
-
- 100 1 _ ‡a Makkai, Michael
-
-
-
-
- 100 1 _ ‡a Makkai, Mihály ‡d 1939-
-
- 100 1 _ ‡a Makkai, Mihály, ‡d 1939-
- 100 1 _ ‡a Makkai, Mihály, ‡d 1939-....
- 100 0 _ ‡a Michael Makkai
- 100 0 _ ‡a Michael Makkai ‡c Canadian mathematician
4xx's: Alternate Name Forms (23)
Works
Title | Sources |
---|---|
Accessible categories : the foundations of categorical model theory | |
Algebra és számelmélet 1. félév | |
An algebraic look at propositional logic | |
Categoricity of theories in L [ko], with [k] a compact cardinal | |
Duality and definability in first order logic | |
The Fibrational formulation of intuitionistic predicate calculus I : completeness according to Bödel [sic], Kripke and Läuchli | |
First order categorical logic / Michael Makkai, Gonzalo Reyes. - Berlin, 1977. | |
First order categorical logic : model-theoretical methods in the theory of topoi and related categories | |
A kategóriaelmélet szerepe a matematika megalapozásában | |
Läuchli's work on abstract realizability in a categorical context : the propositional case | |
Models, logics, and higher-dimensional categories, c2011: | |
On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic | |
Strong conceptual completeness for first Order logic | |
A survey of basic stability theory | |
A Theorem on Barr-exact categories, with an infinitary generalization |