Source author record

Charles Steinhorn

Charles Steinhorn appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

3works
1topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2014arXiv

Decomposable ordered groups

Decomposable ordered structures were introduced in \cite{OnSt} to develop a general framework to study `finite-dimensional' totally ordered structures. This paper continues this work to include decomposable structures on which a ordered group operation is defined on the structure. The main result at this level of generality asserts that any such group is supersolvable, and that topologically it is homeomorphic to the product of o-minimal groups. Then, working in an o-minimal ordered field $\mathcal R$ satisfying some additional assumptions, in Sections 3-7 definable ordered groups of dimension 2 and 3 are completely analyzed modulo definable group isomorphism. Lastly, this analysis is refined to provide a full description of these groups with respect to definable ordered group isomorphism.

preprint2014arXiv

Pseudofinite structures and simplicity

We explore a notion of pseudofinite dimension, introduced by Hrushovski and Wagner, on an infinite ultraproduct of finite structures. Certain conditions on pseudofinite dimension are identified that guarantee simplicity or supersimplicity of the underlying theory, and that a drop in pseudofinite dimension is equivalent to forking. Under a suitable assumption, a measure-theoretic condition is shown to be equivalent to local stability. Many examples are explored, including vector spaces over finite fields viewed as 2-sorted finite structures, and homocyclic groups. Connections are made to products of sets in finite groups, in particular to word maps, and a generalization of Tao's algebraic regularity lemma is noted.