Stretchings

DOI10.2307/2275676zbMath0866.03020OpenAlexW4241186888MaRDI QIDQ4894727

Jean-Pierre Ressayre, Olivier Finkel

Publication date: 24 November 1996

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

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

zbMATH Keywords

spectrumdecidabilityconsistency strength of Mahlo cardinals of finite orderexistence of inaccessible cardinalsstretching theorem for local sentences

Mathematics Subject Classification ID

Large cardinals (03E55) Basic properties of first-order languages and structures (03C07) Set-theoretic model theory (03C55)

Related Items (7)

Closure properties of locally finite \(\omega\)-languages ⋮ On decidability properties of local sentences ⋮ Set theory with a proper class of indiscernibles ⋮ Topological complexity of locally finite \(\omega\)-languages ⋮ Locally finite languages ⋮ Computer science and the fine structure of Borel sets ⋮ Locally finite ω-languages and effective analytic sets have the same topological complexity

Cites Work

• Set theory. An introduction to large cardinals
• Formal languages defined by the underlying structure of their words

This page was built for publication: Stretchings