Stretchings

DOI10.2307/2275676zbMATH Open0866.03020OpenAlexW4241186888MaRDI QIDQ4894727FDOQ4894727

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

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

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)

Cites Work

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

Cited In (10)

• Locally finite languages
• Set theory with a proper class of indiscernibles
• Independent Statements about Finite Stretchable Structures
• 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)