Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality

Cites work

Cited in

(7)

An analysis of Karp's interpolation theorem and the notion of k- consistency property
Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\)
Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\)
\(\lambda\)-satisfiability, \(\lambda\)-consistency property, the downward Löwenheim-Skolem theorem, and the failure of the interpolation theorem for \(L_{\kappa,\kappa}\) with \(\kappa\) a strong limit cardinal of cofinality \(\lambda\)
\(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\)
Seq-consistency property and interpolation theorems
Karp's interpolation theorem for some classes of infinitary languages

This page was built for publication: Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1241504)