Lω1ω is enough: a reduction theorem for some infinitary languages

DOI10.2307/2272417zbMath0278.02015OpenAlexW2107232728MaRDI QIDQ4405135

Gonzalo E. Reyes

Publication date: 1973

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272417

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Related Items (1)

Exact functors, local connectedness and measurable cardinals

Cites Work

• A survey of cardinal invariants
• Unnamed Item

This page was built for publication: L_ω1ω is enough: a reduction theorem for some infinitary languages