PETRAKIS, Iosif
 Distribuzione geografica
Continente #
AS - Asia 173
EU - Europa 131
NA - Nord America 53
SA - Sud America 22
AF - Africa 19
Totale 398
Nazione #
SG - Singapore 133
RU - Federazione Russa 58
US - Stati Uniti d'America 51
HK - Hong Kong 27
IT - Italia 23
BR - Brasile 19
TG - Togo 18
FI - Finlandia 17
DE - Germania 15
FR - Francia 9
CN - Cina 3
ES - Italia 3
PH - Filippine 3
GB - Regno Unito 2
KZ - Kazakistan 2
NL - Olanda 2
PR - Porto Rico 2
AZ - Azerbaigian 1
EC - Ecuador 1
EE - Estonia 1
ID - Indonesia 1
JP - Giappone 1
PK - Pakistan 1
PY - Paraguay 1
SK - Slovacchia (Repubblica Slovacca) 1
UZ - Uzbekistan 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 398
Città #
Singapore 73
Hong Kong 27
Lomé 18
Helsinki 15
Dallas 13
The Dalles 8
Santa Clara 7
Verona 7
Berlin 5
Novosibirsk 5
Lleida 3
Madison 3
Mandaluyong 3
Milan 3
Moscow 3
Paris 3
Amsterdam 2
Astana 2
Bayamón 2
Belo Horizonte 2
Costigliole Saluzzo 2
Genoa 2
Lappeenranta 2
Agrolândia 1
Arapiraca 1
Baku 1
Barbacena 1
Castelbuono 1
Cubatão 1
Cuiabá 1
Florianópolis 1
Frankfurt am Main 1
Garden City 1
Jacareí 1
Jatobá 1
Košice 1
La Guaira 1
Lauterbourg 1
London 1
Londrina 1
Maringá 1
Nagoya 1
Nancy 1
Nerópolis 1
Noordwyk 1
Nuremberg 1
Portoviejo 1
Rawalpindi 1
Rio Grande da Serra 1
Rio de Janeiro 1
Rome 1
Santa Maria da Vitória 1
Shenzhen 1
Sorocaba 1
São Paulo 1
Tashkent 1
Teresina 1
Totale 244
Nome #
The Grothendieck Computability Model 42
A constructive function-theoretic approach to topological compactness 28
McShane-Whitney extensions in constructive analysis 27
Direct spectra of Bishop spaces and their limits 20
The Contrapositive of Countable Choice for Inhabited Sets of Naturals 19
A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces 19
Bases of Pseudocompact Bishop Spaces 18
Algebras of Complemented Subsets 18
McShane-Whitney Pairs 17
Completely Regular Bishop Spaces 16
Sets Completely Separated by Functions in Bishop Set Theory 16
Strict computability models over categories and presheaves 16
Computability Models over Categories and Presheaves 16
Embeddings of Bishop spaces 16
Complemented subsets and Boolean-valued, partial functions 16
Limit spaces with approximations 15
The Urysohn Extension Theorem for Bishop Spaces 14
A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces 14
Strong negation in the theory of computable functionals TCF 13
Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory 12
Borel and Baire Sets in Bishop Spaces 12
Dependent Sums and Dependent Products in Bishop’s Set Theory 12
Functions of Baire Class One over a Bishop Topology 11
Constructive uniformities of pseudometrics and Bishop topologies 11
Closed subsets in Bishop topological groups 10
A Predicative Approach to the Constructive Integration Theory of Locally Compact Metric Spaces 8
Proof-relevance in Bishop-style constructive mathematics 7
Totale 443
Categoria #
all - tutte 2.729
article - articoli 1.307
book - libri 0
conference - conferenze 1.286
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 136
Totale 5.458


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/2025358 32 27 18 61 54 2 13 19 97 35 0 0
Totale 443