Definable Sets in Mann Pairs (Q3098164): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q1812782 |
Changed an Item |
||
| Property / author | |||
| Property / author: L. P. D. van den Dries / rank | |||
Normal rank | |||
Revision as of 14:43, 29 February 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Definable Sets in Mann Pairs |
scientific article |
Statements
Definable Sets in Mann Pairs (English)
0 references
17 November 2011
0 references
definability
0 references
Mann pairs
0 references
quantifier elimination
0 references
