From axiomatization to generalizatrion of set theory

مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی

منو

" From axiomatization to generalizatrion of set theory "
Fendrich, Samuel

Document Type	:	Latin Dissertation
Record Number	:	1100086
Doc. No	:	TLets601489
Main Entry	:	Fendrich, Samuel
Title & Author	:	From axiomatization to generalizatrion of set theory\ Fendrich, Samuel
College	:	London School of Economics and Political Science (LSE)
Date	:	1987
student score	:	1987
Degree	:	Ph.D.
Abstract	:	The thesis examines the philosophical and foundational significance of Cohen's Independence results. A distinction is made between the mathematical and logical analyses of the "set" concept. It is argued that topos theory is the natural generalization of the mathematical theory of sets and is the appropriate foundational response to the problems raised by Cohen's results. The thesis is divided into three parts. The first is a discussion of the relationship between "informal" mathematical theories and their formal axiomatic realizations this relationship being singularly problematic in the case of set theory. The second part deals with the development of the set concept within the mathemtical approach. In particular Skolem's reformulation of Zermlelo's notion of "definite properties". In the third part an account is given of the emergence and development of topos theory. Then the considerations of the first two parts are applied to demonstrate that the shift to topos theory, specifically in its guise of LST (local set theory), is the appropriate next step in the evolution of the concept of set, within the mathematical approach, in the light of the significance of Cohen's Independence results.
Subject	:	HA Statistics
Added Entry	:	London School of Economics and Political Science (LSE)