Co-ideals and co-filters in ordered set under co-quasiorder (Q5233371)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7103390
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Co-ideals and co-filters in ordered set under co-quasiorder |
scientific article; zbMATH DE number 7103390 |
Statements
10 September 2019
0 references
Bishop's constructive mathematics
0 references
set with apartness
0 references
coequality
0 references
co-order and co-quasiorder relations
0 references
co-filter and co-ideal
0 references
0.8431833386421204
0 references
0.812825083732605
0 references
0.7970395088195801
0 references
0.7839844226837158
0 references
