PETRAKIS, IOSIF
 Distribuzione geografica
Continente #
EU - Europa 107
AS - Asia 75
NA - Nord America 40
AF - Africa 19
Totale 241
Nazione #
SG - Singapore 64
RU - Federazione Russa 58
US - Stati Uniti d'America 38
TG - Togo 18
FI - Finlandia 16
DE - Germania 12
IT - Italia 12
CN - Cina 3
ES - Italia 3
FR - Francia 3
PH - Filippine 3
KZ - Kazakistan 2
NL - Olanda 2
PR - Porto Rico 2
GB - Regno Unito 1
HK - Hong Kong 1
ID - Indonesia 1
JP - Giappone 1
ZA - Sudafrica 1
Totale 241
Città #
Singapore 51
Lomé 18
Helsinki 15
Dallas 13
Santa Clara 7
Verona 6
Berlin 5
Novosibirsk 5
Lleida 3
Madison 3
Mandaluyong 3
Moscow 3
Amsterdam 2
Astana 2
Bayamón 2
Costigliole Saluzzo 2
Milan 2
Frankfurt am Main 1
Hong Kong 1
Lappeenranta 1
Nagoya 1
Nancy 1
Noordwyk 1
Nuremberg 1
Shenzhen 1
Totale 150
Nome #
The Grothendieck Computability Model 36
McShane-Whitney extensions in constructive analysis 21
The Contrapositive of Countable Choice for Inhabited Sets of Naturals 16
Bases of Pseudocompact Bishop Spaces 14
McShane-Whitney Pairs 13
A constructive function-theoretic approach to topological compactness 13
Complemented subsets and Boolean-valued, partial functions 13
Algebras of Complemented Subsets 12
Completely Regular Bishop Spaces 11
Direct spectra of Bishop spaces and their limits 11
A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces 10
Computability Models over Categories and Presheaves 10
The Urysohn Extension Theorem for Bishop Spaces 9
Functions of Baire Class One over a Bishop Topology 9
Sets Completely Separated by Functions in Bishop Set Theory 9
Limit spaces with approximations 9
Borel and Baire Sets in Bishop Spaces 9
Dependent Sums and Dependent Products in Bishop’s Set Theory 9
Constructive uniformities of pseudometrics and Bishop topologies 8
A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces 8
Strict computability models over categories and presheaves 8
Embeddings of Bishop spaces 7
Proof-relevance in Bishop-style constructive mathematics 4
Closed subsets in Bishop topological groups 4
Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory 3
Totale 276
Categoria #
all - tutte 1.925
article - articoli 898
book - libri 0
conference - conferenze 926
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 101
Totale 3.850


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202485 0 0 0 0 0 0 0 45 0 16 12 12
2024/2025191 32 27 18 61 53 0 0 0 0 0 0 0
Totale 276