A proof of completeness for continuous first-order logic (Q5190194): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3101258384
@@ Property / OpenAlex ID: W3101258384 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4051
@@ Property / arXiv ID: 0903.4051 / rank @@
+Normal rank
@@ Property / cites work @@
+SIMPLICITY IN COMPACT ABSTRACT THEORIES
@@ Property / cites work: SIMPLICITY IN COMPACT ABSTRACT THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Uncountable dense categoricity in cats
@@ Property / cites work: Uncountable dense categoricity in cats / rank @@
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
+Normal rank
@@ Property / cites work @@
+Nonstandard hulls of Banach spaces
@@ Property / cites work: Nonstandard hulls of Banach spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703808
@@ Property / cites work: Q2703808 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
+Normal rank