MAIETTI, MARIA EMILIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.401
AS - Asia 476
EU - Europa 474
SA - Sud America 80
AF - Africa 11
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.443
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.390
SG - Singapore 239
IT - Italia 165
HK - Hong Kong 98
CN - Cina 80
BR - Brasile 66
DE - Germania 48
FI - Finlandia 48
PL - Polonia 43
UA - Ucraina 34
FR - Francia 29
VN - Vietnam 28
SE - Svezia 24
GB - Regno Unito 23
RU - Federazione Russa 17
NL - Olanda 11
PT - Portogallo 7
CA - Canada 5
CZ - Repubblica Ceca 5
JP - Giappone 5
EE - Estonia 4
ZA - Sudafrica 4
AD - Andorra 3
AR - Argentina 3
IE - Irlanda 3
PE - Perù 3
AE - Emirati Arabi Uniti 2
AM - Armenia 2
BD - Bangladesh 2
BO - Bolivia 2
CL - Cile 2
GR - Grecia 2
ID - Indonesia 2
IL - Israele 2
IN - India 2
PR - Porto Rico 2
TR - Turchia 2
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BE - Belgio 1
BJ - Benin 1
BN - Brunei Darussalam 1
BS - Bahamas 1
CO - Colombia 1
CV - Capo Verde 1
CW - ???statistics.table.value.countryCode.CW??? 1
DJ - Gibuti 1
EC - Ecuador 1
GH - Ghana 1
IQ - Iraq 1
IR - Iran 1
KG - Kirghizistan 1
KR - Corea 1
LB - Libano 1
LT - Lituania 1
LU - Lussemburgo 1
MD - Moldavia 1
ME - Montenegro 1
MK - Macedonia 1
MU - Mauritius 1
NI - Nicaragua 1
NP - Nepal 1
OM - Oman 1
PY - Paraguay 1
QA - Qatar 1
RS - Serbia 1
TJ - Tagikistan 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
UG - Uganda 1
UZ - Uzbekistan 1
VE - Venezuela 1
YT - Mayotte 1
Totale 3.443
Salva come PNG Salva come JPEG
Città #
Fairfield 359
Ann Arbor 269
Woodbridge 266
Singapore 173
Houston 160
Jacksonville 140
Santa Clara 139
Ashburn 137
Cambridge 125
Wilmington 119
Seattle 108
Hong Kong 98
Chandler 96
Boardman 50
Princeton 48
San Diego 45
Padova 44
Bytom 43
Dong Ket 28
Medford 27
Roxbury 24
Nanjing 19
Helsinki 17
Milan 16
Des Moines 15
Beijing 11
London 11
Hebei 8
Vigonza 7
Falkenstein 6
Indiana 6
Jiaxing 6
Karlsruhe 6
Council Bluffs 5
New York 5
Norwalk 5
San Francisco 5
Shenyang 5
Tianjin 5
Ningbo 4
Nuremberg 4
Andorra la Vella 3
Belo Horizonte 3
Dublin 3
Faenza 3
Genoa 3
Gothenburg 3
Hangzhou 3
Leeds 3
Lima 3
Prague 3
São Paulo 3
Yokohama 3
Acton 2
Albaredo d'Adige 2
Amsterdam 2
Bayamón 2
Birmingham 2
Braga 2
Brasília 2
Buenos Aires 2
Campinas 2
Cherkasy 2
Cincinnati 2
Codognè 2
Curitiba 2
Dosso 2
Edinburgh 2
Formosa 2
Jinan 2
Johannesburg 2
Lappeenranta 2
Los Angeles 2
Moscow 2
Nanchang 2
Padua 2
Phoenix 2
Pisa 2
Rodgau 2
Semarang 2
Tallinn 2
Trento 2
Yerevan 2
Abaetetuba 1
Accra 1
Alfenas 1
Athens 1
Atlanta 1
Balneário Camboriú 1
Bandar Seri Begawan 1
Bandhagen 1
Bardar 1
Beirut 1
Belém 1
Bishkek 1
Borås 1
Bridgetown 1
Brussels 1
Calgary 1
Campo Alegre 1
Totale 2.777
Salva come PNG Salva come JPEG
Nome #
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice 156
Unifying exact completions 153
Exponentiation of Scott formal topologies 140
Reflection into models of finite decidable FP-sketches in an arithmetic universe 140
About effective quotients in constructive type theory 137
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita 134
Joyal's arithmetic universes via type theory 131
An induction principle for consequence in arithmetic universes. 119
Triposes, exact completions, and Hilbert's ε-operator 117
A minimalist two-level foundation for constructive mathematics 115
Why topology in the Minimalist Foundation must be pointfree 111
Convergence in formal topology: a unifying notion 108
Toward a minimalist foundation for constructive mathematics 105
Categorical models for intuitionistic and linear type theory 102
A structural investigation on formal topology: coreflection of formal covers and exponentiability 101
Relating Categorical Semantics for Intuitionistic Linear Logic 98
On choice rules in dependent type theory 97
Modular correspondence between dependent type theories and categorical universes including pretopoi and topoi 95
Relating quotient completions via categorical logic. 95
Quotient completion for the foundation of constructive mathematics 94
Constructive version of Boolean algebra 90
The internal type theory of an Heyting Pretopos. 89
Can you add power-sets to Martin-Loef intuitionistic set theory? 81
Joyal's arithmetic universe as list-arithmetic pretopos 74
Quotients over Minimal Type Theory 74
Some aspects of the categorical semantics for the polymorphic lambda calculus. 70
Elementary quotient completion 60
A predicative variant of Hyland's effective topos 58
A predicative variant of a realizability tripos for the Minimalist Foundation. 54
Teoria dei tipi di universi categoriali. 53
Handbook of Constructive Mathematics 48
A realizability semantics for inductive formal topologies, church’s thesis and axiom of choice 48
An extensional Kleene realizability semantics for the Minimalist Foundation. 47
Predicative exponentiation of locally compact formal topologies over inductively generated ones 45
INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH’S THESIS AND THE AXIOM OF CHOICE 42
Elementary Quotient Completions, Church's Thesis, and Partitioned Assemblies 42
A characterization of generalized existential completions 41
A topological counterpart of well-founded trees in dependent type theory 34
Equiconsistency of the Minimalist Foundation with its classical version 32
Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale 28
The Compatibility of the Minimalist Foundation with Homotopy Type Theory 24
Quotients, Pure existential completions and arithmetic universes 22
Totale 3.504
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.403
article - articoli 7.372
book - libri 89
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.427
Totale 21.291
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021362 10 40 1 29 19 26 5 42 60 39 43 48
2021/2022473 23 73 76 19 19 25 30 36 22 9 56 85
2022/2023267 61 0 3 8 56 44 3 21 45 7 17 2
2023/2024174 4 26 34 11 4 10 3 10 14 17 14 27
2024/2025914 3 114 37 28 168 29 43 57 59 37 159 180
2025/202612 12 0 0 0 0 0 0 0 0 0 0 0
Totale 3.504