Tarski’s Principle and the Elimination of Quantifiers

Swan, R. G. Tarski’s Principle and the Elimination of Quantifiers.

Type

Web resource

Intellectual base

Web

Link

https://www.math.uchicago.edu/~swan/expo/Tarski.pdf

Cited by

1 citation across 1 artifact.

Domain-specific

• Real Closed Field
  • Tarski proved that their first-order theory in the language of ordered fields admits quantifier elimination and is complete and decidable.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:d0a092c25df1 · see in the full table