A general construction of hyperuniverses

DOI10.1016/0304-3975(95)00087-9zbMath0871.68131OpenAlexW1974482096MaRDI QIDQ1351794

Furio Honsell, Marco Forti

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00087-9

Mathematics Subject Classification ID

Theory of computing (68Q99)

Related Items (9)

Implementing Cantor’s Paradise ⋮ A general construction of hyperuniverses ⋮ Choice principles in hyperuniverses ⋮ Processes and hyperuniverses ⋮ Inconsistency of the Axiom of Choice with the positive theory ⋮ A topological set theory implied by ZF and GPK⁺_∞ ⋮ A strong model of paraconsistent logic ⋮ Models for a paraconsistent set theory ⋮ Addendum and corrigendum: ``Choice principle in hyperuniverses

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Solving reflexive domain equations in a category of complete metric spaces
• Non-well-founded sets modeled as ideal fixed points
• Hypersets
• Weighted colimits and formal balls in generalized metric spaces
• A general construction of hyperuniverses
• The consistency problem for positive comprehension principles
• Processes and the denotational semantics of concurrency
• Topologies on Spaces of Subsets

This page was built for publication: A general construction of hyperuniverses