Dividing and weak quasidimensions in arbitary theories
Isaac Goldbring, Henry Towsner
TL;DR
This paper demonstrates that for any countable model of a model complete theory, there exists an elementary extension with a quasidimension that can identify dividing, providing new insights into model theory structures.
Contribution
It introduces a pseudofinite-like quasidimension in elementary extensions that detects dividing in countable models of model complete theories.
Findings
Existence of elementary extensions with quasidimension detecting dividing
Quasidimension behaves pseudofinitely in the context of model theory
Advances understanding of dividing in countable models
Abstract
We show that any countable model of a model complete theory has an elementary extension with a "pseudofinite-like" quasidimension that detects dividing.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Advanced Operator Algebra Research · Homotopy and Cohomology in Algebraic Topology