Pages that link to "Item:Q1238016"
From MaRDI portal
The following pages link to First order categorical logic. Model-theoretical methods in the theory of topoi and related categories (Q1238016):
Displayed 50 items.
- Continuity and geometric logic (Q280833) (← links)
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- Some supplements to Feferman-Vaught related to the model theory of adeles (Q400416) (← links)
- The number of countable models in realizability toposes (Q456878) (← links)
- A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms (Q528519) (← links)
- How to be a structuralist all the way down (Q542132) (← links)
- Presheaf semantics and independence results for some non-classical first- order logics (Q582278) (← links)
- On the fullness of certain functors (Q584378) (← links)
- Notions of computation and monads (Q757075) (← links)
- Sheaf models and massless fields (Q791215) (← links)
- Sheaf models for choice sequences (Q798316) (← links)
- On conceptual completeness of syntactic-semantical systems (Q798654) (← links)
- Model-theoretic imaginaries and coherent sheaves (Q843754) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- Fuzzy sets and geometric logic (Q969577) (← links)
- Quantum logic in dagger kernel categories (Q981683) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- The Skolem-Löwenheim theorem in toposes. II (Q1068081) (← links)
- A survey of basic stability theory, with particular emphasis on orthogonality and regular types (Q1069927) (← links)
- Fundamentals of forking (Q1074574) (← links)
- Cartesian bicategories. I (Q1098929) (← links)
- Partial morphisms in categories of effective objects (Q1109126) (← links)
- Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) (Q1130233) (← links)
- The ''World's simplest axiom of choice'' fails (Q1171570) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Quantified extensions of canonical propositional intermediate logics (Q1207339) (← links)
- A new framework for declarative programming (Q1399960) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- Infinitary first-order categorical logic (Q1625589) (← links)
- Positive Jonsson theories (Q1653552) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- Independence and freedom (Q1684197) (← links)
- Forking independence from the categorical point of view (Q1731575) (← links)
- Completeness of cocompletions (Q1770534) (← links)
- Syntactic categories for Nori motives (Q1783984) (← links)
- Nominal logic, a first order theory of names and binding (Q1887151) (← links)
- Saturated models of intuitionistic theories (Q1887664) (← links)
- On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic (Q1906666) (← links)
- Limits in free coproduct completions (Q1910734) (← links)
- Logical quantization of differential geometry (Q1910872) (← links)
- Bi-Heyting algebras, toposes and modalities (Q1914371) (← links)
- Logical quantizations of first-order structures (Q1915367) (← links)
- Ultrafilters, finite coproducts and locally connected classifying toposes (Q2004956) (← links)
- The exact completion for regular categories enriched in posets (Q2078381) (← links)
- Grothendieck toposes as unifying `bridges': a mathematical morphogenesis (Q2080586) (← links)
- Equational logic and categorical semantics for multi-languages (Q2133469) (← links)
- General affine adjunctions, Nullstellensätze, and dualities (Q2196331) (← links)
- On stability of exactness properties under the pro-completion (Q2217538) (← links)
- Elementary doctrines as coalgebras (Q2220195) (← links)
