A version of p-adic minimality

DOI10.2178/jsl/1333566641zbMath1251.03042OpenAlexW2151489931MaRDI QIDQ2892680

Raf Cluckers, Eva Leenknegt

Publication date: 19 June 2012

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1333566641

zbMATH Keywords

quantifier eliminationo-minimalitycell decomposition\(p\)-adically closed fields\(P\)-minimality

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10) Formally (p)-adic fields (12J12)

Related Items (7)

Polytopes and simplexes in \(p\)-adic fields ⋮ Cell decomposition for semibounded \(p\)-adic sets ⋮ Clustered cell decomposition in \(P\)-minimal structures ⋮ Definable completeness of P-minimal fields and applications ⋮ Reducts of \(p\)-adically closed fields ⋮ CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS INp-OPTIMAL FIELDS ⋮ Cell decomposition and definable functions for weakp-adic structures

Cites Work

• Unnamed Item
• \(p\)-adic and real subanalytic sets
• Formally \(p\)-adic fields
• On variants of \(o\)-minimality
• Cross-sections for \(p\)-adically closed fields
• On the structure of semialgebraic sets over p-adic fields
• Cell decomposition forP-minimal fields
• b-MINIMALITY
• One-Dimensional p -Adic Subanalytic Sets
• A version of o-minimality for the p-adics

This page was built for publication: A version of p-adic minimality