Definable sets in ordered structures. II-Reference-Cited by-同舟云学术

Definable sets in ordered structures. II

Published:1986 Issue:2 Volume:295 Page:593-605
ISSN:0002-9947
Container-title:Transactions of the American Mathematical Society
language:en
Short-container-title:Trans. Amer. Math. Soc.

Author:

Knight Julia F.,Pillay Anand,Steinhorn Charles

Abstract

It is proved that any 0 0 -minimal structure M M (in which the underlying order is dense) is strongly 0 0 -minimal (namely, every N N elementarily equivalent to M M is 0 0 -minimal). It is simultaneously proved that if M M is 0 0 -minimal, then every definable set of n n -tuples of M M has finitely many "definably connected components."

Publisher

American Mathematical Society (AMS)

Subject

Applied Mathematics,General Mathematics

Link

http://www.ams.org/tran/1986-295-02/S0002-9947-1986-0833698-1/S0002-9947-1986-0833698-1.pdf

Reference8 articles.

1. London Mathematical Society Lecture Note Series;Brumfiel, Gregory W.,1979

2. Quantifier elimination for real closed fields by cylindrical algebraic decomposition;Collins, George E.,1975

3. Remarks on Tarski’s problem concerning (𝑅,+,⋅,𝑒𝑥𝑝);van den Dries, Lou,1984

4. Stratifications and mappings;Mather, John N.,1973

5. Definable sets in ordered structures;Pillay, Anand;Bull. Amer. Math. Soc. (N.S.),1984

Cited by 105 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Uniform finiteness and viscerality;Bollettino dell'Unione Matematica Italiana;2024-01-27

2. First-Order Properties;Springer Graduate Texts in Philosophy;2024

3. Definable Tietze extension property in o-minimal expansions of ordered groups;Archive for Mathematical Logic;2023-05-15

4. Decomposition into special submanifolds;Mathematical Logic Quarterly;2023-02

5. A criterion for the strong cell decomposition property;Archive for Mathematical Logic;2023-01-31