Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574): Difference between revisions

@@ Property / describes a project that uses @@
+CafeOBJ
@@ Property / describes a project that uses: CafeOBJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CASL
@@ Property / describes a project that uses: CASL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11787-013-0090-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2012962349
@@ Property / OpenAlex ID: W2012962349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Omitting types for algebraizable extensions of first order logic
+Normal rank
@@ Property / cites work @@
+Omitting types for finite variable fragments and complete representations of algebras
+Normal rank
@@ Property / cites work @@
+An Omitting Types Theorem for first order logic with infinitary relation symbols
+Normal rank
@@ Property / cites work @@
+CASL: the Common Algebraic Specification Language.
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+An institution-independent proof of the Robinson consistency theorem
+Normal rank
@@ Property / cites work @@
+Birkhoff completeness in institutions
@@ Property / cites work: Birkhoff completeness in institutions / rank @@
+Normal rank
@@ Property / cites work @@
+THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
@@ Property / cites work: THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS / rank @@
+Normal rank
@@ Property / cites work @@
+Relating CASL with other specification languages: the institution level.
+Normal rank
@@ Property / cites work @@
+Category-based constraint logic
@@ Property / cites work: Category-based constraint logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4432964
@@ Property / cites work: Q4432964 / rank @@
+Normal rank
@@ Property / cites work @@
+An institution-independent proof of Craig interpolation theorem
+Normal rank
@@ Property / cites work @@
+Elementary Diagrams in Institutions
@@ Property / cites work: Elementary Diagrams in Institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Herbrand theorems in arbitrary institutions
@@ Property / cites work: Herbrand theorems in arbitrary institutions / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical study on the finiteness of specifications
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical foundations of CafeOBJ
@@ Property / cites work: Logical foundations of CafeOBJ / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680190
@@ Property / cites work: Q4680190 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+An Oxford survey of order sorted algebra
@@ Property / cites work: An Oxford survey of order sorted algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness by Forcing
@@ Property / cites work: Completeness by Forcing / rank @@
+Normal rank
@@ Property / cites work @@
+An Institution-independent Generalization of Tarski's Elementary Chain Theorem
+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 @@
+A generalization of the concept of <i>ω</i>-consistency
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3809236
@@ Property / cites work: Q3809236 / rank @@
+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 @@
+An Institutional Version of Gödel’s Completeness Theorem
+Normal rank
@@ Property / cites work @@
+Abstract Beth definability in institutions
@@ Property / cites work: Abstract Beth definability in institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613180
@@ Property / cites work: Q5613180 / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of free models in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Q3776610
@@ Property / cites work: Q3776610 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-varieties in abstract algebraic institutions
+Normal rank