Edit Profile Dean, Edward T. Compute Distance To: Compute Author ID: dean.edward-t.1 Published as: Dean, Edward; Dean, Edward T. Documents Indexed: 3 Publications since 2009 Co-Authors 0 single-authored 3 Avigad, Jeremy 2 Rute, Jason 1 Mumma, John Serials 1 Annals of Pure and Applied Logic 1 Journal of Logic and Analysis 1 The Review of Symbolic Logic Fields 3 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) 1 Measure and integration (28-XX) 1 Geometry (51-XX) Publications by Year Citations contained in zbMATH 3 Publications have been cited 45 times in 45 Documents Cited by ▼ Year ▼ A formal system for Euclid’s Elements. Zbl 1188.03008Avigad, Jeremy; Dean, Edward; Mumma, John 33 2009 Algorithmic randomness, reverse mathematics, and the dominated convergence theorem. Zbl 1259.03021Avigad, Jeremy; Dean, Edward T.; Rute, Jason 11 2012 A metastable dominated convergence theorem. Zbl 1277.28003Avigad, Jeremy; Dean, Edward T.; Rute, Jason 1 2012 Algorithmic randomness, reverse mathematics, and the dominated convergence theorem. Zbl 1259.03021Avigad, Jeremy; Dean, Edward T.; Rute, Jason 11 2012 A metastable dominated convergence theorem. Zbl 1277.28003Avigad, Jeremy; Dean, Edward T.; Rute, Jason 1 2012 A formal system for Euclid’s Elements. Zbl 1188.03008Avigad, Jeremy; Dean, Edward; Mumma, John 33 2009 all top 5 Cited by 66 Authors 4 Beeson, Michael J. 4 Janičić, Predrag 4 Mumma, John 4 Narboux, Julien 3 Kreuzer, Alexander P. 3 Sanders, Sam 3 Shafer, Paul 2 Negri, Sara 2 Normann, Dag 2 Panza, Marco 2 Patey, Ludovic 2 Stojanović Đurđević, Sana 2 Stojanović, Sana 1 Achourioti, Theodora 1 Anatriello, Giuseppina 1 Antonutti Marfori, Marianna 1 Bezem, Marc 1 Bickford, Mark 1 Bienvenu, Laurent 1 Botana, Francisco 1 Boutry, Pierre 1 Brattka, Vasco 1 Chen, Xiaoyu 1 Chong, Chi Tat 1 Coliva, Annalisa 1 Constable, Robert Lee 1 De Toffoli, Silvia 1 Dorais, François Gilbert 1 Dyckhoff, Roy 1 Dzhafarov, Damir D. 1 Feferman, Solomon 1 Friedman, Michael A. 1 Gries, Charly 1 Günzel, Daniel 1 Hamami, Yacin 1 Hendtlass, Matthew Ralph John 1 Hirst, Jeffry Lynn 1 Hohenwarter, Markus 1 Hohol, Mateusz 1 Kellison, Ariel 1 Kohlenbach, Ulrich Wilhelm 1 Kovács, Zoltán 1 Lassalle Casanave, Abel 1 Li, Wei 1 Makowsky, Johann-Andreas 1 Martini, Horst 1 Mileti, Joseph R. 1 Miłkowski, Marcin 1 Naibo, Alberto 1 Nies, André Otfrid 1 Pavlović, Vesna 1 Petrovic, Ivan 1 Rabouin, David 1 Recio, Tomas 1 Schreck, Pascal 1 Sidoli, Nathan Camillo 1 Song, Dan 1 Van Bendegem, Jean Paul 1 van Lambalgen, Michiel Marian Michiel 1 Vincenzi, Giovanni 1 von Plato, Jan 1 Wang, Dongming 1 Wang, Wei 1 Weitzhofer, Simon 1 Wiedijk, Freek 1 Yang, Yue all top 5 Cited in 23 Serials 7 Synthese 6 Annals of Mathematics and Artificial Intelligence 2 The Journal of Symbolic Logic 2 Notre Dame Journal of Formal Logic 2 Proceedings of the American Mathematical Society 2 Annals of Pure and Applied Logic 2 Journal of Automated Reasoning 2 The Bulletin of Symbolic Logic 2 The Review of Symbolic Logic 1 Archive for History of Exact Sciences 1 Israel Journal of Mathematics 1 Advances in Mathematics 1 Studia Logica 1 Transactions of the American Mathematical Society 1 Archive for Mathematical Logic 1 Indagationes Mathematicae. New Series 1 Journal of Logic, Language and Information 1 Topoi 1 Journal for Geometry and Graphics 1 Foundations of Science 1 Transactions of the London Mathematical Society 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 British Journal for the History of Mathematics all top 5 Cited in 11 Fields 36 Mathematical logic and foundations (03-XX) 14 Geometry (51-XX) 10 General and overarching topics; collections (00-XX) 9 Computer science (68-XX) 8 History and biography (01-XX) 3 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Functional analysis (46-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Citations by Year