Giuseppe Rosolini

Available identifiers

zbMath Open rosolini.giuseppeMaRDI QIDQ382421

List of research outcomes

Publication	Date of Publication	Type
Algebraic types in PER models	2023-04-12	Paper
Elementary fibrations of enriched groupoids	2022-06-24	Paper
A characterisation of elementary fibrations	2022-04-25	Paper
Doctrines, modalities and comonads	2022-04-05	Paper
Quasitoposes as elementary quotient completions	2021-11-30	Paper
Elementary doctrines as coalgebras	2021-01-22	Paper
Relating Quotient Completions via Categorical Logic	2020-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q5208904	2020-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4968383	2019-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q3176742	2018-07-23	Paper
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies	2018-02-18	Paper
Equilogical spaces and algebras for a double-power monad	2017-12-08	Paper
Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator	2017-12-08	Paper
The category of equilogical spaces and the effective topos as homotopical quotients	2017-01-17	Paper
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent	2016-08-15	Paper
Topologies and free constructions	2015-04-09	Paper
Unifying exact completions	2015-02-05	Paper
Sobriety for equilogical spaces	2014-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q2863881	2013-12-04	Paper
Quotient completion for the foundation of constructive mathematics	2013-11-19	Paper
Elementary quotient completion	2013-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q2852351	2013-10-08	Paper
Custom automations in Mizar	2013-04-17	Paper
Synthetic domain theory and models of linear Abadi {\&} Plotkin logic	2008-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q5718571	2006-01-16	Paper
Completions, comonoids, and topological spaces	2005-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4783307	2002-12-04	Paper
Fixpoint operators for domain equations	2002-07-15	Paper
Domains in \(H\)	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4511152	2001-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4953035	2000-12-14	Paper
Repleteness and the associated sheaf	1999-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4219032	1999-05-31	Paper
https://portal.mardi4nfdi.de/entity/Q4222887	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4222894	1998-12-20	Paper
Two models of synthetic domain theory	1998-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4362974	1997-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q3138539	1993-11-18	Paper
Colimit completions and the effective topos	1990-01-01	Paper
The Discrete Objects in the Effective Topos	1990-01-01	Paper
Categories of partial maps	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3720583	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3744154	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3699883	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3671153	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3671166	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3953764	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4184834	1978-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Giuseppe Rosolini