scientific article; zbMATH DE number 1241476

zbMath0945.03066MaRDI QIDQ4225023

Luis E. Sanchis

Publication date: 18 January 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

realismformal systemintuitionistic logicnatural numbersformalisminternal consistencyclassical logicaxiomatic systemuniverse of setspower-setset recursionset inductionlocal quantificationobjective constructionpractice of set theorypredicative constructionpredicativity principlerole of set theory in the foundations of mathematicsset operation rulesset predicate rules

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Set theory (03Exx)

This page was built for publication: