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 theoryexpansionsdiscretely ordered structuresminimal 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

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

Cited in

(5)

• scientific article; zbMATH DE number 1722665 (Why is no real title available?)
• Order-sorted inductive types
• 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?)

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)