The role of the Omitting Types Theorem in infinitary logic (Q3919693): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for abstract model theory
@@ Property / cites work: Axioms for abstract model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary properties of abelian torsion groups
@@ Property / cites work: Infinitary properties of abelian torsion groups / rank @@
+Normal rank
@@ Property / cites work @@
+Stationary logic
@@ Property / cites work: Stationary logic / rank @@
+Normal rank
@@ Property / cites work @@
+Global inductive definability
@@ Property / cites work: Global inductive definability / rank @@
+Normal rank
@@ Property / cites work @@
+Ideal models and some not so ideal problems in the model theory of <i>L(Q)</i>
+Normal rank
@@ Property / cites work @@
+Q5776902
@@ Property / cites work: Q5776902 / rank @@
+Normal rank
@@ Property / cites work @@
+Ein Gültigkeitskriterium für die Sätze der klassischen Mathematik
+Normal rank
@@ Property / cites work @@
+Definability problems for modules and rings
@@ Property / cites work: Definability problems for modules and rings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3279286
@@ Property / cites work: Q3279286 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the concept of <i>ω</i>-consistency
+Normal rank
@@ Property / cites work @@
+Q5332215
@@ Property / cites work: Q5332215 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic with the quantifier “there exist uncountably many”
+Normal rank
@@ Property / cites work @@
+On <i>ω</i>-consistency and related properties
@@ Property / cites work: On <i>ω</i>-consistency and related properties / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel Theorems for Non-Constructive Logics
@@ Property / cites work: Gödel Theorems for Non-Constructive Logics / rank @@
+Normal rank
@@ Property / cites work @@
+The sentential calculus with infinitely long expressions
+Normal rank
@@ Property / cites work @@
+The Interior Operator Logic and Product Topologies
+Normal rank
@@ Property / cites work @@
+Generalized Quantifiers and Compact Logic
@@ Property / cites work: Generalized Quantifiers and Compact Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3919693