PETRAKIS, Iosif
 Distribuzione geografica
Continente #
NA - Nord America 1.141
EU - Europa 684
AS - Asia 630
SA - Sud America 75
AF - Africa 52
OC - Oceania 1
Totale 2.583
Nazione #
US - Stati Uniti d'America 1.123
RU - Federazione Russa 484
SG - Singapore 361
HK - Hong Kong 87
CN - Cina 79
IT - Italia 65
BR - Brasile 55
GB - Regno Unito 40
VN - Vietnam 39
KR - Corea 24
FI - Finlandia 23
DE - Germania 22
TG - Togo 18
BJ - Benin 17
FR - Francia 15
NL - Olanda 13
CA - Canada 11
NG - Nigeria 11
IN - India 9
CO - Colombia 8
ID - Indonesia 7
MX - Messico 5
ES - Italia 4
PH - Filippine 4
PL - Polonia 4
SI - Slovenia 4
TR - Turchia 4
AR - Argentina 3
JP - Giappone 3
PK - Pakistan 3
BD - Bangladesh 2
CL - Cile 2
EC - Ecuador 2
KZ - Kazakistan 2
PE - Perù 2
PR - Porto Rico 2
SE - Svezia 2
UZ - Uzbekistan 2
VE - Venezuela 2
ZA - Sudafrica 2
AM - Armenia 1
AT - Austria 1
AU - Australia 1
AZ - Azerbaigian 1
BF - Burkina Faso 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EE - Estonia 1
EG - Egitto 1
GR - Grecia 1
IL - Israele 1
LT - Lituania 1
MD - Moldavia 1
PY - Paraguay 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TH - Thailandia 1
Totale 2.583
Città #
Dallas 687
Moscow 152
Singapore 144
San Jose 142
Ashburn 127
Hong Kong 86
The Dalles 48
Verona 38
Lomé 18
London 18
Cotonou 17
Beijing 16
Helsinki 16
Buffalo 15
Amsterdam 13
Los Angeles 13
Ho Chi Minh City 12
Abuja 11
Hanoi 10
Redondo Beach 10
Santa Clara 9
São Paulo 9
Lappeenranta 6
Berlin 5
Columbus 5
Milan 5
Novosibirsk 5
Da Nang 4
Ljubljana 4
Munich 4
Shenzhen 4
Toronto 4
Warsaw 4
Bogotá 3
Boston 3
Brooklyn 3
Guangzhou 3
Jakarta 3
Kolkata 3
Lleida 3
Madison 3
Mandaluyong 3
Mexico City 3
Orem 3
Paris 3
Rio de Janeiro 3
Shanghai 3
Ankara 2
Astana 2
Atlanta 2
Bayamón 2
Bekasi 2
Belo Horizonte 2
Biên Hòa 2
Chicago 2
Costigliole Saluzzo 2
Cuiabá 2
Genoa 2
Haiphong 2
Hefei 2
Ivry-sur-Seine 2
Latiano 2
Medellín 2
Montreal 2
New York 2
Ponzano Veneto 2
Poplar 2
Seattle 2
Stockholm 2
Tashkent 2
Agrolândia 1
Arapiraca 1
Arroio dos Ratos 1
Auby 1
Baku 1
Baltimore 1
Barbacena 1
Belgrade 1
Belém 1
Blida 1
Cajicá 1
Castelbuono 1
Castelo 1
Changzhi 1
Chennai 1
Chiclayo 1
Chihuahua City 1
Chisinau 1
Clovis 1
Concordia 1
Council Bluffs 1
Cubatão 1
Curitiba 1
Córdoba 1
Da Lat 1
Dakar 1
Dalian 1
Dongjak-gu 1
Duque de Caxias 1
Florianópolis 1
Totale 1.779
Nome #
Boolean rigs 444
The Grothendieck Computability Model 294
The Grothendieck Computability Model 97
McShane-Whitney Pairs 91
McShane-Whitney extensions in constructive analysis 88
Algebras of Complemented Subsets 86
A constructive function-theoretic approach to topological compactness 82
A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces 80
Completely Regular Bishop Spaces 77
Direct spectra of Bishop spaces and their limits 77
Sets Completely Separated by Functions in Bishop Set Theory 75
Complemented subsets and Boolean-valued, partial functions 73
The Contrapositive of Countable Choice for Inhabited Sets of Naturals 72
Bases of Pseudocompact Bishop Spaces 72
Strong negation in the theory of computable functionals TCF 72
Dependent Sums and Dependent Products in Bishop’s Set Theory 72
A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces 71
Limit spaces with approximations 69
Embeddings of Bishop spaces 69
Computability Models over Categories and Presheaves 65
A Predicative Approach to the Constructive Integration Theory of Locally Compact Metric Spaces 64
Borel and Baire Sets in Bishop Spaces 62
Functions of Baire Class One over a Bishop Topology 60
Constructive uniformities of pseudometrics and Bishop topologies 59
Strict computability models over categories and presheaves 59
Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory 59
Closed subsets in Bishop topological groups 58
The Urysohn Extension Theorem for Bishop Spaces 52
Proof-relevance in Bishop-style constructive mathematics 31
Totale 2.630
Categoria #
all - tutte 7.039
article - articoli 3.882
book - libri 0
conference - conferenze 2.875
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 282
Totale 14.078


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/2025568 32 27 18 61 54 2 13 19 97 60 91 94
2025/20261.977 111 51 714 226 415 57 161 79 119 44 0 0
Totale 2.630