Michael Makkai

Redirect to:

Michael Makkai

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On a fat small object argument Advances in Mathematics	2014-04-15	Paper
Cellular categories Journal of Pure and Applied Algebra	2014-04-07	Paper
Addendum to ``Recursively defined metric spaces without contraction Theoretical Computer Science	2014-01-10	Paper
A note on the Penon definition of \(n\)-category	2011-07-13	Paper
A note on the Penon definition of \(n\)-category	2009-08-10	Paper
Computads and Multitopic Sets	2008-11-20	Paper
The category of 3-computads is not cartesian closed Journal of Pure and Applied Algebra	2008-09-04	Paper
Recursively defined metric spaces without contraction Theoretical Computer Science	2007-07-16	Paper
Automata, Languages and Programming Lecture Notes in Computer Science	2006-01-10	Paper
On weak higher-dimensional categories. I: Part 3 Journal of Pure and Applied Algebra	2002-09-06	Paper
On weak higher-dimensional categories. I. 2 Journal of Pure and Applied Algebra	2002-05-22	Paper
On weak higher dimensional categories. I: Part 1 Journal of Pure and Applied Algebra	2001-10-28	Paper
Duality for simple \(\omega\)-categories and disks Theory and Applications of Categories	2001-04-18	Paper
scientific article; zbMATH DE number 1392303 (Why is no real title available?)	2000-01-25	Paper
scientific article; zbMATH DE number 1231575 (Why is no real title available?)	1998-12-20	Paper
scientific article; zbMATH DE number 1136106 (Why is no real title available?)	1998-09-21	Paper
Generalized sketches as a framework for completeness theorems. I-III Journal of Pure and Applied Algebra	1997-04-24	Paper
Avoiding the axiom of choice in general category theory Journal of Pure and Applied Algebra	1997-04-09	Paper
On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic Notre Dame Journal of Formal Logic	1996-02-04	Paper
Completeness results for intuitionistic and modal logic in a categorical setting Annals of Pure and Applied Logic	1995-03-22	Paper
scientific article; zbMATH DE number 614401 (Why is no real title available?)	1994-08-23	Paper
The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2 Notre Dame Journal of Formal Logic	1994-04-24	Paper
The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 1 Notre Dame Journal of Formal Logic	1994-04-21	Paper
Duality and definability in first order logic Memoirs of the American Mathematical Society	1993-10-13	Paper
Lambek's categorical proof theory and Läuchli's abstract realizability Journal of Symbolic Logic	1992-09-27	Paper
Accessible Categories: The Foundations of Categorical Model Theory Contemporary Mathematics	1992-09-17	Paper
Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal Annals of Pure and Applied Logic	1990-01-01	Paper
A theorem on Barr-exact categories, with an infinitary generalization Annals of Pure and Applied Logic	1990-01-01	Paper
Strong conceptual completeness for first-order logic Annals of Pure and Applied Logic	1988-01-01	Paper
Some Results on Locally Finitely Presentable Categories	1987-01-01	Paper
Stone duality for first order logic Advances in Mathematics	1987-01-01	Paper
On Representations of Grothendieck Toposes Canadian Journal of Mathematics	1987-01-01	Paper
scientific article; zbMATH DE number 3931013 (Why is no real title available?)	1985-01-01	Paper
An exposition of Shelah's 'main gap': counting uncountable models of \(\omega\)-stable and superstable theories Notre Dame Journal of Formal Logic	1985-01-01	Paper
A survey of basic stability theory, with particular emphasis on orthogonality and regular types Israel Journal of Mathematics	1984-01-01	Paper
A proof of Vaught's conjecture for \(\omega\)-stable theories Israel Journal of Mathematics	1984-01-01	Paper
scientific article; zbMATH DE number 3893196 (Why is no real title available?)	1984-01-01	Paper
Full Continuous Embeddings of Toposes	1982-01-01	Paper
scientific article; zbMATH DE number 3825757 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3836032 (Why is no real title available?)	1981-01-01	Paper
An example concerning Scott heights Journal of Symbolic Logic	1981-01-01	Paper
A correction to “stationary logic” Annals of Mathematical Logic	1981-01-01	Paper
On full embeddings. I Journal of Pure and Applied Algebra	1980-01-01	Paper
New axiomatizations for logics with generalized quantifiers Israel Journal of Mathematics	1979-01-01	Paper
scientific article; zbMATH DE number 3654091 (Why is no real title available?)	1979-01-01	Paper
Stationary logic Annals of Mathematical Logic	1978-01-01	Paper
A Tree Argument in Infinitary Model Theory	1978-01-01	Paper
First order categorical logic. Model-theoretical methods in the theory of topoi and related categories Lecture Notes in Mathematics	1977-01-01	Paper
Universal Horn axiom systems for lattices of submodules Algebra Universalis	1977-01-01	Paper
An “admissible” generalization of a theorem on countable ∑11 sets of reals with applications Annals of Mathematical Logic	1977-01-01	Paper
An L ω 1 ω Complete and Consistent Theory Without Models Proceedings of the American Mathematical Society	1977-01-01	Paper
scientific article; zbMATH DE number 3526910 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3526911 (Why is no real title available?)	1976-01-01	Paper
Applications of vaught sentences and the covering theorem Journal of Symbolic Logic	1976-01-01	Paper
Generalizing Vaught sentences from ω to strong cofinality ω Fundamenta Mathematicae	1974-01-01	Paper
A remark on a paper of J.-P. Ressayre Annals of Mathematical Logic	1974-01-01	Paper
A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties Algebra Universalis	1973-01-01	Paper
Global definability theory in 𝐿_{𝜔₁𝜔} Bulletin of the American Mathematical Society	1973-01-01	Paper
scientific article; zbMATH DE number 3422332 (Why is no real title available?)	1973-01-01	Paper
scientific article; zbMATH DE number 3435468 (Why is no real title available?)	1973-01-01	Paper
On the Lattice of Subalgebras of a Boolean Algebra Proceedings of the American Mathematical Society	1972-01-01	Paper
Svenonius sentences and Lindström's theory on preservation theorems Fundamenta Mathematicae	1972-01-01	Paper
scientific article; zbMATH DE number 3348097 (Why is no real title available?)	1971-01-01	Paper
scientific article; zbMATH DE number 3384006 (Why is no real title available?)	1971-01-01	Paper
Structures elementarily equivalent relative to infinitary languages to models of higher power Acta Mathematica Academiae Scientiarum Hungaricae	1970-01-01	Paper
scientific article; zbMATH DE number 3304039 (Why is no real title available?)	1969-01-01	Paper
On the model theory of denumerably long formulas with finite strings of quantifiers Journal of Symbolic Logic	1969-01-01	Paper
scientific article; zbMATH DE number 3316913 (Why is no real title available?)	1966-01-01	Paper
scientific article; zbMATH DE number 3230217 (Why is no real title available?)	1965-01-01	Paper
A compactness result concerning direct products of models Fundamenta Mathematicae	1965-01-01	Paper
scientific article; zbMATH DE number 3216176 (Why is no real title available?)	1965-01-01	Paper
scientific article; zbMATH DE number 3254879 (Why is no real title available?)	1965-01-01	Paper
scientific article; zbMATH DE number 3216175 (Why is no real title available?)	1964-01-01	Paper
Solution of a problem of G. Grätzer concerning endomorphism semigroups Acta Mathematica Academiae Scientiarum Hungaricae	1964-01-01	Paper
On a generalization of a theorem of E. W. Beth Acta Mathematica Academiae Scientiarum Hungaricae	1964-01-01	Paper

Research outcomes over time

This page was built for person: Michael Makkai