The semantic view of theories and higher-order languages (Q2052159): Difference between revisions

@@ Property / cites work @@
+Quasi finitely axiomatizable totally categorical theories
+Normal rank
@@ Property / cites work @@
+An architectonic for science. The structuralist program
+Normal rank
@@ Property / cites work @@
+MORITA EQUIVALENCE
@@ Property / cites work: MORITA EQUIVALENCE / rank @@
+Normal rank
@@ Property / cites work @@
+From geometry to conceptual relativity
@@ Property / cites work: From geometry to conceptual relativity / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565097
@@ Property / cites work: Q5565097 / rank @@
+Normal rank
@@ Property / cites work @@
+BEOBACHTUNGSSPRACHE UND THEORETISCHE SPRACHE
@@ Property / cites work: BEOBACHTUNGSSPRACHE UND THEORETISCHE SPRACHE / rank @@
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Reinflating the semantic approach
@@ Property / cites work: Reinflating the semantic approach / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+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 @@
+Q4828514
@@ Property / cites work: Q4828514 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+What's right with a syntactic approach to theories and models?
+Normal rank
@@ Property / cites work @@
+Model Theory for the Higher Order Predicate Calculus
+Normal rank
@@ Property / cites work @@
+Q4049047
@@ Property / cites work: Q4049047 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5766850
@@ Property / cites work: Q5766850 / rank @@
+Normal rank