statistiche ricercatore

Nome	#
McShane-Whitney extensions in constructive analysis	16
Bases of Pseudocompact Bishop Spaces	7
Dependent Sums and Dependent Products in Bishop’s Set Theory	5
Completely Regular Bishop Spaces	4
Functions of Baire Class One over a Bishop Topology	4
Algebras of Complemented Subsets	4
A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces	4
Direct spectra of Bishop spaces and their limits	4
Complemented subsets and Boolean-valued, partial functions	4
The Contrapositive of Countable Choice for Inhabited Sets of Naturals	3
McShane-Whitney Pairs	3
A constructive function-theoretic approach to topological compactness	3
Sets Completely Separated by Functions in Bishop Set Theory	3
Constructive uniformities of pseudometrics and Bishop topologies	3
Strict computability models over categories and presheaves	3
Computability Models over Categories and Presheaves	3
Borel and Baire Sets in Bishop Spaces	3
Embeddings of Bishop spaces	3
The Urysohn Extension Theorem for Bishop Spaces	2
Proof-relevance in Bishop-style constructive mathematics	2
Closed subsets in Bishop topological groups	2
A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces	2
Limit spaces with approximations	2
Totale	89

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2023/2024	85	0	0	0	0	0	0	0	45	0	16	12	12
2024/2025	4	4	0	0	0	0	0	0	0	0	0	0	0
Totale													89

CATALOGO DEI PRODOTTI DELLA RICERCA