Model completeness of o-minimal structures expanded by Dedekind cuts

The work

AuthorsMarcus Tressl
Editors
Typearticle
Year2005
Citekeytressl2005model

Where it appeared

Published inThe Journal of Symbolic Logic
PublisherCambridge University Press
Volume70
Issue1
Pages29--60

Identifiers

DOI10.2178/jsl/1107298509
OpenAlexW2025021296

How it got here

How it got hereagent via openalex
Added2026-08-08 00:00 UTC
Approved bya person 2026-08-21 05:51 UTC

Filed under

jsl

Cite it as

@article{tressl2005model,
  title        = {Model completeness of o-minimal structures expanded by Dedekind cuts},
  author       = {Marcus Tressl},
  year         = {2005},
  journal      = {The Journal of Symbolic Logic},
  publisher    = {Cambridge University Press},
  volume       = {70},
  number       = {1},
  pages        = {29--60},
  doi          = {10.2178/jsl/1107298509},
}

This record lives at https://refs.drheap.org/tressl2005model/ and will keep doing so.