Problemi di decidibilita in logica topologica (Q1255489): Difference between revisions

@@ Property / cites work @@
+Structures for a logic with additional generalized quantifier
+Normal rank
@@ Property / cites work @@
+Q4401417
@@ Property / cites work: Q4401417 / rank @@
+Normal rank
@@ Property / cites work @@
+Embeddings in groups of permutations with supports of bounded cardinality
+Normal rank
@@ Property / cites work @@
+Logic with the quantifier “there exist uncountably many”
+Normal rank
@@ Property / cites work @@
+Completeness Theorems For Modal Model Theory With the Montague‐Chang Semantics I
+Normal rank
@@ Property / cites work @@
+Some model theory for monotone quantifiers
@@ Property / cites work: Some model theory for monotone quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Definability and decision problems in arithmetic
@@ Property / cites work: Definability and decision problems in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5652669
@@ Property / cites work: Q5652669 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness theorems for topological models
@@ Property / cites work: Completeness theorems for topological models / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank