CANTINI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.155
EU - Europa 2.951
AS - Asia 340
AF - Africa 27
SA - Sud America 5
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 2
Totale 6.482
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.137
IT - Italia 1.093
UA - Ucraina 420
IE - Irlanda 339
DE - Germania 249
SE - Svezia 240
HK - Hong Kong 178
PL - Polonia 172
RU - Federazione Russa 146
FI - Finlandia 108
GB - Regno Unito 94
SG - Singapore 67
CN - Cina 47
FR - Francia 46
SC - Seychelles 25
CA - Canada 18
TR - Turchia 16
NL - Olanda 14
VN - Vietnam 12
BE - Belgio 10
IN - India 10
ES - Italia 6
CH - Svizzera 5
BG - Bulgaria 2
CL - Cile 2
EU - Europa 2
JP - Giappone 2
NP - Nepal 2
NZ - Nuova Zelanda 2
RO - Romania 2
RS - Serbia 2
VE - Venezuela 2
ZA - Sudafrica 2
BR - Brasile 1
BY - Bielorussia 1
DK - Danimarca 1
GE - Georgia 1
GR - Grecia 1
IL - Israele 1
IR - Iran 1
JO - Giordania 1
TJ - Tagikistan 1
UZ - Uzbekistan 1
Totale 6.482
Salva come PNG Salva come JPEG
Città #
Jacksonville 612
Chandler 399
Dublin 339
Fairfield 287
Florence 238
Warsaw 171
Cambridge 150
Wilmington 134
Woodbridge 126
Ashburn 119
Princeton 119
Houston 109
Boston 96
Seattle 93
Ann Arbor 91
Hong Kong 78
Boardman 76
Altamura 55
Lawrence 53
Milan 51
Scandicci 50
Singapore 43
San Diego 35
Medford 34
Frankfurt Am Main 32
Castelnuovo 26
Auburn Hills 25
Beijing 22
Verona 21
Moscow 19
Hillsboro 17
Norwalk 17
Los Angeles 14
Rome 13
Dong Ket 12
Pozzo Di Gotto 11
Andover 10
Brussels 10
Chiusi 10
Ha Kwai Chung 10
Saint Petersburg 10
Chianciano Terme 9
Gesualdo 9
Izmir 9
Shanghai 8
Siena 8
West Jordan 8
Prato 7
Sesto Fiorentino 7
Bibbiena 6
Bologna 6
Dearborn 6
Dronten 6
Leeds 6
London 6
Southwark 6
Arezzo 5
Falls Church 5
Guangzhou 5
Monza 5
Naples 5
Palermo 5
Toronto 5
Vicenza 5
Bern 4
Brunico 4
Busto Arsizio 4
Cagliari 4
Gorgonzola 4
Livorno 4
Monsummano Terme 4
Munich 4
New York 4
Ottawa 4
Paris 4
Pavia 4
Piacenza 4
Ronchis 4
Scarperia 4
Thiene 4
Trumbull 4
Bagno A Ripoli 3
Campi Bisenzio 3
Catania 3
Corio 3
Desio 3
Empoli 3
Fiesole 3
Frankfurt am Main 3
Hyderabad 3
Laurel 3
Lucca 3
Madrid 3
Osnago 3
Ostiglia 3
Puteaux 3
Redwood City 3
Reggio Emilia 3
San Giuliano Terme 3
San Mateo 3
Totale 4.109
Salva come PNG Salva come JPEG
Nome #
Introduzione alla logica. Linguaggio, significato, argomentazione 357
Oggetti ideali, dimostrazioni e pratica matematica 195
Extending constructive operational set theory by impredicative principles 166
On stratified truth 106
The axiom of choice and combinatory logic 103
A theory of formal truth arithmetically equivalent to ID$_1$ 98
CHOICE AND UNIFORMITY IN WEAK APPLICATIVE THEORIES 98
Paradoxes and Contemporary Logic Spring 2017 Edition 96
Extending the first order theory of combinators with self-referential truth 94
On the relation between choice and comprehension principles in second order arithmetic 94
A fixed point theory over stratified truth 91
Uniform inseparability in Explicit Mathematics 88
Majorizing provably recursive functions in fragments of PA 87
Logic and Foundations of mathematics 87
Remarks on applicative theories 85
Constructive Set Theory with operations 82
About truth and types 81
Notes on formal theories of truth 80
Conservativity of transitive closure over weak constructive operational set theory 80
Bibliografia di Ettore Casari 80
On a Russellian Paradox about Propositions and Truth 79
Hartry Field, Saving truth from paradox 79
Two impredicative theories of properties and sets 78
On extensionality, uniformity and comprehension in the theories of operations and classes 77
A note on a predicatively reducible theory of iterated elementary induction 76
Elementary constructive operational set theory 75
On non-archimedean structures of D.Klaua 75
A logic of abstraction related to finite constructive numberclasses 67
I fondamenti della matematica 61
LOGICAL FRAMEWORKS FOR TRUTH AND ABSTRACTION 60
The undecidability of Grishin's set theory 59
Feferman and the truth 58
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. 58
Levels of implication and type free theories of partialclassifications with approximation operator 57
Review of : SOMMARUGA, GIOVANNI, HISTORY AND PHILOSOPHY OF CONSTRUCTIVE TYPE THEORY. SYNTHESE LIBRARY. 290. DORDRECHT: KLUWER ACADEMIC PUBLISHERS. X, 354 P 55
On formal proofs 55
Filosofia della matematica e fondamenti nell’opera di Ettore Casari 54
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) 52
Combinators and reflective truth 52
Asymmetric interpretation for bounded theories 51
Adding choice and uniformity to weak applicative systems. 50
Christian, C.C., Ein Aequivalent zum 1. Unvollstaendigkeitssatz, Sitzungsber., Abt.II, Oesterr. Akad. Wiss., Math.-Naturwiss.Kl.205 (1996), 35-55 (1997) 50
METHODOLOGICAL ISSUES FOR PARADOXES 50
A proposito della logica: sul concetto d'inferenza 49
Ettore Casari: logica e filosofia 49
Su alcuni recenti sviluppi della Logica: temi e problemi della teoria delle definizioni ricorsive 48
Una nota sulla concezione semi-intuizionistica della matematica 48
Relating Quine's NF to Feferman's EM 48
Remarks on predicative theories of classifications 48
Paradoxes, Self-Reference and Truth in the 20th Century 48
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) 47
A note on the theory of admissible sets with epsilon-induction restricted to formulas with one quantifiers and related systems 47
Review of: W.Pohlers, Proof Theory. An Introduction, Heidelberg-New York 47
Review of: Arai, Toshiyasu, Variations on a theme by Weiermann (English). J. Symb. Log. 63, No. 3, 897-925 (1998) 47
Feasible operations and applicative theories based on lambda eta 46
A note on three valued logic and Tarski's theorem on truthdefinitions 46
On the proof theory of weak Koenig's lemma 46
Non-extensional theories of predicative classes over PA, 44
Partial Truth 44
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) 44
On weak theories of sets and classes which are based on strict$Pi_1^1$-reflection 44
A remark on dependent choice and comprehension principles in second order arithmetic 44
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) 44
Review of: R. Solomon, Π11-CA0 and order types of countable ordered groups 43
REVIEW OF: M.RATHJEN, R.LUBARSKI, ON THE REGULAR EXTENSION AXIOM AND ITS VARIANTS, MATH. LOG.QUARTERLY , 59 (2003) 43
Review of: Heck, Richard G. jun., Self-reference and the languages of arithmetic of arithmetic. Philos. Math. (3) 15, No.1, 1-29 (2007) 42
Predication and Truth 41
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) 41
Review of: Chiari, Mario ; Krajicek, Jan.: Witnessing functions in bounded arithmetic and search problems (English). J. Symb. Log. 63, No. 3, 1095-1115 (1998) 41
Review of: B. R., George, Second-order characterizable cardinals and ordinals 41
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) 41
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 41
Review of: F. Ferreira, P. Oliva, Bounded functional interpretation, Annals of Pure and Applied Logic, 135, No. 1-3, 73-112 (2005),. 40
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) 40
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) 40
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), 40
Property theory variants of Frege structures 39
Untyped comprehension and self-referential properties 39
Review of: Gasarch, William; Hirst, Jeffry L.: Reverse mathematics and recursive graph theory (English), Math. Log. Q. 44, No. 4, 465-473 (1998) 39
Paradoxes and Contemporary Logic 39
Paradoxes and set existence 39
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) 39
Una teoria della predicatività secondo Poincaré 38
Fixed point constructions 38
Osservazioni su autoriferimento e verità 38
Proof-theoretic aspects of self-referential truth 38
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 38
Sigma-modelli di sottoteorie di KPI 37
Review of: P. G. Hinman, Recursion on abstract structures, in E. R. Griffor (ed.), Handbook of computability theory, Amsterdam: Elsevier. Studies in Logic and Foundations of Mathematics 140, 315-359 (1999) 37
A proposito di Filosofia e Matematica: dagli oggetti ideali alle dimostrazioni 37
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) 37
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 37
Sulla teoria dell'astrazione 36
Some consistency results concerning a theory of property 36
Tarski extensions of theories 36
The Veblen Hierarchy and the stability theorem for L 36
Review of: W. Buchholz, Finitary treatment of operator controlled derivations, Mathematical Logic Quarterly, 47, No.3, 363-396 (2001) 36
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 36
Proprietà e Operazioni 35
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) 35
Totale 6.033
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.535
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 19.535
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020892 0 122 10 139 50 145 51 152 46 33 137 7
2020/20211.104 78 15 120 119 21 160 56 158 62 157 34 124
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/2024640 45 82 132 52 33 47 23 124 23 37 19 23
2024/2025209 148 61 0 0 0 0 0 0 0 0 0 0
Totale 6.575