The rational field is not universally definable in pseudo-exponentiation

DOI10.4064/FM232-1-6zbMath1412.03016arXiv1407.1068OpenAlexW3099595646MaRDI QIDQ3195141

Jonathan Kirby

Publication date: 21 October 2015

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

This page was built for publication: The rational field is not universally definable in pseudo-exponentiation