On the Failure of the Weak Beth Property
From MaRDI portal
Publication:4110977
DOI10.2307/2041394zbMath0343.02011OpenAlexW4254041267MaRDI QIDQ4110977
Karel Hrbacek, Richard Gostanian
Publication date: 1976
Full work available at URL: https://doi.org/10.2307/2041394
Model theory (03C99) Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75)
Related Items
Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent? ⋮ Definability and automorphisms in abstract logics ⋮ The Craig interpolation theorem in abstract model theory
Cites Work
- Unnamed Item
- Unnamed Item
- Book review of: J.-P. Serre, Lectures on \(N_X (p)\)
- Hanf numbers for fragments of L\(_{\infty \omega}\)
- Beth's theorem in cardinality logics
- Beth definability in infinitary languages
- On defining well-orderings
- Satisfaction for n-th order languages defined in n-th order languages
- Infinitary logic and admissible sets
- Infinitary analogs of theorems from first order model theory
- Absolute logics and L∞ω