-satisfiability, -consistency property, the downward Löwenheim-Skolem theorem, and the failure of the interpolation theorem for L_, with a strong limit cardinal of cofinality
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3482295 (Why is no real title available?)
- scientific article; zbMATH DE number 3206304 (Why is no real title available?)
- 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
- Infinitary analogs of theorems from first order model theory
- Interpolation theorems for Lk,k2+
- Seq-consistency property and interpolation theorems
Cited in
(6)- scientific article; zbMATH DE number 3891338 (Why is no real title available?)
- Ineffability of \(\mathcal{P}_{\kappa} \lambda\) for \(\lambda\) with small cofinality
- \(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\)
- Seq-consistency property and interpolation theorems
- scientific article; zbMATH DE number 4089539 (Why is no real title available?)
- Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\)
This page was built for publication: \(\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\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q582286)
