Citations
| 1326 | Functions and their basic properties
- Byliński
- 1990
(Show Context)
Citation Context ...ce, Univ. of Białystok Some Properties of the Intervals MML Identifier:MEASURE6. Józef Białas Łód´z University WWW:http://mizar.org/JFM/Vol6/measure6.html The articles [8], [7], [10], [1], [9], [11], =-=[5]-=-, [6], [2], [3], and [4] provide the notation and terminology for this paper. The following propositions are true: (1) There exists a function F from N into [:N, N:] such that F is one-to-one and domF... |
| 1279 | Tarski Grothendieck set theory
- Trybulec
- 1990
(Show Context)
Citation Context ...hed 2003 Inst. of Computer Science, Univ. of Białystok Some Properties of the Intervals MML Identifier:MEASURE6. Józef Białas Łód´z University WWW:http://mizar.org/JFM/Vol6/measure6.html The articles =-=[8]-=-, [7], [10], [1], [9], [11], [5], [6], [2], [3], and [4] provide the notation and terminology for this paper. The following propositions are true: (1) There exists a function F from N into [:N, N:] su... |
| 1264 | Properties of subsets
- Trybulec
- 1989
(Show Context)
Citation Context ...nst. of Computer Science, Univ. of Białystok Some Properties of the Intervals MML Identifier:MEASURE6. Józef Białas Łód´z University WWW:http://mizar.org/JFM/Vol6/measure6.html The articles [8], [7], =-=[10]-=-, [1], [9], [11], [5], [6], [2], [3], and [4] provide the notation and terminology for this paper. The following propositions are true: (1) There exists a function F from N into [:N, N:] such that F i... |
| 1082 | Functions from a set to a set
- Byliński
- 1990
(Show Context)
Citation Context ...niv. of Białystok Some Properties of the Intervals MML Identifier:MEASURE6. Józef Białas Łód´z University WWW:http://mizar.org/JFM/Vol6/measure6.html The articles [8], [7], [10], [1], [9], [11], [5], =-=[6]-=-, [2], [3], and [4] provide the notation and terminology for this paper. The following propositions are true: (1) There exists a function F from N into [:N, N:] such that F is one-to-one and domF = N ... |
| 1055 | Relations and their basic properties
- Woronowicz
- 1990
(Show Context)
Citation Context ... Science, Univ. of Białystok Some Properties of the Intervals MML Identifier:MEASURE6. Józef Białas Łód´z University WWW:http://mizar.org/JFM/Vol6/measure6.html The articles [8], [7], [10], [1], [9], =-=[11]-=-, [5], [6], [2], [3], and [4] provide the notation and terminology for this paper. The following propositions are true: (1) There exists a function F from N into [:N, N:] such that F is one-to-one and... |
| 796 | Some basic properties of sets
- Byliński
- 1989
(Show Context)
Citation Context ...003 Inst. of Computer Science, Univ. of Białystok Some Properties of the Intervals MML Identifier:MEASURE6. Józef Białas Łód´z University WWW:http://mizar.org/JFM/Vol6/measure6.html The articles [8], =-=[7]-=-, [10], [1], [9], [11], [5], [6], [2], [3], and [4] provide the notation and terminology for this paper. The following propositions are true: (1) There exists a function F from N into [:N, N:] such th... |
| 726 | The ordinal numbers
- Bancerek
- 1990
(Show Context)
Citation Context ...f Computer Science, Univ. of Białystok Some Properties of the Intervals MML Identifier:MEASURE6. Józef Białas Łód´z University WWW:http://mizar.org/JFM/Vol6/measure6.html The articles [8], [7], [10], =-=[1]-=-, [9], [11], [5], [6], [2], [3], and [4] provide the notation and terminology for this paper. The following propositions are true: (1) There exists a function F from N into [:N, N:] such that F is one... |
| 355 |
Subsets of real numbers
- Trybulec
(Show Context)
Citation Context ...puter Science, Univ. of Białystok Some Properties of the Intervals MML Identifier:MEASURE6. Józef Białas Łód´z University WWW:http://mizar.org/JFM/Vol6/measure6.html The articles [8], [7], [10], [1], =-=[9]-=-, [11], [5], [6], [2], [3], and [4] provide the notation and terminology for this paper. The following propositions are true: (1) There exists a function F from N into [:N, N:] such that F is one-to-o... |
| 31 | Series of positive real numbers. Measure theory
- Białas
- 1991
(Show Context)
Citation Context ...ałystok Some Properties of the Intervals MML Identifier:MEASURE6. Józef Białas Łód´z University WWW:http://mizar.org/JFM/Vol6/measure6.html The articles [8], [7], [10], [1], [9], [11], [5], [6], [2], =-=[3]-=-, and [4] provide the notation and terminology for this paper. The following propositions are true: (1) There exists a function F from N into [:N, N:] such that F is one-to-one and domF = N and rngF =... |
| 30 | Infimum and supremum of the set of real numbers. Measure theory
- Białas
- 1991
(Show Context)
Citation Context ...of Białystok Some Properties of the Intervals MML Identifier:MEASURE6. Józef Białas Łód´z University WWW:http://mizar.org/JFM/Vol6/measure6.html The articles [8], [7], [10], [1], [9], [11], [5], [6], =-=[2]-=-, [3], and [4] provide the notation and terminology for this paper. The following propositions are true: (1) There exists a function F from N into [:N, N:] such that F is one-to-one and domF = N and r... |
| 6 | Properties of the intervals of real numbers
- Białas
- 1992
(Show Context)
Citation Context ...ome Properties of the Intervals MML Identifier:MEASURE6. Józef Białas Łód´z University WWW:http://mizar.org/JFM/Vol6/measure6.html The articles [8], [7], [10], [1], [9], [11], [5], [6], [2], [3], and =-=[4]-=- provide the notation and terminology for this paper. The following propositions are true: (1) There exists a function F from N into [:N, N:] such that F is one-to-one and domF = N and rngF = [:N, N:]... |
