zbMath1132.03025MaRDI QIDQ3590907
Olivier Esser
Publication date: 3 September 2007
zbMATH Keywords
definabilitypermutation modelsNFStone topologyHenson topology
Mathematics Subject Classification ID
Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)