Scott sentences in uncountable structures

MaRDI QIDQ4691703zbMATH OpenFDO

Authors Brian Tyrrell

Publication date 24 October 2018

Full work available at URL https://scholar.rose-hulman.edu/rhumj/vol18/iss1/14

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35) Computable structure theory, computable model theory (03C57) Other infinitary logic (03C75)

Recommendations

• An introduction to the Scott complexity of countable structures and a survey of recent results
• Once more on countably categorical sentences
• On a class of topological spaces with a Scott sentence
• On optimal Scott sentences of finitely generated algebraic structures
• scientific article; zbMATH DE number 3896909

Cited in

(9)

• Once more on countably categorical sentences
• Notes on cardinals that are characterizable by a complete (Scott) sentence
• Scott sentences for equivalence structures
• A note on standard systems and ultrafilters
• The structure of ω_1-like orderings
• Complete \(\mathcal{L}_{\omega_1,\omega}\)-sentences with maximal models in multiple cardinalities
• Complexity of Scott sentences
• Characterizing the powerset by a complete (Scott) sentence
• Scattered sentences have few separable randomizations

This page was built for publication: Scott sentences in uncountable structures

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