Type space functors and interpretations in positive logic (Q2700810): Difference between revisions

@@ Property / cites work @@
+MORITA EQUIVALENCE
@@ Property / cites work: MORITA EQUIVALENCE / rank @@
+Normal rank
@@ Property / cites work @@
+POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
+Normal rank
@@ Property / cites work @@
+Thickness, and a categoric view of type-space functors
+Normal rank
@@ Property / cites work @@
+Fondements de la logique positive
@@ Property / cites work: Fondements de la logique positive / rank @@
+Normal rank
@@ Property / cites work @@
+Generalising canonical extension to the categorical setting
+Normal rank
@@ Property / cites work @@
+LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE
+Normal rank
@@ Property / cites work @@
+The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
+Normal rank
@@ Property / cites work @@
+Spectral Spaces
@@ Property / cites work: Spectral Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+SPACES OF TYPES IN POSITIVE MODEL THEORY
@@ Property / cites work: SPACES OF TYPES IN POSITIVE MODEL THEORY / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3411965
@@ Property / cites work: Q3411965 / rank @@
+Normal rank
@@ Property / cites work @@
+ON MORITA EQUIVALENCE AND INTERPRETABILITY
@@ Property / cites work: ON MORITA EQUIVALENCE AND INTERPRETABILITY / rank @@
+Normal rank
@@ Property / cites work @@
+Positive Jonsson theories
@@ Property / cites work: Positive Jonsson theories / rank @@
+Normal rank
@@ Property / cites work @@
+A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE
+Normal rank