Simple types in discretely ordered structures

DOI10.1007/S00153-014-0396-5MaRDI QIDQ481879zbMATH OpenOpenAlexFDO

Authors Dejan Ilić

Publication date 15 December 2014

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-014-0396-5

zbMATH Keywords

binary theorydiscretely ordered structuresexpansionsminimal structuressmall theory

Mathematics Subject Classification ID

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

Recommendations

• On types of CB-rank 1 in simple theories
• scientific article; zbMATH DE number 4106821
• scientific article; zbMATH DE number 7401822
• A note on stationarity of types over models in simple theories
• From Stability to Simplicity

Cites work

• A guide to classical and modern model theory
• Definable Sets in Ordered Structures. III
• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• Minimal first-order structures
• On constants and the strict order property
• Types directed by constants

Cited in

(6)

• Order-sorted inductive types
• scientific article; zbMATH DE number 1722665 (Why is no real title available?)
• Simple Types in Type Theory: Deep and Shallow Encodings
• Statistical properties of simple types
• scientific article; zbMATH DE number 6923849 (Why is no real title available?)
• Vaught's conjecture for theories of discretely ordered structures

This page was built for publication: Simple types in discretely ordered structures

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