Publications > Preprint server > Preprint Number 2434
Preprint Number 2434
2434. Henry Towsner From Saturated Embedding Tests to Explicit Algorithms E-mail: Submission date: 21 June 2023 Abstract:
Quantifier elimination theorems show that each formula in a certain theory is
equivalent to a formula of a specific form -- usually a quantifier-free one,
sometimes in an extended language. Model theoretic embedding tests are a
frequently used tool for proving such results without providing an explicit
algorithm. Mathematics Subject Classification: Keywords and phrases: |
Last updated: June 28 2023 11:19 | Please send your corrections to: |