Categorical theory
Top View
- The Foundations of Mathematics
- Completeness and Categoricity (In Power): Formalization Without Foundationalism
- Categoricity of Theories in Lκω, When Κ Is a Measurable Cardinal. Part 1
- Basic Model Theory / Kees Doets P
- Categorical Quantum Circuits
- Countable Theories Categorical in Uncountable Power
- Stability Theory and Its Variants
- Categoricity Without Equality
- Categorical New Foundations
- Axiomatizing Changing Conceptions of the Geometric Continuuum II: Archimedes – Descartes – Hilbert – Tarski
- Category Theory and the Foundations of Mathematics
- A Categorical Theory of Patches
- An Exposition of Shelah's Proof of a Categoricity Theorem For
- A Computable ℵ0-Categorical Structure Whose Theory Computes True Arithmetic
- Fundamentals of Model Theory
- A Brief Introduction to Algebraic Set Theory∗
- Mathematical Logic II
- Categorical Structuralism and the Foundations of Mathematics