SAMBIN, GIOVANNI
 Distribuzione geografica
Continente #
NA - Nord America 4.118
EU - Europa 686
AS - Asia 351
OC - Oceania 5
SA - Sud America 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 5.163
Nazione #
US - Stati Uniti d'America 4.109
SG - Singapore 149
CN - Cina 125
IT - Italia 122
SE - Svezia 119
DE - Germania 89
UA - Ucraina 89
FI - Finlandia 79
VN - Vietnam 55
GB - Regno Unito 51
FR - Francia 46
RU - Federazione Russa 27
RO - Romania 14
GR - Grecia 11
CA - Canada 9
HK - Hong Kong 9
ES - Italia 7
IE - Irlanda 6
JP - Giappone 6
NL - Olanda 5
AU - Australia 4
BE - Belgio 4
CH - Svizzera 4
DK - Danimarca 4
IR - Iran 3
PT - Portogallo 3
AT - Austria 2
BR - Brasile 2
CZ - Repubblica Ceca 2
AM - Armenia 1
EU - Europa 1
IN - India 1
KG - Kirghizistan 1
LT - Lituania 1
NZ - Nuova Zelanda 1
PK - Pakistan 1
PL - Polonia 1
Totale 5.163
Città #
Fairfield 566
Woodbridge 510
Ann Arbor 428
Houston 411
Jacksonville 384
Ashburn 225
Seattle 225
Wilmington 212
Santa Clara 209
Cambridge 182
Chandler 133
Princeton 109
Singapore 107
Boardman 75
Dong Ket 55
San Diego 49
Medford 38
Nanjing 31
Helsinki 21
Padova 20
Guangzhou 16
Roxbury 16
Horia 14
Des Moines 12
Hebei 12
Norwalk 11
Nanchang 10
Rome 10
Hong Kong 9
Paris 9
Jinan 7
Shenyang 7
Barcelona 6
Changsha 6
Dublin 6
Frankfurt am Main 6
Auburn Hills 5
Jiaxing 5
Karlsruhe 5
London 5
Milan 5
Palermo 5
Ottawa 4
Amsterdam 3
Borås 3
Brussels 3
Florence 3
Kilburn 3
Milford 3
Moscow 3
Sant'Antimo 3
Adelaide 2
Bari 2
Beijing 2
Braga 2
Conegliano 2
Frattamaggiore 2
Frederiksberg 2
Genova 2
Giubiasco 2
Indiana 2
Isesaki 2
Ivrea 2
Lausanne 2
Linz 2
Mogliano Veneto 2
Mérignac 2
Naples 2
North York 2
Pontarlier 2
Prague 2
Rimini 2
Rockville 2
Salerno 2
Semnan 2
Tianjin 2
Tokyo 2
Toronto 2
Venezia 2
Vicenza 2
Acton 1
Bishkek 1
Bochum 1
Bologna 1
Bremen 1
Brisbane 1
Canberra 1
Chioggia 1
Falls Church 1
Famalicão 1
Gainesville 1
Giovinazzo 1
Hangzhou 1
Highland 1
Hounslow 1
Iowa City 1
Islington 1
Kharkiv 1
Lanzhou 1
Los Angeles 1
Totale 4.283
Nome #
The Basic Picture and Positive Topology. New structures for constructive mathematics 142
Embedding locales and formal topologies into positive topologies 135
An incomplete system of modal logic 133
A minimalist foundation at work 133
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita 124
Relational semantics of basic logic 115
Some points in formal topology 112
Pretopologies and a uniform presentation of sup-lattices, quantales and frames 112
The overlap algebra of regular opens 111
Editorial: Special issue on non-classical mathematics 111
Reducibility, a constructive dual of spatiality 110
Fixed points through the finite model property 108
Doing without Turing machines: constructivism and formal topology 108
A preview of the basic picture: a new perspective in formal topology 106
Formal topologies on the set of first order formulae 106
Intuitionistic formal spaces and their neighbourhood 104
Post completeness and free algebras 104
Intuitionistic formal spaces - a first communication 103
A new and elementary method to represent every complete boolean algebra. 102
A new proof of Sahlqvist's theorem on modal definability and completeness 101
A modal sequent calculus for a fragment of arithmetic 98
Toward a minimalist foundation for constructive mathematics 97
Pretopologies and completeness proofs 96
Provability: the emergence of a mathematical modality 94
A constructive Galois connection between closure and interior 94
Why topology in the Minimalist Foundation must be pointfree 93
Convergence in formal topology: a unifying notion 93
The modal logic of provability. The sequential approach 89
Inductively generated formal topologies 89
Aspetti topologici degli o-filtri (o-filtri II) 88
Finitary formal topologies and Stone's representation theorem 88
Formal topology and domains 87
Topology and duality in modal logic 86
The basic Zariski topology 84
Finiteness in a minimalist foundation 83
Constructive domain theory as a branch of intuitionistic pointfree topology 80
Subdirectly irreducible modal algebras and initial frames. 78
On the meaning of positivity relations for regular formal spaces 74
Basic logic and the cube of its extensions. 74
An effective fixed-point theorem in intuitionistic diagonalizable algebras 73
From basic logic to quantum logics with cut-elimination 72
The semantics of pretopologies 69
Two applications of dynamic constructivism: Brouwer's continuity principle and choice sequences in formal topology 69
Special issue Third Workshop on Formal Topology 65
Basic logic: reflection, symmetry, visibility 63
Steps towards a dynamic constructivism 62
Topology as Faithful Communication Through Relations 59
Logica intuizionistica e logica classica a confronto 57
Real and ideal in constructive mathematics 56
Costruttivismo, oltre i luoghi comuni 56
Twenty-five years of constructive type theory. 56
Sui filtri di composizione il cui filtro associato è principale (o-filtri I) 55
Building up a toolbox for Martin-Loef's type theory: subset theory 54
Reale e ideale in matematica 52
Intuitionistic formal spaces vs. Scott domains 51
Un'estensione del teorema di Löb 47
Dynamics in foundations: what does it mean in the practice of mathematics? 42
C for Constructivism. Beyond clichés 41
Special Issue Papers presented at the 2nd Workshop on Formal Topology (2WFTop 2002) 31
Per una dinamica nei fondamenti (italian) 31
Incompletezza costruttiva 25
Matematica costruttiva 23
The principle of pointfree continuity 23
Molteplicità delle logiche e necessità delle traduzioni. Logica intuizionistica e logica classica a confronto. 15
Totale 5.192
Categoria #
all - tutte 16.579
article - articoli 10.626
book - libri 292
conference - conferenze 0
curatela - curatele 533
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.576
Totale 29.606


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020387 0 0 0 0 0 0 0 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/2024191 18 27 9 11 12 2 7 6 13 7 45 34
2024/2025565 10 93 45 43 279 41 38 16 0 0 0 0
Totale 5.192