scientific article; zbMATH DE number 1107496

MaRDI QIDQ4373418zbMATH OpenFDO

Authors Marco Forti, Furio Honsell, Marina Lenisa

Publication date 21 January 1998

zbMATH Keywords

correspondences between set-theoretic properties and topological properties of hyperuniversesdenotational semanticsexponential kappa-uniformitiesnon-well-founded sets

Mathematics Subject Classification ID

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

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

(7)

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