A criterion for uniform finiteness in the imaginary sorts

DOI10.1007/s00153-021-00803-5OpenAlexW3216110421MaRDI QIDQ2144623

Will Johnson

Publication date: 14 June 2022

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2001.01528

zbMATH Keywords

C-minimalityinterpretable setsuniform finiteness

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Other classical first-order model theory (03C68)

Cites Work

• Cell decompositions of \(C\)-minimal structures
• On variants of \(o\)-minimality
• Definable sets in algebraically closed valued fields: elimination of imaginaries
• On definable subsets of p-adic fields
• One-dimensional fibers of rigid subanalytic sets
• Canonical forms for definable subsets of algebraically closed and real closed valued fields
• Unexpected imaginaries in valued fields with analytic structure

This page was built for publication: A criterion for uniform finiteness in the imaginary sorts