-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
zbMATH Open0691.03021MaRDI QIDQ582286FDOQ582286
Authors: Ruggero Ferro 
Publication date: 1988
Published in: Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)
Full work available at URL: http://www.numdam.org/item?id=RSMUP_1988__80__1_0
Recommendations
interpolationinfinitary languagesBeth's theoremchain consistency propertieschain modelsdownward Löwenheim-Skolem theorem
Cites Work
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Interpolation theorems for Lk,k2+
- Infinitary analogs of theorems from first order model theory
- Seq-consistency property and interpolation theorems
Cited In (6)
- Seq-consistency property and interpolation theorems
- Title not available (Why is that?)
- Ineffability of \(\mathcal{P}_{\kappa} \lambda\) for \(\lambda\) with small cofinality
- Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\)
- Title not available (Why is that?)
- \(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\)
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)
