Vol. 12, No. 3, 2019
Download this article
Download this article For screen
For printing
Recent Issues

Volume 17
Issue 5, 723–899
Issue 4, 543–722
Issue 3, 363–541
Issue 2, 183–362
Issue 1, 1–182

Volume 16, 5 issues

Volume 15, 5 issues

Volume 14, 5 issues

Volume 13, 5 issues

Volume 12, 8 issues

Volume 11, 5 issues

Volume 10, 5 issues

Volume 9, 5 issues

Volume 8, 5 issues

Volume 7, 6 issues

Volume 6, 4 issues

Volume 5, 4 issues

Volume 4, 4 issues

Volume 3, 4 issues

Volume 2, 5 issues

Volume 1, 2 issues

The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
Editors' interests
 
Subscriptions
 
ISSN 1944-4184 (online)
ISSN 1944-4176 (print)
 
Author index
To appear
 
Other MSP journals
Darboux calculus

Marco Aldi and Alexander McCleary

Vol. 12 (2019), No. 3, 361–380
DOI: 10.2140/involve.2019.12.361
Abstract

We introduce a formalism to analyze partially defined functions between ordered sets. We show that our construction provides a uniform and conceptual approach to all the main definitions encountered in elementary real analysis including Dedekind cuts, limits and continuity.

Keywords
partially ordered sets, Kan extensions, foundations of real analysis
Mathematical Subject Classification 2010
Primary: 06A06, 06A11, 18B35, 26A06, 97I10
Milestones
Received: 6 May 2016
Revised: 20 December 2017
Accepted: 22 May 2018
Published: 14 December 2018

Communicated by Kenneth S. Berenhaut
Authors
Marco Aldi
Department of Mathematics and Applied Mathematics
Virginia Commonwealth University
Richmond, VA
United States
Alexander McCleary
Department of Mathematics
Colorado State University
Fort Collins, CO
United States