scientific article; zbMATH DE number 1383062
From MaRDI portal
Publication:4718919
zbMath0930.03063MaRDI QIDQ4718919
Publication date: 4 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
classsetBoolean-valued modelZFtwo-type ordinalconglomerate axiomatic system \(\text{ZF}_{\text{c}}\)two-type class
This page was built for publication:
