Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) (Q1130233): Difference between revisions

@@ Property / DOI @@
-.1305/ndjfl/1039700744
@@ Property / DOI: 10.1305/ndjfl/1039700744 / rank @@
-Normal rank
@@ Property / cites work @@
+Topological representation of the λ-calculus
@@ Property / cites work: Topological representation of the λ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Topological completeness for higher-order logic
@@ Property / cites work: Topological completeness for higher-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Molecular toposes
@@ Property / cites work: Molecular toposes / rank @@
+Normal rank
@@ Property / cites work @@
+La logique des topos
@@ Property / cites work: La logique des topos / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying toposes for first-order theories
@@ Property / cites work: Classifying toposes for first-order theories / rank @@
+Normal rank
@@ Property / cites work @@
+Representing topoi by topological groupoids
@@ Property / cites work: Representing topoi by topological groupoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q3050433
@@ Property / cites work: Q3050433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Open maps of toposes
@@ Property / cites work: Open maps of toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Toposes are Cohomologically Equivalent to Spaces
@@ Property / cites work: Toposes are Cohomologically Equivalent to Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918651
@@ Property / cites work: Q3918651 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
+Normal rank
@@ Property / cites work @@
+Constructive Sheaf Semantics
@@ Property / cites work: Constructive Sheaf Semantics / rank @@
+Normal rank
@@ Property / DOI @@
+.1305/NDJFL/1039700744
@@ Property / DOI: 10.1305/NDJFL/1039700744 / rank @@
+Normal rank