Decidability of first-order theories of the real numbers
id:
decidability-of-first-order-theories-of-the-real-numbers-256-9291990
title:
Decidability of first-order theories of the real numbers
text:
In mathematical logic, a first-order language of the real numbers is the set of all well-formed sentences of first-order logic that involve universal and existential quantifiers and logical combinations of equalities and inequalities of expressions over real variables. The corresponding first-order theory is the set of sentences that are actually true of the real numbers. There are several different such theories, with different expressive power, depending on the primitive operations that are al
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Decidability_of_first-order_theories_of_the_real_numbers
date created:
date modified:
2024-04-25T23:15:46Z
main entity:
{"identifier":"Q4060681","url":"https://www.wikidata.org/entity/Q4060681"}
image:
fields total:
13
integrity:
13