Semi-isolation and the strict order property

DOI10.1215/00294527-3153579zbMATH Open1372.03058arXiv1307.0604OpenAlexW1854700576MaRDI QIDQ894254FDOQ894254

Authors: Predrag Tanović, S. V. Sudoplatov 

Publication date: 30 November 2015

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Abstract: We study semi-isolation as a binary relation on the locus of a complete type and prove that under some additional assumptions it induces the strict order property.

Full work available at URL: https://arxiv.org/abs/1307.0604

zbMATH Keywords

small theorysemi-isolationpowerful typenonisolated type

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model theory of denumerable and separable structures (03C15)

Cites Work

• Powerful types in small theories
• Theories with constants and three countable models
• Conditions for non-symmetric relations of semi-isolation
• Existentially closed dimension groups
• Definability and decision problems in arithmetic
• Title not available (Why is that?)
• A note on countable complete theories having three isomorphism types of countable models
• Models of superstable Horn theories
• Theories with a finite number of countable models
• Remarks on countable models
• On Theories Having Three Countable Models

Cited In (5)

• On constants and the strict order property
• Ranks, spectra and their dynamics for families of constant expansions of theories
• Constructing strict left (right)-disjunctive left (right) semi-uninorms and coimplications satisfying the order property
• Closures and generating sets related to combinations of structures
• Combinations related to classes of finite and countably categorical structures and their theories

This page was built for publication: Semi-isolation and the strict order property

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