Pages that link to "Item:Q1346248"

The following pages link to Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248):

Displaying 50 items.

• Modes of adjointness (Q484110) (← links)
• The semi Heyting-Brouwer logic (Q495844) (← links)
• A category-theoretic approach to Boolean-valued models of set theory (Q580339) (← links)
• Positive definite functions over regular f-rings and representations as sums of squares (Q581656) (← links)
• Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
• Proving semantical equivalence of data specifications (Q678825) (← links)
• A sheaf-theoretic approach to pattern matching and related problems (Q685382) (← links)
• Infinitesimally stable theories of henselian rings (Q689263) (← links)
• Generalising canonical extension to the categorical setting (Q714727) (← links)
• A theorem on Barr-exact categories, with an infinitary generalization (Q922544) (← links)
• Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics (Q929639) (← links)
• The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
• The connected Vietoris powerlocale (Q1030196) (← links)
• Classifying topoi and finite forcing (Q1052317) (← links)
• Amalgamation and interpolation in the category of Heyting algebras (Q1053098) (← links)
• The fundamental group of a topos (Q1053102) (← links)
• Completion of L-fuzzy relations (Q1054821) (← links)
• An application of open maps to categorical logic (Q1055409) (← links)
• The p-adic spectrum (Q1071859) (← links)
• Rings of smooth functions and their localizations. I (Q1075422) (← links)
• Quasitopoi, logic and Heyting-valued models (Q1078653) (← links)
• Separably real closed local rings (Q1083520) (← links)
• Representation of categories (Q1084490) (← links)
• Lindenbaum algebras of intuitionistic theories and free categories (Q1092043) (← links)
• Left exact logic (Q1092902) (← links)
• Sheaves of integral domains on Stone spaces (Q1094474) (← links)
• Stone duality for first order logic (Q1105598) (← links)
• A small complete category (Q1112159) (← links)
• Conceptual completeness for first-order intuitionistic logic: An application of categorical logic (Q1115868) (← links)
• Hilbert's Nullstellensatz revisited (Q1117017) (← links)
• Strong conceptual completeness for first-order logic (Q1118588) (← links)
• Galois theory in a topos (Q1142849) (← links)
• Galois theory and theaters of action in a topos (Q1144109) (← links)
• Sheaf models for set theory (Q1145695) (← links)
• On full embeddings. I (Q1147215) (← links)
• Sheaves and prime model extensions (Q1154460) (← links)
• Separable algebraic closure in a topos (Q1164699) (← links)
• Continuous categories and exponentiable toposes (Q1165305) (← links)
• A survey of fuzzy set and topos theory (Q1175730) (← links)
• Théorie des modeles et faisceaux (Q1258739) (← links)
• On logics with coimplication (Q1272827) (← links)
• Continuous families of coalgebras (Q1295571) (← links)
• Descent and duality (Q1345009) (← links)
• Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
• Identification of certain structures as split opfibrations over \(\Delta^{\text{op}}\) (Q1361200) (← links)
• Model completions and r-Heyting categories (Q1372155) (← links)
• Regular and exact completions (Q1380046) (← links)
• Classifying toposes for first-order theories (Q1382183) (← links)
• Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic (Q1406853) (← links)
• Saturated models of intuitionistic theories (Q1887664) (← links)