### 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:]... |