scientific article; zbMATH DE number 1418431
From MaRDI portal
Publication:4941985
zbMath0951.03005MaRDI QIDQ4941985
Marina Lenisa, Furio Honsell, Marco Forti
Publication date: 19 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
correlationsetcollectioncorrespondencefoundations of mathematicsaxiomatizationfunctionoperationrelative consistency
Foundations of classical theories (including reverse mathematics) (03B30) Set theory (03E99) Relative consistency and interpretations (03F25)
This page was built for publication: