Simple types in discretely ordered structures

DOI10.1007/S00153-014-0396-5zbMATH Open1338.03069OpenAlexW1989659324MaRDI QIDQ481879FDOQ481879

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

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

zbMATH Keywords

binary theoryexpansionsdiscretely ordered structuresminimal structuressmall theory

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Definable Sets in Ordered Structures. III
• A guide to classical and modern model theory
• On constants and the strict order property
• Types directed by constants
• Minimal first-order structures

Cited In (5)

• Title not available (Why is that?)
• Order-sorted inductive types
• Title not available (Why is that?)
• Statistical properties of simple types
• Simple Types in Type Theory: Deep and Shallow Encodings

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)