TU Darmstadt / ULB / TUprints

Von den erblich-endlichen Mengen bis zu den Delta-Funktionen : Grundlegung einer widerspruchsfreien Nichtstandard-Mathematik

Zahn, Peter (2021):
Von den erblich-endlichen Mengen bis zu den Delta-Funktionen : Grundlegung einer widerspruchsfreien Nichtstandard-Mathematik. (Publisher's Version)
Darmstadt, DOI: 10.26083/tuprints-00019223,
[Report]

[img]
Preview
Text
zfcn-mit.pdf
Available under CC BY 4.0 International - Creative Commons, Attribution.

Download (513kB) | Preview
Item Type: Report
Status: Publisher's Version
Title: Von den erblich-endlichen Mengen bis zu den Delta-Funktionen : Grundlegung einer widerspruchsfreien Nichtstandard-Mathematik
Language: German
Abstract:

Hereditarily finite sets can be constructed by the rules "construct 0" and "from a and b construct a{b}". For short we write {a,b,c} for 0{a}{b}{c}, e.g. Those sets together with the element relation satisfy the axioms of ZFC without the axiom of infinity. Certain of those sets can be considered to be natural numbers. We investigate an obviously consistent rule system which, however, is not a formal one. It containes a rule with infinitely many premises. By the rules of that system there is deducible the theory of hereditarily finite sets. From this result and a theorem of Jaques Herbrand it follows that a weakened version, zfc*, of ZFC is consistent. By an axiom of it there exists a set containing all natural numbers at least. From zfc* we infer some elementary facts of nonstandard analysis and also consider delta functions.

Place of Publication: Darmstadt
Collation: 52 Seiten
Classification DDC: 500 Naturwissenschaften und Mathematik > 510 Mathematik
Divisions: 04 Department of Mathematics > Logic
Date Deposited: 09 Aug 2021 12:21
Last Modified: 09 Aug 2021 12:22
DOI: 10.26083/tuprints-00019223
URN: urn:nbn:de:tuda-tuprints-192235
URI: https://tuprints.ulb.tu-darmstadt.de/id/eprint/19223
Export:
Actions (login required)
View Item View Item