On the elementary theory of the real exponential field

Alessandro Berarducci and Francesco Gallinaro

misc2026

Citation key: BerarducciGallinaro2026Rexp
Year: 2026
Cited by: 1 catalog records
Direct source: Available

Reference note

Why this source is in the ledger

Alessandro Berarducci and Francesco Gallinaro, “On the elementary theory of the real exponential field,” arXiv:2603.08365 (2026), https://arxiv.org/abs/2603.08365

Catalog connections

Conjectures citing this source

LOG-DEC-005Decidability of the Real Exponential FieldLogic and foundations

Source record

Bibliographic fields

Inspect the parsed BibTeX fields

author: Alessandro Berarducci and Francesco Gallinaro
note: Alessandro Berarducci and Francesco Gallinaro, “On the elementary theory of the real exponential field,” arXiv:2603.08365 (2026), https://arxiv.org/abs/2603.08365
title: On the elementary theory of the real exponential field,
url: https://arxiv.org/abs/2603.08365
year: 2026