Basic Properties of Rational Numbers

@inproceedings{Kondracki1990BasicPO,
  title={Basic Properties of Rational Numbers},
  author={Andrzej Kondracki},
  year={1990}
}
  • Andrzej Kondracki
  • Published 1990
The articles [7], [4], [10], [2], [3], [8], [5], [1], [6], and [9] provide the notation and terminology for this paper. For simplicity, we adopt the following convention: x denotes a set, a, b denote real numbers, k k1, l denote natural numbers, and m, m1, n denote integers. Let i be an integer number. Observe that |i| is natural. Let us consider k. Then|k| is a natural number. Q can be characterized by the condition: (Def. 1) x∈Q iff there existm, n such thatx = n . Let r be a number. We say… CONTINUE READING
Highly Cited
This paper has 84 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
58 Citations
8 References
Similar Papers

Citations

Publications citing this paper.

84 Citations

01020'90'96'03'10'17
Citations per Year
Semantic Scholar estimates that this publication has 84 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-8 of 8 references

Basic properties of real numbers

  • Krzysztof Hryniewiecki
  • Journal of Formalized Mathematics ,
  • 1989
1 Excerpt

Properties of subsets

  • Zinaida Trybulec
  • Journal of Formalized Mathematics ,
  • 1989
1 Excerpt

Some basic properties of sets

  • Czesław Bylí nski
  • Journal of Formalized Mathematics ,
  • 1989
1 Excerpt

Some properties of functions modul and signum

  • Jan Popiołek
  • Journal of Formalized Mathematics ,
  • 1989
1 Excerpt

Tarski Grothendieck set theory

  • Andrzej Trybulec
  • Journal of Formalized
  • 1989
1 Excerpt

Similar Papers

Loading similar papers…