The following pages link to Michael Makkai (Q175558):
Displaying 50 items.
- Addendum to ``Recursively defined metric spaces without contraction'' (Q391132) (← links)
- (Q674479) (redirect page) (← links)
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal (Q916644) (← links)
- A theorem on Barr-exact categories, with an infinitary generalization (Q922544) (← links)
- (Q942211) (redirect page) (← links)
- The category of 3-computads is not cartesian closed (Q942212) (← links)
- A survey of basic stability theory, with particular emphasis on orthogonality and regular types (Q1069927) (← links)
- A proof of Vaught's conjecture for \(\omega\)-stable theories (Q1070222) (← links)
- An exposition of Shelah's 'main gap': counting uncountable models of \(\omega\)-stable and superstable theories (Q1073784) (← links)
- Stone duality for first order logic (Q1105598) (← links)
- Strong conceptual completeness for first-order logic (Q1118588) (← links)
- On full embeddings. I (Q1147215) (← links)
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories (Q1238016) (← links)
- Universal Horn axiom systems for lattices of submodules (Q1245984) (← links)
- New axiomatizations for logics with generalized quantifiers (Q1256443) (← links)
- The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2 (Q1317969) (← links)
- The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 1 (Q1317983) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- On weak higher dimensional categories. I: Part 1 (Q1588075) (← links)
- A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties (Q1846449) (← links)
- On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic (Q1906666) (← links)
- Avoiding the axiom of choice in general category theory (Q1917386) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Cellular categories (Q2443277) (← links)
- On a fat small object argument (Q2445953) (← links)
- Duality for simple \(\omega\)-categories and disks (Q2709207) (← links)
- A note on the Penon definition of $n$-category (Q3015734) (← links)
- (Q3043147) (← links)
- Duality and definability in first order logic (Q3137743) (← links)
- (Q3671937) (← links)
- (Q3705457) (← links)
- On Representations of Grothendieck Toposes (Q3755628) (← links)
- (Q3853604) (← links)
- A correction to “stationary logic” (Q3905263) (← links)
- Full Continuous Embeddings of Toposes (Q3947807) (← links)
- An example concerning Scott heights (Q3966113) (← links)
- Accessible Categories: The Foundations of Categorical Model Theory (Q3995283) (← links)
- Lambek's categorical proof theory and Läuchli's abstract realizability (Q4008758) (← links)
- A remark on a paper of J.-P. Ressayre (Q4053607) (← links)
- Generalizing Vaught sentences from ω to strong cofinality ω (Q4055987) (← links)
- Applications of vaught sentences and the covering theorem (Q4100057) (← links)
- (Q4103720) (← links)
- (Q4103721) (← links)
- Stationary logic (Q4149757) (← links)
- An “admissible” generalization of a theorem on countable ∑11 sets of reals with applications (Q4154546) (← links)
- A Tree Argument in Infinitary Model Theory (Q4163198) (← links)
- An L ω 1 ω Complete and Consistent Theory Without Models (Q4163504) (← links)
- (Q4222894) (← links)
- (Q4300696) (← links)
