CANTINI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.980
EU - Europa 5.326
AS - Asia 2.519
SA - Sud America 358
OC - Oceania 90
AF - Africa 69
Continente sconosciuto - Info sul continente non disponibili 3
Totale 16.345
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.923
IT - Italia 1.953
RU - Federazione Russa 1.314
SG - Singapore 672
CN - Cina 553
HK - Hong Kong 436
UA - Ucraina 427
IE - Irlanda 342
DE - Germania 297
BR - Brasile 295
VN - Vietnam 275
KR - Corea 271
SE - Svezia 245
FR - Francia 190
PL - Polonia 177
FI - Finlandia 167
GB - Regno Unito 128
IN - India 115
AU - Australia 88
JP - Giappone 65
CA - Canada 32
NL - Olanda 27
SC - Seychelles 26
AR - Argentina 23
TR - Turchia 22
IQ - Iraq 17
ES - Italia 14
BD - Bangladesh 13
BE - Belgio 12
EC - Ecuador 12
ID - Indonesia 11
MX - Messico 11
CI - Costa d'Avorio 10
CL - Cile 8
CO - Colombia 8
MA - Marocco 8
ZA - Sudafrica 8
IL - Israele 7
JO - Giordania 7
NO - Norvegia 7
CH - Svizzera 6
DZ - Algeria 6
NP - Nepal 6
PK - Pakistan 6
KZ - Kazakistan 5
RS - Serbia 5
MY - Malesia 4
PH - Filippine 4
SA - Arabia Saudita 4
TN - Tunisia 4
UZ - Uzbekistan 4
VE - Venezuela 4
AE - Emirati Arabi Uniti 3
BG - Bulgaria 3
BO - Bolivia 3
BY - Bielorussia 3
PS - Palestinian Territory 3
TH - Thailandia 3
TT - Trinidad e Tobago 3
AL - Albania 2
EG - Egitto 2
EU - Europa 2
GH - Ghana 2
HN - Honduras 2
IR - Iran 2
JM - Giamaica 2
KE - Kenya 2
LB - Libano 2
NZ - Nuova Zelanda 2
PY - Paraguay 2
RO - Romania 2
SV - El Salvador 2
UY - Uruguay 2
AT - Austria 1
AZ - Azerbaigian 1
BS - Bahamas 1
DK - Danimarca 1
DM - Dominica 1
ET - Etiopia 1
GE - Georgia 1
GR - Grecia 1
GT - Guatemala 1
KH - Cambogia 1
LK - Sri Lanka 1
MM - Myanmar 1
MN - Mongolia 1
NI - Nicaragua 1
OM - Oman 1
PE - Perù 1
PR - Porto Rico 1
PT - Portogallo 1
SI - Slovenia 1
SY - Repubblica araba siriana 1
TJ - Tagikistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 16.345
Salva come PNG Salva come JPEG
Città #
Santa Clara 3.742
Jacksonville 614
Singapore 460
Chandler 399
Dublin 340
Hong Kong 322
Florence 312
Fairfield 287
Milan 269
Seoul 267
Ashburn 224
Warsaw 173
Hefei 158
Cambridge 150
Wilmington 134
San Jose 127
Woodbridge 126
Princeton 119
Rome 116
Houston 113
Boston 97
Seattle 94
Ann Arbor 91
Lauterbourg 89
Ho Chi Minh City 88
Melbourne 85
Mumbai 83
The Dalles 82
Dallas 80
Boardman 77
Buffalo 75
Los Angeles 75
Moscow 69
Hanoi 60
Tokyo 59
Altamura 55
Lawrence 53
Helsinki 52
Scandicci 50
Beijing 38
Medford 36
Naples 36
San Diego 35
Frankfurt Am Main 32
Turin 28
Castelnuovo 26
Council Bluffs 26
Auburn Hills 25
Verona 25
Paris 24
São Paulo 24
Bologna 23
Munich 22
Kent 19
Ha Kwai Chung 18
Palermo 18
Da Nang 17
Hillsboro 17
Norwalk 17
Figino 16
Bari 15
Catania 15
Guangzhou 15
New York 15
Belo Horizonte 14
Prato 14
Dong Ket 12
Frankfurt am Main 12
Haiphong 12
Padua 12
Brussels 11
Pozzo Di Gotto 11
Redondo Beach 11
Reggio Emilia 11
Abidjan 10
Andover 10
Chiusi 10
Saint Petersburg 10
Shanghai 10
Brescia 9
Chianciano Terme 9
Chicago 9
Genoa 9
Gesualdo 9
Izmir 9
Livorno 9
London 9
Manchester 9
Orem 9
Pisa 9
Siena 9
Brasília 8
Lucca 8
Monza 8
Vicenza 8
West Jordan 8
Yubileyny 8
Cagliari 7
Jakarta 7
Osasco 7
Totale 10.795
Salva come PNG Salva come JPEG
Nome #
Introduzione alla logica. Linguaggio, significato, argomentazione 591
Oggetti ideali, dimostrazioni e pratica matematica 314
Extending constructive operational set theory by impredicative principles 244
Paradoxes and Contemporary Logic Spring 2017 Edition 238
Constructive Set Theory with operations 206
The axiom of choice and combinatory logic 203
A theory of formal truth arithmetically equivalent to ID$_1$ 202
A note on a predicatively reducible theory of iterated elementary induction 202
On the relation between choice and comprehension principles in second order arithmetic 202
CHOICE AND UNIFORMITY IN WEAK APPLICATIVE THEORIES 199
A fixed point theory over stratified truth 199
Bibliografia di Ettore Casari 193
Extending the first order theory of combinators with self-referential truth 190
Notes on formal theories of truth 187
Majorizing provably recursive functions in fragments of PA 186
On stratified truth 186
Remarks on applicative theories 184
LOGICAL FRAMEWORKS FOR TRUTH AND ABSTRACTION 181
Logic and Foundations of mathematics 178
Conservativity of transitive closure over weak constructive operational set theory 176
Elementary constructive operational set theory 174
Uniform inseparability in Explicit Mathematics 173
About truth and types 171
Ettore Casari: logica e filosofia 171
A logic of abstraction related to finite constructive numberclasses 168
Two impredicative theories of properties and sets 163
On a Russellian Paradox about Propositions and Truth 161
On extensionality, uniformity and comprehension in the theories of operations and classes 157
I fondamenti della matematica 157
Asymmetric interpretation for bounded theories 155
A proposito della logica: sul concetto d'inferenza 155
Paradoxes, Self-Reference and Truth in the 20th Century 155
Filosofia della matematica e fondamenti nell’opera di Ettore Casari 154
Hartry Field, Saving truth from paradox 152
Review of : SOMMARUGA, GIOVANNI, HISTORY AND PHILOSOPHY OF CONSTRUCTIVE TYPE THEORY. SYNTHESE LIBRARY. 290. DORDRECHT: KLUWER ACADEMIC PUBLISHERS. X, 354 P 148
On non-archimedean structures of D.Klaua 147
On formal proofs 146
Feferman and the truth 146
Feasible operations and applicative theories based on lambda eta 144
Christian, C.C., Ein Aequivalent zum 1. Unvollstaendigkeitssatz, Sitzungsber., Abt.II, Oesterr. Akad. Wiss., Math.-Naturwiss.Kl.205 (1996), 35-55 (1997) 144
Su alcuni recenti sviluppi della Logica: temi e problemi della teoria delle definizioni ricorsive 143
Una nota sulla concezione semi-intuizionistica della matematica 143
A remark on dependent choice and comprehension principles in second order arithmetic 143
Combinators and reflective truth 142
A note on the theory of admissible sets with epsilon-induction restricted to formulas with one quantifiers and related systems 142
Adding choice and uniformity to weak applicative systems. 141
The undecidability of Grishin's set theory 140
Paradoxes and set existence 138
Non-extensional theories of predicative classes over PA, 136
Levels of implication and type free theories of partialclassifications with approximation operator 136
On weak theories of sets and classes which are based on strict$Pi_1^1$-reflection 134
Review of : Cacace, Filippo , Meaning, reality and algorithms., in: Driessen, Alfred (ed.) et al. Mathematical undecidability, quantum nonlocality and the question of the existence of God. Dordrecht:, Kluwer Academic Publishers, (ISBN 0-77923-4306-9/hbk). 27-40 (1997), Zbl 0902.03027. 133
A note on three valued logic and Tarski's theorem on truthdefinitions 132
Remarks on predicative theories of classifications 132
Una teoria della predicatività secondo Poincaré 131
METHODOLOGICAL ISSUES FOR PARADOXES 130
A proposito di Filosofia e Matematica: dagli oggetti ideali alle dimostrazioni 129
Review of: Arai, Toshiyasu, Variations on a theme by Weiermann (English). J. Symb. Log. 63, No. 3, 897-925 (1998) 126
Partial Truth 125
Untyped comprehension and self-referential properties 125
Review of: G. Jäger, First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo, Journal of Symbolic Logic, 66, No.3, 1073-1089 (2001) 124
Predication and Truth 124
Review of: M. Dezani-Ciancaglini, E. Giovannetti, U. de'Liguoro, Intersection types, λ-models, and Böhm trees, in M. Takahashi (ed.) et al., Theories of types and proofs. Based on the workshop, Tokyo, Japan, September 1997. Tokyo: Mathematical Society of Japan. MSJ Mem. 2, 45-97 (1998) 124
Review of: P. Hrubes, Theories very close to PA where Kreisel's conjecture is false, Journal of Symbolic Logic, 72, No. 1, 123-137 (2007) 123
Fixed point constructions 122
Relating Quine's NF to Feferman's EM 122
Sigma-modelli di sottoteorie di KPI 122
Review of : Setzer, Anton. Universes in Type theory I. Inaccessibles and Mahlo. In: Andretta, Alessandro (ed.) et al., Logic Colloquium 2004.Proceedings of the annual European summer meeting of theAssociation for Symbolic Logic (ASL), Torino, Italy, July 25-31, 2004. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic, Lecture Notes in Logic 29, 123-156 (2008) 122
On the proof theory of weak Koenig's lemma 121
Sulla teoria dell'astrazione 120
Review of: M. W. Bunder, W. J. M. Dekkers, J. H. Geuvers, Equivalences between illative combinatory logics and pure type systems, RIMS Kokyuroku, 1021, 119-135 (1997) 120
REVIEW OF: M.RATHJEN, R.LUBARSKI, ON THE REGULAR EXTENSION AXIOM AND ITS VARIANTS, MATH. LOG.QUARTERLY , 59 (2003) 120
Review of : Clote, Peter G.; Hirst, Jeffry L.: Reverse mathematics of some topics from algorithmic graph theory, (English) Fundam. Math. 157, No. 1, 1-13 (1998) 119
Paradoxes and Contemporary Logic Fall 2021 edition 119
Review of: W.Pohlers, Proof Theory. An Introduction, Heidelberg-New York 119
Review of: G. Jäger, R. Kahle, A. Setzer, T. Strahm, The proof-theoretic analysis of transfinitely iterated fixed point theories, Journal of Symbolic Logic, 64, No.1, 53-67 (1999 119
A footnote to Appendix B of Russells' The Principles of Mathematics 119
Some consistency results concerning a theory of property 118
Review of: R. Solomon, Π11-CA0 and order types of countable ordered groups 118
Review of: J. Avigad, A realizability interpretation for classical arithmetic, in S. R. Buss (ed.) et al., Logic colloquium '98. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9-15, 1998. Natick, MA: A K Peters, Ltd. Lecture Notes in Logic 13, 57-90 (2000) 118
Paradoxes and Contemporary Logic 118
Review of: Chiari, Mario ; Krajicek, Jan.: Witnessing functions in bounded arithmetic and search problems (English). J. Symb. Log. 63, No. 3, 1095-1115 (1998) 117
Review of: Avigad, Jeremy and Feferman, Solomon , Goedel's functional ("Dialectica'') Interpretation, in: Buss, Samuel R. (ed.) Handbook of Proof Theory. Amsterdam: Elsevier, (ISBN 0-444-89840-9/hbk). Stud. Logic Found.Math. 137, 337-405 (1998) 117
Review of: A. G. Dragalin, Cut-elimination in the theory of definable sets of natural numbers, Publicationes Mathematicae, 51, No.1-2, 153-164 (1997) 117
The Veblen Hierarchy and the stability theorem for L 116
Review of : T.Strahm, Autonomous fixed point progressions and fixed point transfinite recursion, in: S.Buss et alii (eds), Logic Colloquium ’98, ASL Lecture Notes in Logic 13, A.K.Peters, 2000 115
Review of: Heck, Richard G. jun., Self-reference and the languages of arithmetic of arithmetic. Philos. Math. (3) 15, No.1, 1-29 (2007) 115
Review of: B. R., George, Second-order characterizable cardinals and ordinals 115
Proof-theoretic aspects of self-referential truth 115
Review of: M. Takahashi, A primer on proofs and types, in M. Takahashi (ed.) et al., Theories of types and proofs. Based on the workshop, Tokyo, Japan, September 1997. Tokyo: Mathematical Society of Japan. MSJ Mem. 2, 1-44 (1998), 115
Property theory variants of Frege structures 114
Osservazioni su autoriferimento e verità 114
Review of: W. Buchholz, Finitary treatment of operator controlled derivations, Mathematical Logic Quarterly, 47, No.3, 363-396 (2001) 114
Review of: Gasarch, William; Hirst, Jeffry L.: Reverse mathematics and recursive graph theory (English), Math. Log. Q. 44, No. 4, 465-473 (1998) 113
Review of: F. Ferreira, P. Oliva, Bounded functional interpretation, Annals of Pure and Applied Logic, 135, No. 1-3, 73-112 (2005),. 112
Review of : Glass, T., Rathjen, M., Schl\"uter, A. On the proof-theoretic strength of monotone induction, Annals of Pure and Applied Logic, 85, 1-46 (1997) 112
Review of: Troelstra, A.S., Realizability, in: Buss, Samuel R. (ed.) Handbook of Proof Theory. Amsterdam: Elsevier, (ISBN 0-444-89840-9/hbk). Stud. Logic Found.Math. 137, 407-473 (1998 112
Review of: Antonelli, Gian Aldo, Extensional quotients for type theory and the consistency problem for NF, J.Symb.Log. 63,No. 1, 247-261 (1998) 111
Review of : Ginisti, Jean-Pierre: La Logique Combinatoire. Paris: Presses Universitaires de France (ISBN 2-13-048010-pbk). 127 p. (1997) 109
Review of : T.Strahm, First Steps into metapredicativity in explicit mathematics, in: B.Cooper and J.K.Truss (eds.), Sets and Proofs. Invitef Papers from Logic Colloquium ’97, Cambridge University Press, Cambridge 1999 109
Totale 14.996
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.201
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 41.201
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022673 10 104 36 58 24 15 48 58 27 13 106 174
2022/20231.596 189 167 64 149 175 347 153 84 169 20 57 22
2023/2024633 45 82 132 52 33 47 23 124 23 37 15 20
2024/20256.328 147 465 259 526 2.525 1.558 70 116 279 112 154 117
2025/20263.750 348 591 462 190 268 105 471 180 269 156 53 657
2026/20275 5 0 0 0 0 0 0 0 0 0 0 0
Totale 16.442