CANTINI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.246
EU - Europa 5.349
AS - Asia 2.522
SA - Sud America 359
Continente sconosciuto - Info sul continente non disponibili 100
OC - Oceania 90
AF - Africa 70
Totale 16.736
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.142
IT - Italia 1.969
RU - Federazione Russa 1.314
SG - Singapore 672
CN - Cina 554
HK - Hong Kong 438
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 130
IN - India 115
AU - Australia 88
CA - Canada 68
JP - Giappone 65
NL - Olanda 27
SC - Seychelles 27
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
NO - Norvegia 11
CI - Costa d'Avorio 10
CL - Cile 8
CO - Colombia 8
MA - Marocco 8
ZA - Sudafrica 8
CH - Svizzera 7
IL - Israele 7
JO - Giordania 7
DZ - Algeria 6
NP - Nepal 6
PK - Pakistan 6
CR - Costa Rica 5
KZ - Kazakistan 5
RS - Serbia 5
HN - Honduras 4
MY - Malesia 4
PH - Filippine 4
SA - Arabia Saudita 4
TN - Tunisia 4
TT - Trinidad e Tobago 4
UZ - Uzbekistan 4
VE - Venezuela 4
AE - Emirati Arabi Uniti 3
BG - Bulgaria 3
BO - Bolivia 3
BY - Bielorussia 3
JM - Giamaica 3
PS - Palestinian Territory 3
SV - El Salvador 3
TH - Thailandia 3
AL - Albania 2
EG - Egitto 2
EU - Europa 2
GH - Ghana 2
IR - Iran 2
KE - Kenya 2
LB - Libano 2
NZ - Nuova Zelanda 2
PY - Paraguay 2
RO - Romania 2
UY - Uruguay 2
AI - Anguilla 1
AT - Austria 1
AZ - Azerbaigian 1
BS - Bahamas 1
DK - Danimarca 1
DM - Dominica 1
ET - Etiopia 1
GE - Georgia 1
GF - Guiana Francese 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.639
Salva come PNG Salva come JPEG
Città #
Santa Clara 3.743
Jacksonville 614
Singapore 460
Chandler 399
Dublin 340
Hong Kong 324
Florence 313
Fairfield 287
Milan 271
Seoul 267
Ashburn 227
Warsaw 173
Hefei 158
Cambridge 150
Council Bluffs 138
Wilmington 134
San Jose 127
Woodbridge 126
Rome 120
Princeton 119
Houston 116
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
Los Angeles 77
Buffalo 76
Moscow 69
Hanoi 60
Tokyo 59
Altamura 55
Lawrence 53
Helsinki 52
Scandicci 50
Columbus 49
Beijing 38
Naples 37
Medford 36
San Diego 36
Frankfurt Am Main 32
Turin 28
Castelnuovo 26
Auburn Hills 25
Verona 25
Bologna 24
Paris 24
São Paulo 24
Munich 22
Kent 19
Ha Kwai Chung 18
Palermo 18
Da Nang 17
Figino 17
Hillsboro 17
Norwalk 17
Bari 16
New York 16
Catania 15
Guangzhou 15
Belo Horizonte 14
Prato 14
Toronto 14
Dong Ket 12
Frankfurt am Main 12
Haiphong 12
Padua 12
Brussels 11
Chicago 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
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
Totale 10.983
Salva come PNG Salva come JPEG
Nome #
Introduzione alla logica. Linguaggio, significato, argomentazione 595
Oggetti ideali, dimostrazioni e pratica matematica 317
Paradoxes and Contemporary Logic Spring 2017 Edition 245
Extending constructive operational set theory by impredicative principles 244
Constructive Set Theory with operations 208
The axiom of choice and combinatory logic 206
A theory of formal truth arithmetically equivalent to ID$_1$ 206
A fixed point theory over stratified truth 205
A note on a predicatively reducible theory of iterated elementary induction 204
On the relation between choice and comprehension principles in second order arithmetic 203
CHOICE AND UNIFORMITY IN WEAK APPLICATIVE THEORIES 202
Bibliografia di Ettore Casari 198
Extending the first order theory of combinators with self-referential truth 192
Majorizing provably recursive functions in fragments of PA 189
Notes on formal theories of truth 188
On stratified truth 188
Remarks on applicative theories 186
LOGICAL FRAMEWORKS FOR TRUTH AND ABSTRACTION 185
Logic and Foundations of mathematics 182
Conservativity of transitive closure over weak constructive operational set theory 178
Uniform inseparability in Explicit Mathematics 176
Elementary constructive operational set theory 175
About truth and types 174
A logic of abstraction related to finite constructive numberclasses 173
Ettore Casari: logica e filosofia 173
Two impredicative theories of properties and sets 164
On a Russellian Paradox about Propositions and Truth 163
Paradoxes, Self-Reference and Truth in the 20th Century 161
On extensionality, uniformity and comprehension in the theories of operations and classes 160
I fondamenti della matematica 159
Asymmetric interpretation for bounded theories 158
A proposito della logica: sul concetto d'inferenza 157
Filosofia della matematica e fondamenti nell’opera di Ettore Casari 156
Hartry Field, Saving truth from paradox 155
Review of : SOMMARUGA, GIOVANNI, HISTORY AND PHILOSOPHY OF CONSTRUCTIVE TYPE THEORY. SYNTHESE LIBRARY. 290. DORDRECHT: KLUWER ACADEMIC PUBLISHERS. X, 354 P 149
On formal proofs 149
On non-archimedean structures of D.Klaua 149
Feferman and the truth 148
Feasible operations and applicative theories based on lambda eta 146
Su alcuni recenti sviluppi della Logica: temi e problemi della teoria delle definizioni ricorsive 146
A remark on dependent choice and comprehension principles in second order arithmetic 146
Combinators and reflective truth 146
Una nota sulla concezione semi-intuizionistica della matematica 145
Adding choice and uniformity to weak applicative systems. 145
Christian, C.C., Ein Aequivalent zum 1. Unvollstaendigkeitssatz, Sitzungsber., Abt.II, Oesterr. Akad. Wiss., Math.-Naturwiss.Kl.205 (1996), 35-55 (1997) 145
A note on the theory of admissible sets with epsilon-induction restricted to formulas with one quantifiers and related systems 144
Paradoxes and set existence 143
The undecidability of Grishin's set theory 142
Levels of implication and type free theories of partialclassifications with approximation operator 139
Non-extensional theories of predicative classes over PA, 137
On weak theories of sets and classes which are based on strict$Pi_1^1$-reflection 137
A note on three valued logic and Tarski's theorem on truthdefinitions 135
Remarks on predicative theories of classifications 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. 134
Una teoria della predicatività secondo Poincaré 133
METHODOLOGICAL ISSUES FOR PARADOXES 131
A proposito di Filosofia e Matematica: dagli oggetti ideali alle dimostrazioni 130
Partial Truth 128
Predication and Truth 128
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) 127
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) 127
Untyped comprehension and self-referential properties 127
Review of: Arai, Toshiyasu, Variations on a theme by Weiermann (English). J. Symb. Log. 63, No. 3, 897-925 (1998) 127
Relating Quine's NF to Feferman's EM 126
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) 125
Sigma-modelli di sottoteorie di KPI 124
Paradoxes and Contemporary Logic Fall 2021 edition 124
Fixed point constructions 123
REVIEW OF: M.RATHJEN, R.LUBARSKI, ON THE REGULAR EXTENSION AXIOM AND ITS VARIANTS, MATH. LOG.QUARTERLY , 59 (2003) 123
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) 123
A footnote to Appendix B of Russells' The Principles of Mathematics 123
Sulla teoria dell'astrazione 122
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) 122
On the proof theory of weak Koenig's lemma 122
Some consistency results concerning a theory of property 121
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 121
Review of: R. Solomon, Π11-CA0 and order types of countable ordered groups 120
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) 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) 120
Review of: W.Pohlers, Proof Theory. An Introduction, Heidelberg-New York 120
Review of: Chiari, Mario ; Krajicek, Jan.: Witnessing functions in bounded arithmetic and search problems (English). J. Symb. Log. 63, No. 3, 1095-1115 (1998) 119
Paradoxes and Contemporary Logic 119
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) 119
The Veblen Hierarchy and the stability theorem for L 118
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) 118
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 117
Review of: Heck, Richard G. jun., Self-reference and the languages of arithmetic of arithmetic. Philos. Math. (3) 15, No.1, 1-29 (2007) 117
Proof-theoretic aspects of self-referential truth 117
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), 117
Review of: F. Ferreira, P. Oliva, Bounded functional interpretation, Annals of Pure and Applied Logic, 135, No. 1-3, 73-112 (2005),. 116
Property theory variants of Frege structures 116
Osservazioni su autoriferimento e verità 116
Review of: W. Buchholz, Finitary treatment of operator controlled derivations, Mathematical Logic Quarterly, 47, No.3, 363-396 (2001) 116
Review of: Gasarch, William; Hirst, Jeffry L.: Reverse mathematics and recursive graph theory (English), Math. Log. Q. 44, No. 4, 465-473 (1998) 116
Review of: B. R., George, Second-order characterizable cardinals and ordinals 116
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) 115
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 113
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) 113
Review of : Ginisti, Jean-Pierre: La Logique Combinatoire. Paris: Presses Universitaires de France (ISBN 2-13-048010-pbk). 127 p. (1997) 111
Review of: D. Pym, E. Ritter, On the semantics of classical disjunction, Journal of Pure and Applied Algebra, 159, No.2-3, 315-338 (2001) 110
Totale 15.240
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.697
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 42.697
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022663 0 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/2027299 117 182 0 0 0 0 0 0 0 0 0 0
Totale 16.736