Stairs of Natural Set Theories

Maydim A. Malkov

doi:doi:10.11648/j.pamj.20140303.11

| Peer-Reviewed

Stairs of Natural Set Theories

Maydim A. Malkov

Published in Pure and Applied Mathematics Journal (Volume 3, Issue 3)

Received: 15 May 2014 Accepted: 3 June 2014 Published: 10 June 2014

Views: Downloads:

Download PDF

Share This Article

Twitter
Linked In
Facebook

Abstract

All contemporary set theories have intersected classes. We have built the stairs of set theories with disjoint classes. We call such theories natural. We numerate these theories by ordinals. The first set theory is T_0. We build the theory from the set N of natural numbers by using the operations of direct products and of power set by finite times. The theory contains all results of Cantor’s theory. We argue that the theory can satisfy all needs of applied mathematics. We build theory T_1 by using the universe set of all sets of T_0 and by using the operations of direct products and of power set by finite times. We build theory T_α+1 from the set of previous by using the operations of direct products and of power set by finite times, too. We build theory T_ω from the set of all sets of T_α with α < ω again by using the operations of direct products and of power set by finite times. And so on for every theory T_α, if theory T_α-1 does not exists. We use the join of all these sets to build theory T_On without operation of power set. We call members of T_On families, members of families sets, families, which are not members of families, up-sets. Families are an analog of classes of the MK set theory and up-sets are an analog of proper classes of MK theory. The theory T_On is more strong than MK theory because we use more strong axiom of comprehension. The last theory T_On+1 is external to T_On. We use T_On+1 to prove those theorems of T_On that are unproved in T_On.

Published in	Pure and Applied Mathematics Journal (Volume 3, Issue 3)
DOI	10.11648/j.pamj.20140303.11
Page(s)	49-65
Creative Commons	This is an Open Access article, distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution and reproduction in any medium or format, provided the original work is properly cited.
Copyright	Copyright © The Author(s), 2014. Published by Science Publishing Group

Keywords

Set theory, Classifications, Disjoint classes of sets, Cantor ordinals, Cantor cardinals, Comprehension axiom

References

[1]	G. Cantor, 1874, Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen, J. reine and angew. Math. 77, 258-262.
[2]	B. Russell, 1903, The Principles of Mathematics, Cambridge University Press.
[3]	B. Russell, 1908, Mathematical logic as based on the theory of types, Amer. J. of Math. 30, 222-262.
[4]	E. Zermelo, 1908, Untersuchungen über die Grundlagen der Mengenlehre, Math. Ann., 65, 261-281.
[5]	K. Gödel, 1931, Über formal untentschedibare Saetze der Principia Mathematica und verwandter Systeme I, Monatsh Math. Phys., 38, 349-360.
[6]	A. Tarski, 1931, Sur les ensembles definissables de nombres reels I, Fund. Math., 17, 210-239.
[7]	W. Quine, 1937, New foundations for mathematical logic, Am. Math. Monthly, 44, 70-80.
[8]	W. Quine, 1940, Mathematical logic, Cambridge Mass.
[9]	A. Church, 1940, A formulation of the simple theory of types, J. of Symb. Log. 5(2), 56-68.
[10]	Hao Wang, 1954, The formalization of mathematics, J. of Symb. Log., 19, 241-266.
[11]	A. Fraenkel, 1922, Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre, Math. Annalen, 86, 230-237.
[12]	J. Neumann, 1925-1928, Eine Axiomatizierung der Mengenlehre, J. für Math., 154, 219-240 (1925); Die Axiomatizierung der Mengenlehre, Math. Z., 27, 669-752 (1928).
[13]	R.M. Robinson, 1937, The Theory of the Classes. A modification of von Neumann’s system, J. of Symb. Log., 2, 69-72.
[14]	P. Bernays, 1937-1954, A system of axiomatic set theory, J. of Symb. Logic, I: 2, 65-77 (1937), II: 6, 1-17 (1941), (1942), III: 7, 65-89 (1942), IV: 7, 133-145 (1942), V: 8, 89-106 (1943), VI: 13, 65-79 (1948), VII: 19, 81-96 (1954).
[15]	K. Gödel, 1940, The consistency of the axiom of choice and of the generalized continuum hypothesis with axioms of set theory, Princeton.
[16]	J. Kelley, 1955, General topology, Van Nostrand.
[17]	A. Morse, 1965, A teory of sets, Acadimiv Press.
[18]	G. Boolos, 1971, The iterative conception of set, J. of phil. 68 215-231.
[19]	P. Maddy, 1988, Believing the Axioms, J. of Symb. Log. I: 53(2), 481-511; II: 53(3), 736-764.
[20]	W. Woodin, 2001, The continuum hypothesis, part II, Notices of Amer. Math. Soc. 48(7), 681-690.
[21]	A. Kanamori, 2003, The Higher Infinite: Large Cardinals in Set Theory from their beginnings (2nd ed.), Springer.
[22]	J.R. Steel, 2000, Mathematics needs new axioms, Bull. Symb. Log., 6 422-433.
[23]	M. Foreman, A. Kanamory, ed., 2010, Handbook of set theory, v. 1-3, Springer.
[24]	E. Mendelson, 2013, Introduction to mathematical logic, 5th edition, Chapman and Hall.
[25]	D. Scott, 1965, Logic with denumerably long formulas and finite strings of quantifiers, in Proceedings of the 1963 International Symposium, Theory of Models, Berkeley, 329-341.

Cite This Article

Plain Text BibTeX RIS

APA Style

Maydim A. Malkov. (2014). Stairs of Natural Set Theories. Pure and Applied Mathematics Journal, 3(3), 49-65. https://doi.org/10.11648/j.pamj.20140303.11

Copy | Download

ACS Style

Maydim A. Malkov. Stairs of Natural Set Theories. Pure Appl. Math. J. 2014, 3(3), 49-65. doi: 10.11648/j.pamj.20140303.11

Copy | Download

AMA Style

Maydim A. Malkov. Stairs of Natural Set Theories. Pure Appl Math J. 2014;3(3):49-65. doi: 10.11648/j.pamj.20140303.11

Copy | Download

@article{10.11648/j.pamj.20140303.11,
  author = {Maydim A. Malkov},
  title = {Stairs of Natural Set Theories},
  journal = {Pure and Applied Mathematics Journal},
  volume = {3},
  number = {3},
  pages = {49-65},
  doi = {10.11648/j.pamj.20140303.11},
  url = {https://doi.org/10.11648/j.pamj.20140303.11},
  eprint = {https://article.sciencepublishinggroup.com/pdf/10.11648.j.pamj.20140303.11},
  abstract = {All contemporary set theories have intersected classes. We have built the stairs of set theories with disjoint classes. We call such theories natural. We numerate these theories by ordinals. The first set theory is T_0. We build the theory from the set N of natural numbers by using the operations of direct products and of power set by finite times. The theory contains all results of Cantor’s theory. We argue that the theory can satisfy all needs of applied mathematics. We build theory T_1 by using the universe set of all sets of T_0 and by using the operations of direct products and of power set by finite times. We build theory T_α+1 from the set of previous by using the operations of direct products and of power set by finite times, too. We build theory T_ω from the set of all sets of T_α with α < ω again by using the operations of direct products and of power set by finite times. And so on for every theory T_α, if theory T_α-1 does not exists. We use the join of all these sets to build theory T_On without operation of power set. We call members of T_On families, members of families  sets, families, which are not members of families,  up-sets. Families are an analog of classes of the MK set theory and up-sets are an analog of proper classes of MK theory. The theory T_On is more strong than MK theory because we use more strong axiom of comprehension. The last theory T_On+1 is external to T_On. We use T_On+1 to prove those theorems of T_On that are unproved in T_On.},
 year = {2014}
}

Copy | Download

TY - JOUR
T1 - Stairs of Natural Set Theories
AU - Maydim A. Malkov
Y1 - 2014/06/10
PY - 2014
N1 - https://doi.org/10.11648/j.pamj.20140303.11
DO - 10.11648/j.pamj.20140303.11
T2 - Pure and Applied Mathematics Journal
JF - Pure and Applied Mathematics Journal
JO - Pure and Applied Mathematics Journal
SP - 49
EP - 65
PB - Science Publishing Group
SN - 2326-9812
UR - https://doi.org/10.11648/j.pamj.20140303.11
AB - All contemporary set theories have intersected classes. We have built the stairs of set theories with disjoint classes. We call such theories natural. We numerate these theories by ordinals. The first set theory is T_0. We build the theory from the set N of natural numbers by using the operations of direct products and of power set by finite times. The theory contains all results of Cantor’s theory. We argue that the theory can satisfy all needs of applied mathematics. We build theory T_1 by using the universe set of all sets of T_0 and by using the operations of direct products and of power set by finite times. We build theory T_α+1 from the set of previous by using the operations of direct products and of power set by finite times, too. We build theory T_ω from the set of all sets of T_α with α < ω again by using the operations of direct products and of power set by finite times. And so on for every theory T_α, if theory T_α-1 does not exists. We use the join of all these sets to build theory T_On without operation of power set. We call members of T_On families, members of families sets, families, which are not members of families, up-sets. Families are an analog of classes of the MK set theory and up-sets are an analog of proper classes of MK theory. The theory T_On is more strong than MK theory because we use more strong axiom of comprehension. The last theory T_On+1 is external to T_On. We use T_On+1 to prove those theorems of T_On that are unproved in T_On.
VL - 3
IS - 3
ER -

Copy | Download

Author Information

Maydim A. Malkov

Russian Research Center for Artificial Intelligence, Moscow, Russia

Download PDF

Sections

Plain Text BibTeX RIS

APA Style

Maydim A. Malkov. (2014). Stairs of Natural Set Theories. Pure and Applied Mathematics Journal, 3(3), 49-65. https://doi.org/10.11648/j.pamj.20140303.11

Copy | Download

ACS Style

Maydim A. Malkov. Stairs of Natural Set Theories. Pure Appl. Math. J. 2014, 3(3), 49-65. doi: 10.11648/j.pamj.20140303.11

Copy | Download

AMA Style

Maydim A. Malkov. Stairs of Natural Set Theories. Pure Appl Math J. 2014;3(3):49-65. doi: 10.11648/j.pamj.20140303.11

Copy | Download

@article{10.11648/j.pamj.20140303.11,
  author = {Maydim A. Malkov},
  title = {Stairs of Natural Set Theories},
  journal = {Pure and Applied Mathematics Journal},
  volume = {3},
  number = {3},
  pages = {49-65},
  doi = {10.11648/j.pamj.20140303.11},
  url = {https://doi.org/10.11648/j.pamj.20140303.11},
  eprint = {https://article.sciencepublishinggroup.com/pdf/10.11648.j.pamj.20140303.11},
  abstract = {All contemporary set theories have intersected classes. We have built the stairs of set theories with disjoint classes. We call such theories natural. We numerate these theories by ordinals. The first set theory is T_0. We build the theory from the set N of natural numbers by using the operations of direct products and of power set by finite times. The theory contains all results of Cantor’s theory. We argue that the theory can satisfy all needs of applied mathematics. We build theory T_1 by using the universe set of all sets of T_0 and by using the operations of direct products and of power set by finite times. We build theory T_α+1 from the set of previous by using the operations of direct products and of power set by finite times, too. We build theory T_ω from the set of all sets of T_α with α < ω again by using the operations of direct products and of power set by finite times. And so on for every theory T_α, if theory T_α-1 does not exists. We use the join of all these sets to build theory T_On without operation of power set. We call members of T_On families, members of families  sets, families, which are not members of families,  up-sets. Families are an analog of classes of the MK set theory and up-sets are an analog of proper classes of MK theory. The theory T_On is more strong than MK theory because we use more strong axiom of comprehension. The last theory T_On+1 is external to T_On. We use T_On+1 to prove those theorems of T_On that are unproved in T_On.},
 year = {2014}
}

Copy | Download