Matches in SemOpenAlex for { <https://semopenalex.org/work/W4245116871> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W4245116871 abstract "We present the real number system as a natural generalization of the natural numbers. First, we prove the co-finite topology, $Cof(mathbb N)$, is isomorphic to the natural numbers. Then, we generalize these results to describe the continuum $[0,1]$. Then we prove the power set $2^{mathbb Z}$ contains a subset isomorphic to the non-negative real numbers, with all its defining structure of operations and order. Finally, we provide two different constructions of the entire real number line. We see that the power set $2^{mathbb N}$ can be given the defining structure of $mathbb R$. The constructions here provided give simple rules for calculating addition, multiplication, subtraction, division, powers and rational powers of real numbers, and logarithms. The supremum and infimum are explicitly constructed by means of a well defined algorithm that ends in denumerable steps. In section 5 we give evidence our construction of $mathbb N$ and $mathbb R$ are canonical; these constructions are as natural as possible. In the same section, we propose a new axiomatic basis for analysis. In the last section we provide a series of graphic representations and physical models that can be used to represent the real number system. We conclude that the system of real numbers is completely defined by the order structure of $mathbb N$.}" @default.
- W4245116871 created "2022-05-12" @default.
- W4245116871 creator A5028923305 @default.
- W4245116871 date "2019-01-09" @default.
- W4245116871 modified "2023-09-24" @default.
- W4245116871 title "A New Set Theory for Analysis" @default.
- W4245116871 doi "https://doi.org/10.20944/preprints201901.0089.v1" @default.
- W4245116871 hasPublicationYear "2019" @default.
- W4245116871 type Work @default.
- W4245116871 citedByCount "0" @default.
- W4245116871 crossrefType "posted-content" @default.
- W4245116871 hasAuthorship W4245116871A5028923305 @default.
- W4245116871 hasBestOaLocation W42451168711 @default.
- W4245116871 hasConcept C100643331 @default.
- W4245116871 hasConcept C110729354 @default.
- W4245116871 hasConcept C111919701 @default.
- W4245116871 hasConcept C114614502 @default.
- W4245116871 hasConcept C118615104 @default.
- W4245116871 hasConcept C134306372 @default.
- W4245116871 hasConcept C167729594 @default.
- W4245116871 hasConcept C177148314 @default.
- W4245116871 hasConcept C177264268 @default.
- W4245116871 hasConcept C184264201 @default.
- W4245116871 hasConcept C199360897 @default.
- W4245116871 hasConcept C2524010 @default.
- W4245116871 hasConcept C2780129039 @default.
- W4245116871 hasConcept C2780595030 @default.
- W4245116871 hasConcept C33923547 @default.
- W4245116871 hasConcept C41008148 @default.
- W4245116871 hasConcept C46875033 @default.
- W4245116871 hasConcept C94020503 @default.
- W4245116871 hasConcept C95611797 @default.
- W4245116871 hasConceptScore W4245116871C100643331 @default.
- W4245116871 hasConceptScore W4245116871C110729354 @default.
- W4245116871 hasConceptScore W4245116871C111919701 @default.
- W4245116871 hasConceptScore W4245116871C114614502 @default.
- W4245116871 hasConceptScore W4245116871C118615104 @default.
- W4245116871 hasConceptScore W4245116871C134306372 @default.
- W4245116871 hasConceptScore W4245116871C167729594 @default.
- W4245116871 hasConceptScore W4245116871C177148314 @default.
- W4245116871 hasConceptScore W4245116871C177264268 @default.
- W4245116871 hasConceptScore W4245116871C184264201 @default.
- W4245116871 hasConceptScore W4245116871C199360897 @default.
- W4245116871 hasConceptScore W4245116871C2524010 @default.
- W4245116871 hasConceptScore W4245116871C2780129039 @default.
- W4245116871 hasConceptScore W4245116871C2780595030 @default.
- W4245116871 hasConceptScore W4245116871C33923547 @default.
- W4245116871 hasConceptScore W4245116871C41008148 @default.
- W4245116871 hasConceptScore W4245116871C46875033 @default.
- W4245116871 hasConceptScore W4245116871C94020503 @default.
- W4245116871 hasConceptScore W4245116871C95611797 @default.
- W4245116871 hasLocation W42451168711 @default.
- W4245116871 hasLocation W42451168712 @default.
- W4245116871 hasOpenAccess W4245116871 @default.
- W4245116871 hasPrimaryLocation W42451168711 @default.
- W4245116871 hasRelatedWork W1531766551 @default.
- W4245116871 hasRelatedWork W2480446702 @default.
- W4245116871 hasRelatedWork W2508096977 @default.
- W4245116871 hasRelatedWork W2910576907 @default.
- W4245116871 hasRelatedWork W2955814494 @default.
- W4245116871 hasRelatedWork W3023227862 @default.
- W4245116871 hasRelatedWork W3123282232 @default.
- W4245116871 hasRelatedWork W4239203488 @default.
- W4245116871 hasRelatedWork W4245116871 @default.
- W4245116871 hasRelatedWork W142164690 @default.
- W4245116871 isParatext "false" @default.
- W4245116871 isRetracted "false" @default.
- W4245116871 workType "article" @default.