Stretchings
From MaRDI portal
Publication:4894727
DOI10.2307/2275676zbMath0866.03020MaRDI QIDQ4894727
Olivier Finkel, Jean-Pierre Ressayre
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
spectrum; decidability; consistency strength of Mahlo cardinals of finite order; existence of inaccessible cardinals; stretching theorem for local sentences
03E55: Large cardinals
03C07: Basic properties of first-order languages and structures
03C55: Set-theoretic model theory
Related Items
Locally finite languages, Computer science and the fine structure of Borel sets, On decidability properties of local sentences, Topological complexity of locally finite \(\omega\)-languages, Closure properties of locally finite \(\omega\)-languages
Cites Work