Axiomatic set theory is a foundational system of mathematics and has important applications in many fields. In this work, we present a formal system of axiomatic set theory based on the Coq proof ...

The student will be aquainted with the Zermelo-Fraenkel axiom system ZFC for set theory with the axiom of choice and with how ZFC may serve as a formalization of mathematics. In the first part, ...

3 hours of lectures per week in common with the course MAT4640 – Axiomatic Set Theory (discontinued). In addition, students following the course will be given some extra hours of common academic ...

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community. Issues are used to track todos, bugs, feature requests, and more.

Abstract: Array theory combines APL with set theory, transfinite arithmetic, and operationally transformed functions to produce an axiomatic theory in which the theorems hold for all arrays having any ...

The question will be approached through an historical examination of how set theory came to occupy its present position (however one wants to characterize that position). No substantial previous ...

Abstract: This book introduces the basic concepts of set theory, measure theory, the axiomatic theory of probability, random variables and multidimensional random variables, functions of random ...

He was born in Hungary and grew up in Budapest. Ajtai studied mathematics at the Eotvos Lorand University in Budapest and got his Ph.D. in mathematics (axiomatic set theory) at the Hungarian Academy ...