Point-free construction of real exponentiation (Q5101348)
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 7577579
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Point-free construction of real exponentiation |
scientific article; zbMATH DE number 7577579 |
Statements
30 August 2022
0 references
constructive analysis
0 references
exponentiation
0 references
logarithm
0 references
point-free topology
0 references
geometric logic
0 references
places
0 references
0.716240644454956
0 references
0.6849708557128906
0 references
0.673658549785614
0 references
0.6733213663101196
0 references
