The following pages link to (Q3050433):
Displaying 50 items.
- Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness (Q263883) (← links)
- Some corollaries of the correspondence between partial metrics and multivalued equalities (Q277333) (← links)
- Sheaves on involutive quantales: Grothendieck quantales. (Q277338) (← links)
- Quantale-valued preorders: globalization and cocompleteness. (Q277350) (← links)
- Topological forcing semantics with settling (Q408537) (← links)
- The order-theoretic duality and relations between partial metrics and local equalities (Q419040) (← links)
- Preordered sets valued in a GL-monoid (Q427913) (← links)
- Topological inductive definitions (Q450944) (← links)
- The number of countable models in realizability toposes (Q456878) (← links)
- A non-commutative and non-idempotent theory of quantale sets (Q533140) (← links)
- Positive definite functions over regular f-rings and representations as sums of squares (Q581656) (← links)
- Groupoid sheaves as quantale sheaves (Q659892) (← links)
- A natural interpretation of fuzzy sets and fuzzy relations (Q698758) (← links)
- Topological aspects of non-convergent sequences -- a comment on Burgin's concept of fuzzy limits (Q705508) (← links)
- Monadic bounded algebras (Q708923) (← links)
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular (Q732053) (← links)
- A new model for intuitionistic analysis (Q750439) (← links)
- Notions of computation and monads (Q757075) (← links)
- Topoi and categories of fuzzy sets (Q762152) (← links)
- Sheaf models and massless fields (Q791215) (← links)
- Sheaf models for choice sequences (Q798316) (← links)
- Monoidal closed categories, weak topoi and generalized logics (Q810504) (← links)
- Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years (Q812585) (← links)
- \(\mathcal Q\)-\(*\)-categories (Q842761) (← links)
- Well-foundedness in realizability (Q850808) (← links)
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches (Q865043) (← links)
- Fuzzy sets and sheaves. I: Basic concepts (Q881818) (← links)
- Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology (Q881819) (← links)
- Isomorphisms and functors of fuzzy sets and cut systems (Q894660) (← links)
- Completions of cut systems in \(Q\)-sets (Q894673) (← links)
- Elementary inductive definitions in HA: From strictly positive towards monotone (Q920089) (← links)
- When does a category built on a lattice with a monoidal structure have a monoidal structure? (Q969576) (← links)
- Sheaves as modules (Q969690) (← links)
- Completion of L-fuzzy relations (Q1054821) (← links)
- Boolean combinations of monadic formulas (Q1055408) (← links)
- On some non-classical extensions of second-order intuitionistic propositional calculus (Q1061123) (← links)
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017) (← links)
- Arithmetic transfinite induction and recursive well-orderings (Q1071019) (← links)
- Sheaves over Heyting lattices (Q1076015) (← links)
- Quasitopoi, logic and Heyting-valued models (Q1078653) (← links)
- Lindenbaum algebras of intuitionistic theories and free categories (Q1092043) (← links)
- Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator (Q1096625) (← links)
- Generalized algebraic theories and contextual categories (Q1096716) (← links)
- Some connections between Heyting valued set theory and algebraic geometry. Prolegomena to intuitionistic algebraic geometry (Q1113898) (← links)
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic (Q1115868) (← links)
- Quotients with respect to similarity relations (Q1117016) (← links)
- Is the category JTF a topos? (Q1118025) (← links)
- Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) (Q1130233) (← links)
- Categories, toposes and sets (Q1165303) (← links)
- The logic of approximation in quantum theory (Q1170179) (← links)
