Nice infinitary logics
From MaRDI portal
Abstract: Ordinary infinitary languages L_{lambda, kappa} satisfy the Interpolation Theorem only in the case lambda <= {aleph_1}, kappa = {aleph_0}, this include first order logic of course. There are also some pairs of such logics satifying interpolation, e.g. (L_{lambda^+,{aleph_0}}, L_{(2^lambda)^+, lambda^+}) . Does this come from an intermidiate logic satisfying it? Is it nice? unique? We define for kappa = beth_kappa a new logic L^1_kappa such that L_{kappa omega}< L^1_kappa LL_{kappa kappa} and L^1_kappa is very nice; in particular satisfies the Interpolation Theorem. Moreover, L^1_kappa has a model--theoretic characterization in the style of Lindstrom's Theorem in terms of a form of undefinability of well--order. We also define for strong limit kappa of cofinality aleph_0 a logic L^2_{kappa^+} such that L_{kappa^+, {aleph_0}}<L^2_{kappa^+}<L_{kappa^+, kappa} and L^2_{kappa^+} satisfies the Interpolation Theorem.
Recommendations
Cites work
- Absolutely indecomposable modules
- An upper cardinal bound on absolute E-rings
- Appendix to models with second order properties II trees with no undefined branches
- Constructions of many complicated uncountable structures and Boolean algebras
- Homogeneous Boolean algebras may have non-simple automorphism groups
- scientific article; zbMATH DE number 3941493 (Why is no real title available?)
- scientific article; zbMATH DE number 734993 (Why is no real title available?)
- scientific article; zbMATH DE number 1762597 (Why is no real title available?)
- Nice infinitary logics
- On a non-vanishing Ext
- On direct products of theories
- On models with power-like orderings
- Proper forcing
- Remarks in abstract model theory
- The first order properties of products of algebraic systems
- The number of non-isomorphic models of an unstable first-order theory
Cited in
(24)- A note on extensions of infinitary logic
- Nice implicational axioms
- Chain logic and Shelah's infinitary logic
- Isomorphic limit ultrapowers for infinitary logic
- On compactness of logics that can express properties of symmetry or connectivity
- Nice infinitary logics
- scientific article; zbMATH DE number 3855082 (Why is no real title available?)
- scientific article; zbMATH DE number 3941493 (Why is no real title available?)
- Filter Logics on ω
- There are reasonably nice logics
- scientific article; zbMATH DE number 475186 (Why is no real title available?)
- Logics of infinite depth
- Barwise: Abstract Model Theory and Generalized Quantifiers
- The Logically Simplest Form of the Infinity Axiom
- scientific article; zbMATH DE number 764208 (Why is no real title available?)
- LOGICALITY AND MODEL CLASSES
- Infinitary logics and abstract elementary classes
- Lindström's theorem for positive logics, a topological view
- Some strong logics within combinatorial set theory and the logic of chains
- WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?
- Games and Lindström theorems
- Lindström's characterizability of abstract logic systems for analytic structures based on measures
- Local Hanf-Tarski numbers
- The Boolean compactness theorem for \(\mathrm{L}_{\infty \infty}\)
This page was built for publication: Nice infinitary logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879888)
