Quantifier elimination for the theory of algebraically closed valued fields with analytic structure

DOI10.1002/MALQ.200610042zbMATH Open1120.03021OpenAlexW2139010598MaRDI QIDQ5293194FDOQ5293194

Authors: Yalın F. Çelikler 

Publication date: 26 June 2007

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

Full work available at URL: https://doi.org/10.1002/malq.200610042

Recommendations

• Quantifier elimination on some pseudo-algebraically closed valued fields
• A formal quantifier elimination for algebraically closed fields
• Quantifier elimination in pairs of algebraically closed fields
• Quantifier elimination for quasi-real closed fields
• SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION
• scientific article; zbMATH DE number 3895043
• scientific article; zbMATH DE number 3935016
• Quantifier elimination for valued fields equipped with an automorphism
• scientific article; zbMATH DE number 4008374
• scientific article; zbMATH DE number 1531894

zbMATH Keywords

quantifier eliminationvalued fieldsanalytic structures

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Analytic cell decomposition and analytic motivic integration
• Analytic difference rings
• Title not available (Why is that?)
• Parameterized stratification and piece number of D-semianalytic sets
• Algebraic properties of separated power series

Cited In (18)

• Real closed valued fields with analytic structure
• Title not available (Why is that?)
• Relative elimination of quantifiers for Henselian valued fields
• Quantifier elimination for quasi-real closed fields
• Some properties of analytic difference valued fields
• Quantifier elimination on some pseudo-algebraically closed valued fields
• SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION
• Quantifier elimination for valued fields equipped with an automorphism
• \(p\)-adically closed fields with nonstandard analytic structure
• Quantifier elimination in valued Ore modules
• Quantifier elimination in pairs of algebraically closed fields
• Tensor products of valued fields
• Fields with analytic structure
• Strictly convergent analytic structures
• Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings
• On some definable sets over fields with analytic structure
• Algebraic properties of separated power series
• Title not available (Why is that?)

This page was built for publication: Quantifier elimination for the theory of algebraically closed valued fields with analytic structure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5293194)