Logic, sets, and mathematics
Copyright policy )Logic, sets, and mathematics
The author explains a semantic tree based natural deduction style formalization of set theory which is nominalistic in nature, makes interesting use of the distinction of use and mention for (names of) objects, avoids standard set-theoretic paradoxes, but also the common naive form of Cantor's diagonal argument for the uncountability of the reals, and may constitute an interesting alternative to ZF set theory in allowing, too, the formalization of central notions of modern, structurally oriented mathematics.
natural deduction style formalization of set theory, semantic tree, Other classical set theory (including functions, relations, and set algebra), foundations, Set theory, non-standard set theory, Axiomatics of classical set theory and its fragments, Proof theory and constructive mathematics, basic set theory
natural deduction style formalization of set theory, semantic tree, Other classical set theory (including functions, relations, and set algebra), foundations, Set theory, non-standard set theory, Axiomatics of classical set theory and its fragments, Proof theory and constructive mathematics, basic set theory
citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).4 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!