Stretchings

DOI10.2307/2275676MaRDI QIDQ4894727zbMATH OpenOpenAlexFDO

Authors Olivier Finkel, J.-P. 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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Recommendations

• Local sentences and Mahlo cardinals
• On decidability properties of local sentences
• Independent Statements about Finite Stretchable Structures
• Locally finite theories
• Model Theory Makes Formulas Large

Cites work

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

Cited in

(10)

• Locally finite languages
• Independent Statements about Finite Stretchable Structures
• Set theory with a proper class of indiscernibles
• Two Finger Caging: Squeezing and Stretching
• Local sentences and Mahlo cardinals
• On decidability properties of local sentences
• Locally finite \(\omega\)-languages and effective analytic sets have the same topological complexity
• Closure properties of locally finite \(\omega\)-languages
• Computer science and the fine structure of Borel sets
• Topological complexity of locally finite \(\omega\)-languages

This page was built for publication: Stretchings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4894727)