Algebraic real analysis
Theory and applications of categories, Tome 20 (2008), pp. 215-306
Voir la notice de l'article provenant de la source Theory and Applications of Categories website
An effort to initiate the subject of the title: the basic tool is the study of the abstract closed interval equipped with certain equational structures.
Classification :
03B45, 03B50, 03B70, 03D15, 03F52, 03F55, 03G20, 03G25, 03G30, 08A99, 18B25, 18B30, 18F20, 26E40, 28E99, 46M99, 34A99
Keywords: algebraic real analysis, closed interval, closed midpoint algebra, chromatic scale, coalgebraic real analysis, complete scale, finitely presented scale, free scale, harmonic scale, injective scale, lattice-ordered abelian group, linear logic, Lipschitz extension, Lukasiewicz logic, midpoint algebra, minor scale, modal logic, ordered wedge, scale, semi-simple scale, simple scale, zoom operator
Keywords: algebraic real analysis, closed interval, closed midpoint algebra, chromatic scale, coalgebraic real analysis, complete scale, finitely presented scale, free scale, harmonic scale, injective scale, lattice-ordered abelian group, linear logic, Lipschitz extension, Lukasiewicz logic, midpoint algebra, minor scale, modal logic, ordered wedge, scale, semi-simple scale, simple scale, zoom operator
@article{TAC_2008_20_a9,
author = {Peter Freyd},
title = {Algebraic real analysis},
journal = {Theory and applications of categories},
pages = {215--306},
publisher = {mathdoc},
volume = {20},
year = {2008},
language = {en},
url = {http://geodesic.mathdoc.fr/item/TAC_2008_20_a9/}
}
Peter Freyd. Algebraic real analysis. Theory and applications of categories, Tome 20 (2008), pp. 215-306. http://geodesic.mathdoc.fr/item/TAC_2008_20_a9/