✦ LIBER ✦

Σ-Definability of countable structures over real numbers, complex numbers, and quaternions

✍ Scribed by A. S. Morozov; M. V. Korovina

Publisher: Springer US
Year: 2008
Tongue: English
Weight: 592 KB
Volume: 47
Category: Article
ISSN: 0002-5232
DOI: 10.1007/s10469-008-9009-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Σ-definability without equality over

On Σ-definability without equality over the real numbers

✍ Andrei S. Morozov; Margarita V. Korovina 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 139 KB

## Abstract In [5] (1982) it has been shown that for first‐order definability over the reals there exists an effective procedure which by a finite formula with equality defining an open set produces a finite formula without equality that defines the same set. In this paper we prove that there exist

About the maximal rank of 3-tensors over

About the maximal rank of 3-tensors over the real and the complex number field

✍ Toshio Sumi; Mitsuhiro Miyazaki; Toshio Sakata 📂 Article 📅 2010 🏛 Springer Japan 🌐 English ⚖ 213 KB

Diophantine Definability and Decidabilit

Diophantine Definability and Decidability in Large Subrings of Totally Real Number Fields and Their Totally Complex Extensions of Degree 2

✍ Alexandra Shlapentokh 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 257 KB

Let M be a number field. Let W be a set of non-archimedean primes of M. Let O M;W ¼ fx 2 M j ord p x50 8peW g: The author continues her investigation of Diophantine definability and decidability in rings O M;W where W is infinite. In this paper, she improves her previous density estimates and exten