Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 576946

On the MP axiom of intensionality: connecting types and sets


Skansi, Sandro
On the MP axiom of intensionality: connecting types and sets // Bulletin of Symbolic Logic, vol 15, no. 2.
Washington D.C., SAD, 2009. str. 244-244 (predavanje, međunarodna recenzija, sažetak, znanstveni)


CROSBI ID: 576946 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
On the MP axiom of intensionality: connecting types and sets

Autori
Skansi, Sandro

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
Bulletin of Symbolic Logic, vol 15, no. 2. / - , 2009, 244-244

Skup
ASL Winter Meeting (Joint Mathematics Meeting of the AMS and the MAA)

Mjesto i datum
Washington D.C., SAD, 7.1.2009

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Tipovi; skupovi; teorija skupova drugog reda
(Types; Sets; Second order set theory)

Sažetak
This paper should be regarded as a sequel to our 2008 ASL Winter Meeting: we will summarize the most important theorems of the non-standard set theory MP, developed from Russell's assumptions in his Introduction to Mathematical Philosophy, and our main focus will be the clarification of the most notable feature of MP-the axiom of intensionality. We will show that stratification is not needed if we adopt a few simple propositions introducing several type-theoretical notions in this non-standard set theory. this should be regarded as a necessary step in the demonstration of the advantages of MP over ZFC, which does not discriminate the concepts of `set' and `predicate' as it is needed in other areas of logic. There is also a very important philosophical point to be made: Although technically a second order theory, MP constitutes a more ontologically innocent approach than ZFC, providing the same results while presuming significantly less.

Izvorni jezik
Engleski

Znanstvena područja
Matematika, Filozofija



POVEZANOST RADA


Citiraj ovu publikaciju

Skansi, Sandro
On the MP axiom of intensionality: connecting types and sets // Bulletin of Symbolic Logic, vol 15, no. 2.
Washington D.C., SAD, 2009. str. 244-244 (predavanje, međunarodna recenzija, sažetak, znanstveni)
Skansi, S. (2009) On the MP axiom of intensionality: connecting types and sets. U: Bulletin of Symbolic Logic, vol 15, no. 2..
@article{article, author = {Skansi, S.}, year = {2009}, pages = {244-244}, keywords = {Types, Sets, Second order set theory}, title = {On the MP axiom of intensionality: connecting types and sets}, keyword = {Types, Sets, Second order set theory}, publisherplace = {Washington D.C., SAD} }