Laura Crosilla

MaRDI QIDQ691123zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The entanglement of logic and set theory, constructively	2025-10-09	Paper
Constructive type theory, an appetizer	2025-10-07	Paper
Exploring predicativity	2024-09-09	Paper
Bishop’s Mathematics: A Philosophical Perspective Handbook of Constructive Mathematics	2023-08-11	Paper
Predicativity and constructive mathematics	2022-10-09	Paper
Predicativity and Feferman Outstanding Contributions to Logic	2020-02-05	Paper
Finite methods in mathematical practice Formalism and Beyond	2015-11-18	Paper
Error and predicativity Evolving Computability	2015-10-20	Paper
Conservativity of transitive closure over weak constructive operational set theory	2014-06-24	Paper
A generalized cut characterization of the fullness axiom in CZF Logic Journal of the IGPL	2013-06-11	Paper
Elementary constructive operational set theory	2011-03-09	Paper
Constructive set theory with operations	2008-04-14	Paper
Binary refinement implies discrete exponentiation Studia Logica	2007-01-29	Paper
On constructing completions Journal of Symbolic Logic	2006-01-16	Paper
scientific article; zbMATH DE number 2247248 (Why is no real title available?)	2006-01-16	Paper
Inaccessible set axioms may have little consistency strength Annals of Pure and Applied Logic	2002-08-22	Paper

Research outcomes over time

This page was built for person: Laura Crosilla