Showing changes from revision #2 to #3:
Added | Removed | Changed
The -large Dedekind real closed intervals for a universe is defined as the type of -interval cuts on the rational numbers in a universe: .
The -Dedekind real closed intervals for a $\sigma$-frame is defined as the type of -interval cuts on the rational numbers : .
Last revised on June 10, 2022 at 15:05:23. See the history of this page for a list of all contributions to it.