Add to ORKGAbstract: This work proposes set-theory in which the concept of a set depends on it's constructions process. Owing to that the class of ordinals is well ordered, therefore continuum-problem does not exist. This publication contains not formal account, axiomatization would be described in second part.Note: Research direction:Mathematical problems and theory of numerical method
The notion of ordinal computability is dened by generalising standard Turing computability on tapes ...
This work is about formalizing models of various type theories of the Calculus of Constructions fa...
We describe a model-theoretic approach to ordinal analysis via the finite combinatorial notion of an...
Set theory is the field of study surrounding sets, and in this particular development, the study of ...
The purpose of this paper is to present a discussion on the basic fundamentals of the theory of sets...
Abstract. This paper will present a brief set-theoretic construction of the natural numbers before d...
at one is isomorphic to an initial segment of the other, and that the wellorderings can be canonical...
Summary. We present the choice function rule in the beginning of the article. In the main part of th...
Three concepts of ordinal numbers are examined with a view to their intuitiveriess and existence in ...
In this paper we prove of the continuum hypothesis, by proving that the theory of initial ordinals a...
The Kinds of Mathematical Objects is an exploration of the taxonomy of the mathematical realm and th...
The next two chapters deal with Set Theory and some related topics from Discrete Mathematics. This c...
This paper begins an axiomatic development of naive set theory—the consequences of a full comprehens...
Pobliža objašnjenja pojmova rednih i kardinalnih brojeva i njihove povezanosti s hipotezom kontinuu...
There are two ways of thinking about the natural numbers: as ordinal numbers or as cardinal numbers....
The notion of ordinal computability is dened by generalising standard Turing computability on tapes ...
This work is about formalizing models of various type theories of the Calculus of Constructions fa...
We describe a model-theoretic approach to ordinal analysis via the finite combinatorial notion of an...
Set theory is the field of study surrounding sets, and in this particular development, the study of ...
The purpose of this paper is to present a discussion on the basic fundamentals of the theory of sets...
Abstract. This paper will present a brief set-theoretic construction of the natural numbers before d...
at one is isomorphic to an initial segment of the other, and that the wellorderings can be canonical...
Summary. We present the choice function rule in the beginning of the article. In the main part of th...
Three concepts of ordinal numbers are examined with a view to their intuitiveriess and existence in ...
In this paper we prove of the continuum hypothesis, by proving that the theory of initial ordinals a...
The Kinds of Mathematical Objects is an exploration of the taxonomy of the mathematical realm and th...
The next two chapters deal with Set Theory and some related topics from Discrete Mathematics. This c...
This paper begins an axiomatic development of naive set theory—the consequences of a full comprehens...
Pobliža objašnjenja pojmova rednih i kardinalnih brojeva i njihove povezanosti s hipotezom kontinuu...
There are two ways of thinking about the natural numbers: as ordinal numbers or as cardinal numbers....
The notion of ordinal computability is dened by generalising standard Turing computability on tapes ...
This work is about formalizing models of various type theories of the Calculus of Constructions fa...
We describe a model-theoretic approach to ordinal analysis via the finite combinatorial notion of an...