On the foundations of a constructive theory of discrete commutative algebra. (Q2620060)

In dieser Arbeit skizziert der Verf. in großen Zügen ein Programm für den Aufbau der ``diskreten'' (von Stetigkeitsbetrachtungen unabhängigen) Algebra, bei dem neben den algebraischen Grundgebilden wie Gruppe, Ring, Körper usw. auch noch andere Gebilde allgemeinerer Art systematisch erfaßt werden, die entstehen, wenn einige der Gruppen-, Ring- oder Körperaxiome fortgelassen oder durch schwächere ersetzt werden. Methodisch strebt der Verf. die alleinige Anwendung rein ``konstruktiver'' Verfahren an, die nach Möglichkeit nach endlich vielen Schritten zum Ziele führen sollen. Die bisher nur skizzierten Gedanken sollen in weiteren Arbeiten ausführlich dargestellt werden.