Definable types in the theory of closed ordered differential fields (Q512139): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03C64 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 12L12 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 12H05 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6688539 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
definable type | |||
| Property / zbMATH Keywords: definable type / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
differential field | |||
| Property / zbMATH Keywords: differential field / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
real closed field | |||
| Property / zbMATH Keywords: real closed field / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Dedekind completeness | |||
| Property / zbMATH Keywords: Dedekind completeness / rank | |||
Normal rank | |||
Revision as of 03:04, 1 July 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Definable types in the theory of closed ordered differential fields |
scientific article |
Statements
Definable types in the theory of closed ordered differential fields (English)
0 references
24 February 2017
0 references
definable type
0 references
differential field
0 references
real closed field
0 references
Dedekind completeness
0 references
