Semivaluations on Heyting fields (Q2723981)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Semivaluations on Heyting fields |
scientific article; zbMATH DE number 1615317
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semivaluations on Heyting fields |
scientific article; zbMATH DE number 1615317 |
Statements
8 July 2001
0 references
semivaluation
0 references
Heyting field
0 references
cosubring
0 references
antiorder
0 references
apartness
0 references
constructive mathematics
0 references
Semivaluations on Heyting fields (English)
0 references
A special theory of semivaluations on fields with semivalue group equipped with an antiorder relation is developed. Let \(K\) be a Heyting field and let \(D\) be a cosubring of \(K\). A semivaluation associated with the cosubring \(D\) is constructed. Finally, connections between the theory of Abelian groups with an antiorder relation and field theory are considered.
0 references
