Peter Aczel

Available identifiers

zbMath Open aczel.peterDBLPa/PAczelWikidataQ2073584 ScholiaQ2073584MaRDI QIDQ636294

List of research outcomes

Publication	Date of Publication	Type
Final universes of processes	2023-04-28	Paper
A final coalgebra theorem	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4967703	2019-07-10	Paper
Generalized geometric theories and set-generated classes	2016-07-27	Paper
Local Constructive Set Theory and Inductive Definitions	2015-07-01	Paper
Are there enough injective sets?	2013-06-27	Paper
A Coalgebraic View of Infinite Trees and Iteration	2013-04-26	Paper
Rudimentary and arithmetical constructive set theory	2013-03-15	Paper
Equalisers of Frames in Constructive Set Theory	2012-09-06	Paper
On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology	2011-08-26	Paper
A Constructive Version of the Lusin Separation Theorem	2009-03-12	Paper
The Relation Reflection Scheme	2008-03-07	Paper
Binary refinement implies discrete exponentiation	2007-01-29	Paper
The generalised type-theoretic interpretation of constructive set theory	2006-07-05	Paper
Aspects of general topology in constructive set theory	2005-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4738111	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4736386	2004-08-09	Paper
Infinite trees and completely iterative theories: A coalgebraic view	2003-07-30	Paper
The Russell-Prawitz modality	2002-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4944846	2000-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4263831	2000-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4357059	1997-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q5691486	1997-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4698610	1997-04-21	Paper
https://portal.mardi4nfdi.de/entity/Q4012874	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3992552	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3762311	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3310616	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3947654	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3912779	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3937387	1978-01-01	Paper
Recursive density types and Nerode extensions of arithmetic	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4087141	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4079598	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4043075	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3214912	1972-01-01	Paper
Describing ordinals using functionals of transfinite type	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5633996	1972-01-01	Paper
Representability in some systems of second order arithmetic	1970-01-01	Paper

Research outcomes over time

This page was built for person: Peter Aczel