SAMBIN, GIOVANNI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.785
EU - Europa 567
AS - Asia 166
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
SA - Sud America 1
Totale 4.522
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.782
SE - Svezia 119
CN - Cina 103
IT - Italia 99
UA - Ucraina 89
DE - Germania 79
FI - Finlandia 78
VN - Vietnam 55
GB - Regno Unito 47
RO - Romania 14
GR - Grecia 11
FR - Francia 10
IE - Irlanda 6
CH - Svizzera 4
JP - Giappone 4
CA - Canada 3
IR - Iran 3
PT - Portogallo 3
CZ - Repubblica Ceca 2
DK - Danimarca 2
AM - Armenia 1
AU - Australia 1
BE - Belgio 1
BR - Brasile 1
EU - Europa 1
NL - Olanda 1
NZ - Nuova Zelanda 1
PL - Polonia 1
RU - Federazione Russa 1
Totale 4.522
Salva come PNG Salva come JPEG
Città #
Fairfield 566
Woodbridge 510
Ann Arbor 428
Houston 411
Jacksonville 384
Seattle 225
Ashburn 223
Wilmington 212
Cambridge 182
Chandler 133
Princeton 109
Dong Ket 55
San Diego 49
Medford 38
Nanjing 31
Helsinki 20
Padova 18
Guangzhou 16
Roxbury 16
Horia 14
Boardman 12
Des Moines 12
Hebei 12
Norwalk 11
Nanchang 10
Jinan 7
Shenyang 7
Changsha 6
Dublin 6
Rome 6
Auburn Hills 5
Jiaxing 5
Karlsruhe 5
Palermo 5
Paris 5
London 4
Borås 3
Kilburn 3
Milan 3
Milford 3
Bari 2
Beijing 2
Braga 2
Conegliano 2
Frattamaggiore 2
Genova 2
Giubiasco 2
Indiana 2
Lausanne 2
Mérignac 2
North York 2
Pontarlier 2
Prague 2
Rimini 2
Rockville 2
Salerno 2
Semnan 2
Tianjin 2
Tokyo 2
Venezia 2
Acton 1
Bologna 1
Bremen 1
Brisbane 1
Chioggia 1
Falls Church 1
Famalicão 1
Gainesville 1
Giovinazzo 1
Hangzhou 1
Highland 1
Hounslow 1
Islington 1
Kharkiv 1
Lanzhou 1
Los Angeles 1
Manchester 1
Mogi das Cruzes 1
Moscow 1
Napoli 1
New York 1
Ningbo 1
Nürnberg 1
Ogden 1
Phoenix 1
Pinehaven 1
Redmond 1
Redwood City 1
Rodgau 1
San Francisco 1
Sant'elena 1
Tabriz 1
Taizhou 1
The Hague 1
Treviolo 1
Valdaora 1
Venice 1
Verona 1
Vicenza 1
Vigonza 1
Totale 3.850
Salva come PNG Salva come JPEG
Nome #
A minimalist foundation at work 123
An incomplete system of modal logic 120
Embedding locales and formal topologies into positive topologies 120
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita 115
The Basic Picture and Positive Topology. New structures for constructive mathematics 112
Relational semantics of basic logic 106
The overlap algebra of regular opens 105
Reducibility, a constructive dual of spatiality 103
Some points in formal topology 102
Pretopologies and a uniform presentation of sup-lattices, quantales and frames 102
Fixed points through the finite model property 101
Intuitionistic formal spaces and their neighbourhood 98
Formal topologies on the set of first order formulae 98
Post completeness and free algebras 97
Editorial: Special issue on non-classical mathematics 97
Intuitionistic formal spaces - a first communication 95
A preview of the basic picture: a new perspective in formal topology 94
Doing without Turing machines: constructivism and formal topology 94
A new and elementary method to represent every complete boolean algebra. 91
Pretopologies and completeness proofs 90
Provability: the emergence of a mathematical modality 89
Toward a minimalist foundation for constructive mathematics 87
A new proof of Sahlqvist's theorem on modal definability and completeness 87
Why topology in the Minimalist Foundation must be pointfree 85
Inductively generated formal topologies 82
A constructive Galois connection between closure and interior 82
Convergence in formal topology: a unifying notion 82
The modal logic of provability. The sequential approach 81
Formal topology and domains 81
Topology and duality in modal logic 80
A modal sequent calculus for a fragment of arithmetic 80
The basic Zariski topology 77
Finitary formal topologies and Stone's representation theorem 77
Subdirectly irreducible modal algebras and initial frames. 74
Finiteness in a minimalist foundation 74
Aspetti topologici degli o-filtri (o-filtri II) 71
From basic logic to quantum logics with cut-elimination 66
Constructive domain theory as a branch of intuitionistic pointfree topology 65
On the meaning of positivity relations for regular formal spaces 64
The semantics of pretopologies 63
Two applications of dynamic constructivism: Brouwer's continuity principle and choice sequences in formal topology 61
Basic logic and the cube of its extensions. 59
An effective fixed-point theorem in intuitionistic diagonalizable algebras 59
Special issue Third Workshop on Formal Topology 58
Steps towards a dynamic constructivism 54
Real and ideal in constructive mathematics 50
Sui filtri di composizione il cui filtro associato è principale (o-filtri I) 49
Logica intuizionistica e logica classica a confronto 49
Basic logic: reflection, symmetry, visibility 49
Twenty-five years of constructive type theory. 47
Topology as Faithful Communication Through Relations 47
Building up a toolbox for Martin-Loef's type theory: subset theory 44
Costruttivismo, oltre i luoghi comuni 44
Intuitionistic formal spaces vs. Scott domains 43
Un'estensione del teorema di Löb 42
Reale e ideale in matematica 36
Dynamics in foundations: what does it mean in the practice of mathematics? 30
Special Issue Papers presented at the 2nd Workshop on Formal Topology (2WFTop 2002) 24
C for Constructivism. Beyond clichés 20
Per una dinamica nei fondamenti (italian) 19
Matematica costruttiva 16
The principle of pointfree continuity 15
Incompletezza costruttiva 14
Molteplicità delle logiche e necessità delle traduzioni. Logica intuizionistica e logica classica a confronto. 9
Totale 4.548
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.774
article - articoli 8.216
book - libri 202
conference - conferenze 0
curatela - curatele 423
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.137
Totale 22.752
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019304 0 0 0 0 0 0 0 0 0 0 165 139
2019/2020936 128 23 14 86 95 111 92 121 98 85 27 56
2020/2021788 22 72 14 111 31 57 8 92 124 82 85 90
2021/2022681 17 84 90 83 36 11 24 74 39 8 97 118
2022/2023404 119 0 2 28 70 51 1 32 59 2 25 15
2023/2024112 18 27 9 11 12 2 7 6 13 7 0 0
Totale 4.548