scientific article

zbMath1244.03166MaRDI QIDQ3001097

Solomon Feferman

Publication date: 31 May 2011

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

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items

PREDICATIVISM AS A FORM OF POTENTIALISM, On Some Semi-constructive Theories Related to Kripke–Platek Set Theory, Feferman on Set Theory: Infinity up on Trial, An indeterminate universe of sets