O-minimalism

Details O-minimalism O-minimalism

2011-06-06

arxiv.org/abs/1106.1196v1

Mathematics

Logic

Scientific paper

An ordered structure is called o-minimalistic if it has all the first-order features of an o-minimal structure. We propose a theory, DCTC (Definable Completeness/Type Completeness), that describes many properties of o-minimalistic structures (dimension theory, monotonicity, Hardy structures, quasi-cell decomposition). Failure of cell decomposition leads to the related notion of a tame structure, and we give a criterium for an o-minimalistic structure to be tame. To any o-minimalistic structure, we can associate its Grothendieck ring, which in the non-o-minimal case is a non-trivial invariant. To study this invariant, we identify a third o-minimalistic property, the Discrete Pigeonhole Principle, which in turn allows us to define discretely valued Euler characteristics.

Affiliated with

Also associated with

No associations

Rating

O-minimalism does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with O-minimalism, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and O-minimalism will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-24932