scientific article; zbMATH DE number 1107496

MaRDI QIDQ4373418zbMATH OpenFDO

Authors Marco Forti, Furio Honsell, Marina Lenisa

Publication date 21 January 1998

zbMATH Keywords

denotational semanticsnon-well-founded setscorrespondences between set-theoretic properties and topological properties of hyperuniversesexponential kappa-uniformities

Mathematics Subject Classification ID

Hyperspaces in general topology (54B20) Semantics in the theory of computing (68Q55) Other set-theoretic hypotheses and axioms (03E65)

Recommendations

• scientific article; zbMATH DE number 6320514
• A general construction of hyperuniverses
• Processes and hyperuniverses
• Choice principles in hyperuniverses
• A topological set theory implied by \(\text{ZF}\) and \(\text{GPK}^+_\infty\)

Cited in

(6)

• A topological set theory implied by \(\text{ZF}\) and \(\text{GPK}^+_\infty\)
• scientific article; zbMATH DE number 2068676 (Why is no real title available?)
• Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
• A category of compositional domain-models for separable Stone spaces.
• A general construction of hyperuniverses
• Processes and hyperuniverses

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4373418)