Elimination of imaginaries in expansions of o-minimal structures by generic sets

DOI10.2178/JSL/1129642120MaRDI QIDQ5486246zbMATH OpenOpenAlexFDO

Authors Sergio Fratarcangeli

Publication date 6 September 2006

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

Full work available at URL https://doi.org/10.2178/jsl/1129642120

zbMATH Keywords

o-minimal structureelimination of imaginariesgeneric predicate

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64)

Recommendations

• Generic derivations on o-minimal structures
• scientific article; zbMATH DE number 5066584
• A theorem on generic intersections in an o-minimal structure
• Quantifier elimination for o-minimal structures expanded by a valuational cut
• Structure theorems in tame expansions of o-minimal structures by a dense set
• Definable Operations on Sets and Elimination of Imaginaries
• Expansions of o-minimal structures by iteration sequences
• Expansions of o-minimal structures by sparse sets
• Generalized o-minimality for partial orders
• Expansions of o-minimal structures by dense independent sets

Cited in

(6)

• Distal and non‐distal behavior in pairs
• Expansions of o-minimal structures by dense independent sets
• Wild theories with o-minimal open core
• Extensions of ordered theories by generic predicates
• On lovely pairs of geometric structures
• Structures having o-minimal open core

This page was built for publication: Elimination of imaginaries in expansions of o-minimal structures by generic sets

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