A general construction of hyperuniverses

Marco Forti, Furio Honsell

Type: Article

Publication Date: 1996-03-01

Citations: 21

DOI: https://doi.org/10.1016/0304-3975(95)00087-9

View Publication

Locations

Theoretical Computer Science - View

Similar Works

Action	Title	Year	Authors
+	NON-FINITE AXIOMATIZABILITY (Generic structures and their applications)	2004	Byunghan Kim
+ PDF Chat	A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures	2014	Abhisekh Sankaran Bharat Adsul Supratik Chakraborty
+	The Suslin-Kleene theorem for countable structures	1970	Yiannis N. Moschovakis
+ PDF Chat	Finite and infinite closed-rich words	2023	O. G. Parshina Svetlana Puzynina
+ PDF Chat	A Generalized Kleene-Moschovakis Theorem	1978	Leo Harrington Lefteris M. Kirousis John S. Schlipf
+	Enriching a predicate and tame expansions of the integers	2022	Gabriel Conant Christian d’Elbée Yatir Halevi Léo Jimenez Silvain Rideau
+ PDF Chat	Subdirect representations in axiomatic classes	1976	Stanley Burris
+	A Structural Interpretation of Combinatory	1992	James Henderson
+	On Σ-Definability Over Hereditarily Finite and List Superstructures	2020	S. A. Aleksandrova
+	S-Definability in Hereditarily Finite Superstructures and Pairs of Models	2004	A. I. Stukachov
+ PDF Chat	Maximal Automatic Complexity and Context-Free Languages	2023	Bjørn Kjos-Hanssen
+	Formulas and Texts	1992	Arthur AsaBerger
+ PDF Chat	Finite-Word Hyperlanguages	2021	Borzoo Bonakdarpour Sarai Sheinvald
+	Finite-word hyperlanguages	2022	Borzoo Bonakdarpour Sarai Sheinvald
+	Wadge Reducibility and Infinite Computations	2008	Victor Selivanov
+	Higher Recursion Theory	2017	Gerald E. Sacks
+	Existentially closed structures and Jensen’s principle	1976	Angus Macintyre
+	Finite Structures	1972	Gerald Berman K.D. Fryer
+	Canonical extensions of bounded lattices and natural duality for default bilattices	2012	Andrew Craig
+	Canonical extensions of bounded lattices and natural duality for default bilattices	2012	H. A. Priestley

Works That Cite This (16)

Action	Title	Year	Authors
+	Inconsistency of the Axiom of Choice with the positive theory	2000	Olivier Esser
+	10.4115/jla.v5i0.186	2016	Andreas Fackler
+	ALTERNATIVE SET THEORIES	2009	Peter Apostoli Roland Hinnion Akira Kanda Thierry Libert
+	Alternative Set Theories	2012	M. Randall Holmes Thomas Förster Thierry Libert
+	On sets, games and processes	2014	Michael J. Cox
+	Addendum and corrigendum Choice Principles in Hyperuniverses Annals of Pure and Applied Logic 77 (1996) 35–52	1998	Marco Forti Furio Honsell
+	A topological set theory implied by ZF and GPK<sup>+</sup><sub>∞</sub>	2013	Fackler
+	A Cook's Tour of the Finitary Non-Well-Founded Sets	2011	Samson Abramsky
+	Topological set theories and hyperuniverses	2012	Andreas Fackler
+	Mildly Ineffable Cardinals and Hiperuniverces.	2003	Olivier Esser

Works Cited by This (5)

Action	Title	Year	Authors
+	Set theory with free construction principles	1983	Marco Forti Furio Honsell
+	The consistency problem for positive comprehension principles	1989	Mauro Forti Roland Hinnion
+ PDF Chat	Topologies on spaces of subsets	1951	Ernest Michael
+	The consistency problem for positive comprehension principles	1989	Mauro Forti Roland Hinnion
+	A Cook's Tour of the Finitary Non-Well-Founded Sets	2011	Samson Abramsky