Model completion of scaled lattices and co‐Heyting algebras of p‐adic semi‐algebraic sets

DOI10.1002/malq.201800021OpenAlexW2981653893MaRDI QIDQ5108866

Luck Darnière

Publication date: 6 May 2020

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

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

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Quantifier elimination, model completeness, and related topics (03C10) Distributive lattices (06D99)

Related Items (1)

Defining integer-valued functions in rings of continuous definable functions over a topological field

Cites Work

• Unnamed Item
• Unnamed Item
• Codimension and pseudometric in co-Heyting algebras
• Model completions and r-Heyting categories
• Tame topology over dp-minimal structures
• A version of o-minimality for the p-adics
• Model-completion of varieties of co-Heyting algebras
• On the strength of some topological lattices
• Semi‐algebraic triangulation over p‐adically closed fields
• EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES
• Decidability of Second-Order Theories and Automata on Infinite Trees
• TOPOLOGICAL CELL DECOMPOSITION AND DIMENSION THEORY IN P-MINIMAL FIELDS
• Undecidability of Some Topological Theories

This page was built for publication: Model completion of scaled lattices and co‐Heyting algebras of p‐adic semi‐algebraic sets