scientific article; zbMATH DE number 1107496

zbMATH Open0886.03038MaRDI QIDQ4373418FDOQ4373418

Authors: Marco Forti, Furio Honsell, Marina Lenisa 

Publication date: 21 January 1998

Title of this publication is not available (Why is that?)

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\)

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)

Cited In (6)

• A topological set theory implied by \(\text{ZF}\) and \(\text{GPK}^+_\infty\)
• Title not available (Why is that?)
• 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)