An Alternative to Real Number Axioms

In the present paper we consider one of the basic theorems of probability theory on real numbers. We prove that it is equivalent with the supremum axiom of real numbers.

Bibliographic Details
Main Authors: Igor Líška, Beloslav Riečan, Anna Tirpáková
Format: Article
Language:English
Published: MDPI AG 2018-08-01
Series:Axioms
Subjects:
Online Access:http://www.mdpi.com/2075-1680/7/3/59
_version_ 1798043977728917504
author Igor Líška
Beloslav Riečan
Anna Tirpáková
author_facet Igor Líška
Beloslav Riečan
Anna Tirpáková
author_sort Igor Líška
collection DOAJ
description In the present paper we consider one of the basic theorems of probability theory on real numbers. We prove that it is equivalent with the supremum axiom of real numbers.
first_indexed 2024-04-11T22:56:32Z
format Article
id doaj.art-ba8178ad7197448a9777af1726271cfa
institution Directory Open Access Journal
issn 2075-1680
language English
last_indexed 2024-04-11T22:56:32Z
publishDate 2018-08-01
publisher MDPI AG
record_format Article
series Axioms
spelling doaj.art-ba8178ad7197448a9777af1726271cfa2022-12-22T03:58:24ZengMDPI AGAxioms2075-16802018-08-01735910.3390/axioms7030059axioms7030059An Alternative to Real Number AxiomsIgor Líška0Beloslav Riečan1Anna Tirpáková2Department of Mathematics, Faculty of Natural Sciences, Matej Bel University, Tajovského 40, 974 01 Banská Bystrica, SlovakiaDepartment of Mathematics, Faculty of Natural Sciences, Matej Bel University, Tajovského 40, 974 01 Banská Bystrica, SlovakiaDepartment of Mathematics, Faculty of Natural Sciences, Constantine the Philosopher University in Nitra, Tr. A. Hlinku 1, 949 74 Nitra, SlovakiaIn the present paper we consider one of the basic theorems of probability theory on real numbers. We prove that it is equivalent with the supremum axiom of real numbers.http://www.mdpi.com/2075-1680/7/3/59supremum axiom of real numbersequivalence of axiomsdistribution function
spellingShingle Igor Líška
Beloslav Riečan
Anna Tirpáková
An Alternative to Real Number Axioms
Axioms
supremum axiom of real numbers
equivalence of axioms
distribution function
title An Alternative to Real Number Axioms
title_full An Alternative to Real Number Axioms
title_fullStr An Alternative to Real Number Axioms
title_full_unstemmed An Alternative to Real Number Axioms
title_short An Alternative to Real Number Axioms
title_sort alternative to real number axioms
topic supremum axiom of real numbers
equivalence of axioms
distribution function
url http://www.mdpi.com/2075-1680/7/3/59
work_keys_str_mv AT igorliska analternativetorealnumberaxioms
AT beloslavriecan analternativetorealnumberaxioms
AT annatirpakova analternativetorealnumberaxioms
AT igorliska alternativetorealnumberaxioms
AT beloslavriecan alternativetorealnumberaxioms
AT annatirpakova alternativetorealnumberaxioms