Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory
Work
Year: 2010
Type: article
Abstract: In Riesz space theory it is good practice to avoid representation theorems which depend on the axiom of choice. Here we present a general methodology to do this using pointfree topology. To illustrate... more
Source: Order
Author Bas Spitters
Institution Radboud University Nijmegen
Cites: 36
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Topic: Advanced Topics in Algebra
Subfield: Algebra and Number Theory
Field: Mathematics
Domain: Physical Sciences
Open Access status: hybrid
APC paid (est): $2,890