Edit Profile (opens in new tab) Reyes, Gonzalo E. Co-Author Distance Author ID: reyes.gonzalo-e Published as: Reyes, Gonzalo E.; Reyes, G. E.; Reyes, Gonzalo more...less Documents Indexed: 69 Publications since 1970, including 7 Books and 2 Additional arXiv Preprints 3 Further Contributions Co-Authors: 23 Co-Authors with 56 Joint Publications 190 Co-Co-Authors all top 5 Co-Authors 15 single-authored 18 Kock, Anders Jungersen 11 Moerdijk, Ieke 6 La Palme Reyes, Marie 6 Makkai, Michael 5 Zolfaghari, Houman 3 Macintyre, Angus John 3 Macnamara, John 3 Troelstra, Anne Sjerp 2 Aczel, Peter 2 Barendregt, Hendrik Pieter 2 Burgess, John P. 2 Davis, Martin David 2 Devlin, Keith J. 2 Eklof, Paul C. 2 Enderton, Herbert B. 2 Feferman, Solomon 2 Fourman, Michael Paul 2 Galli, Adriana C. 2 Harrington, Leo A. 2 Jech, Thomas J. 2 Joyal, André 2 Juhász, István 2 Kechris, Alexander S. 2 Keisler, Howard Jerome 2 Kunen, Kenneth 2 Martin, Donald A. 2 Morley, Michael Darwin 2 Moschovakis, Yiannis Nicholas 2 Ngô van Quê 2 Paris, Jeffrey Bruce 2 Rabin, Michael O. 2 Rudin, Mary Ellen 2 Sagastume, Marta S. 2 Schwichtenberg, Helmut 2 Shönfield, Joseph R. 2 Shore, Richard Arnold 2 Simpson, Stephen G. 2 Smoryński, Craig 2 Statman, Richard 2 Stroyan, Keith D. 1 Agazzi, Evandro 1 Barwise, Kenneth Jon 1 Beauchemin, Pierre 1 Bélair, Luc 1 Belnap, Nuel D. jun. 1 Bocheński, Józef Maria 1 Bunge, Marta Cavallo 1 Casari, Ettore 1 Castro Perelman, Carlos 1 Dalla Chiara, Maria Luisa 1 Druck, Iole F. 1 Dubuc, Eduardo J. 1 Fenstad, Jens Erik 1 Fleischer, Isidore 1 Hermes, Hans 1 Hintikka, Jaakko 1 Kreisel, Georg 1 Lavendhomme, René 1 Lejewski, Czesław 1 Lucas, Thierry 1 Marquis, Jean-Pierre 1 Massey, Gerald J. 1 Que, Ngo van 1 Schütte, Kurt 1 Stalnaker, Robert C. 1 Surma, Stanislaw J. 1 Takeuti, Gaisi 1 van Fraassen, Bas C. 1 Veit, Barbara 1 von Wright, Georg Henrik 1 Wraith, Gavin C. 1 Zawadowski, Marek all top 5 Serials 6 Cahiers de Topologie et Géométrie Différentielle Catégoriques 3 Advances in Mathematics 3 Revista Colombiana de Matemáticas 2 Fundamenta Mathematicae 2 Journal of Pure and Applied Algebra 2 Logique et Analyse. Nouvelle Série 2 Mathematica Scandinavica 2 Notre Dame Journal of Formal Logic 2 Studia Logica 2 Theory and Applications of Categories 2 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 2 Studies in Logic and the Foundations of Mathematics 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Revue Roumaine de Mathématiques Pures et Appliquées 1 Annals of Mathematical Logic 1 Fuzzy Sets and Systems 1 Indagationes Mathematicae 1 Journal of Algebra 1 Journal of Philosophical Logic 1 The Journal of Symbolic Logic 1 History and Philosophy of Logic 1 Annals of Pure and Applied Logic 1 Bulletin de la Société Mathématique de Belgique. Série A 1 Philosophia Mathematica. Series III 1 Central European Journal of Mathematics 1 Lecture Notes in Mathematics 1 Synthese Library all top 5 Fields 46 Category theory; homological algebra (18-XX) 42 Mathematical logic and foundations (03-XX) 13 Geometry (51-XX) 11 Global analysis, analysis on manifolds (58-XX) 8 Algebraic geometry (14-XX) 5 Functional analysis (46-XX) 5 General topology (54-XX) 4 History and biography (01-XX) 4 Commutative algebra (13-XX) 4 Differential geometry (53-XX) 4 Algebraic topology (55-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Partial differential equations (35-XX) 1 General and overarching topics; collections (00-XX) 1 Measure and integration (28-XX) 1 Sequences, series, summability (40-XX) 1 Manifolds and cell complexes (57-XX) 1 Quantum theory (81-XX) 1 Relativity and gravitational theory (83-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 58 Publications have been cited 495 times in 376 Documents Cited by ▼ Year ▼ First order categorical logic. Model-theoretical methods in the theory of topoi and related categories. Zbl 0357.18002 Makkai, Michael; Reyes, Gonzalo E. 112 1977 Models for smooth infinitesimal analysis. Zbl 0715.18001 Moerdijk, Ieke; Reyes, Gonzalo E. 98 1991 Completeness results for intuitionistic and modal logic in a categorical setting. Zbl 0830.03036 Makkai, M.; Reyes, G. E. 61 1995 Bi-Heyting algebras, toposes and modalities. Zbl 0851.03022 Reyes, Gonzalo E.; Zolfaghari, Houman 22 1996 Rings of smooth functions and their localizations. I. Zbl 0592.18005 Moerdijk, I.; Reyes, G. E. 15 1986 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 14 1978 Local definability theory. Zbl 0217.30501 Reyes, G. E. 14 1970 A note on tangent bundles in a category with a ring object. Zbl 0392.18011 Reyes, G. E.; Wraith, G. C. 10 1978 Connections in formal differential geometry. Zbl 0418.18008 Kock, A.; Reyes, G. E. 9 1979 From sheaves to logic. Zbl 0344.02042 Reyes, Gonzalo E. 9 1974 Smooth spaces versus continuous spaces in models for synthetic differential geometry. Zbl 0535.18003 Moerdijk, Ieke; Reyes, Gonzalo E. 8 1984 Generic figures and their glueings. A constructive approach to functor categories. Zbl 1287.18001 La Palme Reyes, Marie; Reyes, Gonzalo E.; Zolfaghari, Houman 8 2004 A topos-theoretic approach to reference and modality. Zbl 0757.03013 Reyes, Gonzalo E. 7 1991 Théorie des modeles et faisceaux. Zbl 0409.03040 Reyes, Gonzalo E. 7 1978 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 7 1982 Smooth functors and synthetic calculus. Zbl 0544.51014 Ngo Van Quê; Reyes, Gonzalo E. 7 1982 Forms and integration in synthetic differential geometry. Zbl 0465.51005 Kock, A.; Reyes, G. E.; Veit, B. 7 1980 A smooth version of the Zariski topos. Zbl 0648.18006 Moerdijk, Ieke; Reyes, Gonzalo E. 7 1987 The history of categorical logic: 1963–1977. Zbl 1255.03011 Marquis, Jean-Pierre; Reyes, Gonzalo E. 6 2012 Formal systems for modal operators on locales. Zbl 0798.03016 Reyes, Gonzalo E.; Zawadowski, Marek W. 5 1993 Topos-theoretic approaches to modality. Zbl 0745.03015 Reyes, Gonzalo E.; Zolfaghari, Houman 5 1991 Models for synthetic integration theory. Zbl 0485.51017 Kock, A.; Reyes, G. E. 5 1981 Separably real closed local rings. Zbl 0604.18003 Joyal, André; Reyes, Gonzalo E. 5 1986 Relatively Boolean and De Morgan toposes and locales. Zbl 0806.18002 Kock, Anders; Reyes, Gonzalo E. 4 1994 Calcul infinitésimal en géométrie différentielle synthétique. Zbl 0561.51018 Bélair, Luc; Reyes, Gonzalo E. 4 1985 Completeness theorems via the double dual functor. Zbl 0948.03061 Galli, Adriana; Reyes, Gonzalo E.; Sagastume, Marta 3 2000 Boolean spectra and model completions. Zbl 0481.03021 Bunge, M. C.; Reyes, G. E. 3 1981 Formal systems for topos-theoretic modalities. Zbl 0685.03046 Lavendhomme, R.; Lucas, Th.; Reyes, G. E. 3 1989 Corrigendum and addenda to the paper “Convenient vector spaces embed…”. Zbl 0634.18007 Kock, A.; Reyes, G. E. 3 1987 Rings of smooth functions and their localizations. II. Zbl 0665.18012 Moerdijk, I.; Ngo Van Quê; Reyes, G. E. 3 1987 Manifolds in formal differential geometry. Zbl 0426.14001 Kock, A.; Reyes, G. E. 3 1979 Some calculus with extensive quantities: Wave equation. Zbl 1032.18005 Kock, Anders; Reyes, Gonzalo E. 3 2003 Ordinary differential equations and their exponentials. Zbl 1105.51004 Kock, Anders; Reyes, Gonzalo E. 3 2006 Manifolds in formal differential geometry. Zbl 0359.14015 Kock, A.; Reyes, G. E. 3 1977 A note on frame distributions. Zbl 0934.18003 Kock, Anders; Reyes, Gonzalo 2 1999 Aspects of fractional exponent functors. Zbl 0929.18002 Kock, Anders; Reyes, Gonzalo E. 2 1999 Cohomology theories in synthetic differential geometry. Zbl 0533.18005 Moerdijk, Ieke; Reyes, Gonzalo E. 2 1983 Subtoposes of the ring classifier. Zbl 0403.18003 Dubuc, E. J.; Reyes, G. E. 2 1979 Models for synthetic integration theory. (Preprint). Zbl 0415.51009 Kock, A.; Reyes, G. E. 2 1979 Synthetic reasoning and variable sets. Zbl 0589.51028 Reyes, Gonzalo E. 2 1986 Models for non-Boolean negations in natural languages based on aspect analysis. Zbl 0972.03029 La Palme Reyes, M.; Macnamara, J.; Reyes, G. E.; Zolfaghari, H. 2 1999 Model-theoretical methods in the theory of topoi and related categories. I. Zbl 0337.18004 Makkai, M.; Reyes, G. E. 2 1976 Model-theoretical methods in the theory of topoi and related categories. II. Zbl 0337.18005 Makkai, M.; Reyes, G. E. 2 1976 Functoriality and grammatical role in syllogisms. Zbl 0801.03003 La Palme Reyes, Marie; Macnamara, John; Reyes, Gonzalo E. 1 1994 Connections in formal differential geometry. Zbl 0371.53022 Kock, A.; Reyes, G. E. 1 1978 Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic. Zbl 1031.03081 Galli, Adriana; Reyes, Gonzalo E.; Sagastume, Marta 1 2003 Cohomology theories in synthetic differential geometry. Zbl 0652.51021 Moerdijk, Ieke; Reyes, Gonzalo E. 1 1986 Analyse dans les topos lisses. Zbl 0486.18011 Reyes, Gonzalo E. 1 1981 Sheaves and concepts: A modeltheoretic interpretation of Grothendieck topoi. Zbl 0396.18002 Reyes, Gonzalo E. 1 1977 Cramer’s rule in the Zariski topos. Zbl 0422.14002 Reyes, Gonzalo E. 1 1979 Forcing smooth square roots and integration. Zbl 0628.51011 Moerdijk, I.; van Quê, Ngo; Reyes, G. E. 1 1987 De Rham’s theorem in a smooth topos. Zbl 0582.55006 Moerdijk, Ieke; Reyes, Gonzalo E. 1 1984 Separably real closed local rings. Zbl 0617.18004 Joyal, André; Reyes, Gonzalo E. 1 1985 The tangent functor category revisited. Zbl 0623.58002 Moerdijk, Ieke; Reyes, Gonzalo E. 1 1986 Sur la convergence de suites de fonctions suivant des filtres. (On the convergence of sequences of functions through filters). Zbl 0717.40003 Druck, Iole F.; Reyes, Gonzalo E. 1 1988 Embedding manifolds with boundary in smooth toposes. Zbl 1128.51005 Reyes, Gonzalo E. 1 2007 Distributions and heat equation in SDG. Zbl 1098.58002 Kock, Anders; Reyes, Gonzalo 1 2006 \(L_{\omega_1, \omega}\) is enough: A reduction theorem for some infinitary languages. Zbl 0278.02015 Reyes, Gonzalo E. 1 1973 The history of categorical logic: 1963–1977. Zbl 1255.03011 Marquis, Jean-Pierre; Reyes, Gonzalo E. 6 2012 Embedding manifolds with boundary in smooth toposes. Zbl 1128.51005 Reyes, Gonzalo E. 1 2007 Ordinary differential equations and their exponentials. Zbl 1105.51004 Kock, Anders; Reyes, Gonzalo E. 3 2006 Distributions and heat equation in SDG. Zbl 1098.58002 Kock, Anders; Reyes, Gonzalo 1 2006 Generic figures and their glueings. A constructive approach to functor categories. Zbl 1287.18001 La Palme Reyes, Marie; Reyes, Gonzalo E.; Zolfaghari, Houman 8 2004 Some calculus with extensive quantities: Wave equation. Zbl 1032.18005 Kock, Anders; Reyes, Gonzalo E. 3 2003 Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic. Zbl 1031.03081 Galli, Adriana; Reyes, Gonzalo E.; Sagastume, Marta 1 2003 Completeness theorems via the double dual functor. Zbl 0948.03061 Galli, Adriana; Reyes, Gonzalo E.; Sagastume, Marta 3 2000 A note on frame distributions. Zbl 0934.18003 Kock, Anders; Reyes, Gonzalo 2 1999 Aspects of fractional exponent functors. Zbl 0929.18002 Kock, Anders; Reyes, Gonzalo E. 2 1999 Models for non-Boolean negations in natural languages based on aspect analysis. Zbl 0972.03029 La Palme Reyes, M.; Macnamara, J.; Reyes, G. E.; Zolfaghari, H. 2 1999 Bi-Heyting algebras, toposes and modalities. Zbl 0851.03022 Reyes, Gonzalo E.; Zolfaghari, Houman 22 1996 Completeness results for intuitionistic and modal logic in a categorical setting. Zbl 0830.03036 Makkai, M.; Reyes, G. E. 61 1995 Relatively Boolean and De Morgan toposes and locales. Zbl 0806.18002 Kock, Anders; Reyes, Gonzalo E. 4 1994 Functoriality and grammatical role in syllogisms. Zbl 0801.03003 La Palme Reyes, Marie; Macnamara, John; Reyes, Gonzalo E. 1 1994 Formal systems for modal operators on locales. Zbl 0798.03016 Reyes, Gonzalo E.; Zawadowski, Marek W. 5 1993 Models for smooth infinitesimal analysis. Zbl 0715.18001 Moerdijk, Ieke; Reyes, Gonzalo E. 98 1991 A topos-theoretic approach to reference and modality. Zbl 0757.03013 Reyes, Gonzalo E. 7 1991 Topos-theoretic approaches to modality. Zbl 0745.03015 Reyes, Gonzalo E.; Zolfaghari, Houman 5 1991 Formal systems for topos-theoretic modalities. Zbl 0685.03046 Lavendhomme, R.; Lucas, Th.; Reyes, G. E. 3 1989 Sur la convergence de suites de fonctions suivant des filtres. (On the convergence of sequences of functions through filters). Zbl 0717.40003 Druck, Iole F.; Reyes, Gonzalo E. 1 1988 A smooth version of the Zariski topos. Zbl 0648.18006 Moerdijk, Ieke; Reyes, Gonzalo E. 7 1987 Corrigendum and addenda to the paper “Convenient vector spaces embed…”. Zbl 0634.18007 Kock, A.; Reyes, G. E. 3 1987 Rings of smooth functions and their localizations. II. Zbl 0665.18012 Moerdijk, I.; Ngo Van Quê; Reyes, G. E. 3 1987 Forcing smooth square roots and integration. Zbl 0628.51011 Moerdijk, I.; van Quê, Ngo; Reyes, G. E. 1 1987 Rings of smooth functions and their localizations. I. Zbl 0592.18005 Moerdijk, I.; Reyes, G. E. 15 1986 Separably real closed local rings. Zbl 0604.18003 Joyal, André; Reyes, Gonzalo E. 5 1986 Synthetic reasoning and variable sets. Zbl 0589.51028 Reyes, Gonzalo E. 2 1986 Cohomology theories in synthetic differential geometry. Zbl 0652.51021 Moerdijk, Ieke; Reyes, Gonzalo E. 1 1986 The tangent functor category revisited. Zbl 0623.58002 Moerdijk, Ieke; Reyes, Gonzalo E. 1 1986 Calcul infinitésimal en géométrie différentielle synthétique. Zbl 0561.51018 Bélair, Luc; Reyes, Gonzalo E. 4 1985 Separably real closed local rings. Zbl 0617.18004 Joyal, André; Reyes, Gonzalo E. 1 1985 Smooth spaces versus continuous spaces in models for synthetic differential geometry. Zbl 0535.18003 Moerdijk, Ieke; Reyes, Gonzalo E. 8 1984 De Rham’s theorem in a smooth topos. Zbl 0582.55006 Moerdijk, Ieke; Reyes, Gonzalo E. 1 1984 Cohomology theories in synthetic differential geometry. Zbl 0533.18005 Moerdijk, Ieke; Reyes, Gonzalo E. 2 1983 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 7 1982 Smooth functors and synthetic calculus. Zbl 0544.51014 Ngo Van Quê; Reyes, Gonzalo E. 7 1982 Models for synthetic integration theory. Zbl 0485.51017 Kock, A.; Reyes, G. E. 5 1981 Boolean spectra and model completions. Zbl 0481.03021 Bunge, M. C.; Reyes, G. E. 3 1981 Analyse dans les topos lisses. Zbl 0486.18011 Reyes, Gonzalo E. 1 1981 Forms and integration in synthetic differential geometry. Zbl 0465.51005 Kock, A.; Reyes, G. E.; Veit, B. 7 1980 Connections in formal differential geometry. Zbl 0418.18008 Kock, A.; Reyes, G. E. 9 1979 Manifolds in formal differential geometry. Zbl 0426.14001 Kock, A.; Reyes, G. E. 3 1979 Subtoposes of the ring classifier. Zbl 0403.18003 Dubuc, E. J.; Reyes, G. E. 2 1979 Models for synthetic integration theory. (Preprint). Zbl 0415.51009 Kock, A.; Reyes, G. E. 2 1979 Cramer’s rule in the Zariski topos. Zbl 0422.14002 Reyes, Gonzalo E. 1 1979 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 14 1978 A note on tangent bundles in a category with a ring object. Zbl 0392.18011 Reyes, G. E.; Wraith, G. C. 10 1978 Théorie des modeles et faisceaux. Zbl 0409.03040 Reyes, Gonzalo E. 7 1978 Connections in formal differential geometry. Zbl 0371.53022 Kock, A.; Reyes, G. E. 1 1978 First order categorical logic. Model-theoretical methods in the theory of topoi and related categories. Zbl 0357.18002 Makkai, Michael; Reyes, Gonzalo E. 112 1977 Manifolds in formal differential geometry. Zbl 0359.14015 Kock, A.; Reyes, G. E. 3 1977 Sheaves and concepts: A modeltheoretic interpretation of Grothendieck topoi. Zbl 0396.18002 Reyes, Gonzalo E. 1 1977 Model-theoretical methods in the theory of topoi and related categories. I. Zbl 0337.18004 Makkai, M.; Reyes, G. E. 2 1976 Model-theoretical methods in the theory of topoi and related categories. II. Zbl 0337.18005 Makkai, M.; Reyes, G. E. 2 1976 From sheaves to logic. Zbl 0344.02042 Reyes, Gonzalo E. 9 1974 \(L_{\omega_1, \omega}\) is enough: A reduction theorem for some infinitary languages. Zbl 0278.02015 Reyes, Gonzalo E. 1 1973 Local definability theory. Zbl 0217.30501 Reyes, G. E. 14 1970 all cited Publications top 5 cited Publications all top 5 Cited by 350 Authors 20 Reyes, Gonzalo E. 16 Kock, Anders Jungersen 11 Makkai, Michael 10 Bunge, Marta Cavallo 9 Moerdijk, Ieke 8 Nishimura, Hirokazu 6 Palmgren, Erik 5 Giordano, Paolo Robuffo 5 Pitts, Andrew M. 5 Zawadowski, Marek 4 Butz, Carsten 4 Caramello, Olivia 4 Cruttwell, Geoffrey S. H. 4 Johnstone, Peter T. 4 Lavendhomme, René 4 Rosolini, Giuseppe 3 Beke, Tibor 3 Bruno, Oscar P. 3 Carboni, Aurelio 3 Caterina, Gianluca 3 Cockett, J. Robin B. 3 Dubuc, Eduardo J. 3 Funk, Jonathon R. 3 Gangle, Rocco 3 Ghilardi, Silvio 3 Jibladze, Mamuka A. 3 Karazeris, Panagis 3 Kennison, John F. 3 Krol, Jerzy 3 Maietti, Maria Emilia 3 Maruyama, Yoshihiro 3 McLarty, Colin 3 Pasquali, Fabio 3 Poizat, Bruno Petrovich 3 Rosický, Jiří 3 Ščedrov, Andrej 3 Stell, John G. 3 Streicher, Thomas 3 Vickers, Steven 2 Adelman, Murray 2 Aratake, Hisashi 2 Aravantinos-Sotiropoulos, Vasileios 2 Awodey, Steve 2 Bélair, Luc 2 Bell, John Lane 2 Bertram, Wolfgang 2 Blass, Andreas Raphael 2 Burke, Matthew J. 2 Cazenave, Thierry 2 Chen, Ruiyuan 2 de Paiva, Valeria 2 Diers, Yves 2 Espíndola, Christian 2 Esposito, Chiara 2 Estrada-González, Luis 2 Evans, David M. 2 Faran, James John 2 Fourman, Michael Paul 2 Freyd, Peter J. 2 Galli, Adriana C. 2 Garner, Richard 2 Gehrke, Mai 2 Grandis, Marco 2 Guitart, René 2 Harnik, Victor 2 Haviar, Miroslav 2 Heunen, Chris 2 Hyland, J. Martin E. 2 Imrich, Wilfried 2 Jacobs, Bart 2 Johnson, Joseph 2 Joyal, André 2 Kainz, Gerd 2 Kishida, Kohei 2 Kunzinger, Michael 2 Lawvere, Francis William 2 Lê Hông Vân 2 Lipton, James B. 2 Liu, Xuan 2 Lombardi, Henri 2 Lucyshyn-Wright, Rory B. B. 2 Lynch, James F. 2 MacCaull, W. A. 2 Mariano, Hugo Luiz 2 Marquès, Jérémie 2 Marra, Vincenzo 2 Martel, Yvan 2 Menni, Matías 2 Michor, Peter Wolfram 2 Minguez, M. Carmen 2 Moggi, Eugenio 2 Monro, G. P. 2 Mormann, Thomas 2 Pagliani, Piero 2 Patterson, Evan 2 Peterson, Clayton 2 Prest, Mike 2 Pridham, Jonathan Paul 2 Priestley, Hilary A. 2 Raptis, Ioannis A. ...and 250 more Authors all top 5 Cited in 98 Serials 59 Journal of Pure and Applied Algebra 35 Annals of Pure and Applied Logic 32 Cahiers de Topologie et Géométrie Différentielle Catégoriques 14 Advances in Mathematics 14 The Journal of Symbolic Logic 8 International Journal of Theoretical Physics 8 Studia Logica 7 Applied Categorical Structures 6 Journal of Geometry and Physics 6 Theoretical Computer Science 6 Logica Universalis 5 Journal of Philosophical Logic 5 Synthese 5 Theory and Applications of Categories 4 Fuzzy Sets and Systems 4 Transactions of the American Mathematical Society 4 Cahiers de Topologie et Géométrie Différentielle Catégoriques 3 Bulletin of the Australian Mathematical Society 3 Communications in Algebra 3 Letters in Mathematical Physics 3 Mathematical Proceedings of the Cambridge Philosophical Society 3 Journal of Algebra 3 Memoirs of the American Mathematical Society 3 Notre Dame Journal of Formal Logic 3 Information and Computation 3 The Bulletin of Symbolic Logic 3 Foundations of Physics 3 Journal of Noncommutative Geometry 2 Israel Journal of Mathematics 2 Archiv der Mathematik 2 Topology and its Applications 2 History and Philosophy of Logic 2 Journal of Applied Non-Classical Logics 2 Journal of Mathematical Sciences (New York) 2 Mathematical Logic Quarterly (MLQ) 2 Soft Computing 2 Journal of Applied Logic 2 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 2 Bulletin of the American Mathematical Society 2 São Paulo Journal of Mathematical Sciences 2 The Review of Symbolic Logic 2 Journal of Logical and Algebraic Methods in Programming 1 Archive for History of Exact Sciences 1 Communications in Mathematical Physics 1 Journal of Mathematical Analysis and Applications 1 Journal of Mathematical Physics 1 Periodica Mathematica Hungarica 1 The Mathematical Intelligencer 1 Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 1 Acta Mathematica Vietnamica 1 Algebra Universalis 1 Compositio Mathematica 1 Czechoslovak Mathematical Journal 1 Dissertationes Mathematicae 1 Duke Mathematical Journal 1 Journal of Differential Equations 1 Journal für die Reine und Angewandte Mathematik 1 Journal of Soviet Mathematics 1 Manuscripta Mathematica 1 Mathematica Slovaca 1 Mathematische Zeitschrift 1 Monatshefte für Mathematik 1 Proceedings of the American Mathematical Society 1 Quaestiones Mathematicae 1 Rendiconti del Seminario Matemàtico e Fisico di Milano 1 Bulletin of the Section of Logic 1 European Journal of Combinatorics 1 Order 1 Journal of Symbolic Computation 1 New Generation Computing 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 Differential Geometry and its Applications 1 Mathematical Structures in Computer Science 1 Bulletin of the American Mathematical Society. New Series 1 Expositiones Mathematicae 1 Archive for Mathematical Logic 1 Journal of Dynamics and Differential Equations 1 Indagationes Mathematicae. New Series 1 Journal of Algebraic Combinatorics 1 Journal of Logic, Language and Information 1 Russian Journal of Mathematical Physics 1 Diagrammes 1 Selecta Mathematica. New Series 1 Annales Henri Poincaré 1 Discrete and Continuous Dynamical Systems. Series B 1 Central European Journal of Mathematics 1 Iranian Journal of Fuzzy Systems 1 Journal of Homotopy and Related Structures 1 Journal of Topology 1 Tbilisi Mathematical Journal 1 Journal of Geometric Mechanics 1 Axiomathes 1 Arabian Journal of Mathematics 1 Annales Mathématiques du Québec 1 Nonlinear Analysis. Theory, Methods & Applications 1 British Journal for the History of Mathematics 1 Electronic Research Archive all top 5 Cited in 43 Fields 209 Category theory; homological algebra (18-XX) 205 Mathematical logic and foundations (03-XX) 53 Global analysis, analysis on manifolds (58-XX) 39 Order, lattices, ordered algebraic structures (06-XX) 36 Geometry (51-XX) 24 Computer science (68-XX) 22 Differential geometry (53-XX) 18 Algebraic geometry (14-XX) 17 Commutative algebra (13-XX) 15 General topology (54-XX) 15 Quantum theory (81-XX) 13 Functional analysis (46-XX) 12 Real functions (26-XX) 12 Algebraic topology (55-XX) 10 General algebraic systems (08-XX) 9 General and overarching topics; collections (00-XX) 9 Associative rings and algebras (16-XX) 8 Field theory and polynomials (12-XX) 8 Group theory and generalizations (20-XX) 7 Partial differential equations (35-XX) 6 History and biography (01-XX) 6 Nonassociative rings and algebras (17-XX) 6 Topological groups, Lie groups (22-XX) 6 Dynamical systems and ergodic theory (37-XX) 6 Manifolds and cell complexes (57-XX) 5 Relativity and gravitational theory (83-XX) 4 Combinatorics (05-XX) 3 Several complex variables and analytic spaces (32-XX) 3 Numerical analysis (65-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Ordinary differential equations (34-XX) 2 Convex and discrete geometry (52-XX) 2 Mechanics of particles and systems (70-XX) 1 Number theory (11-XX) 1 \(K\)-theory (19-XX) 1 Measure and integration (28-XX) 1 Functions of a complex variable (30-XX) 1 Difference and functional equations (39-XX) 1 Sequences, series, summability (40-XX) 1 Statistics (62-XX) 1 Mechanics of deformable solids (74-XX) 1 Operations research, mathematical programming (90-XX) 1 Mathematics education (97-XX) Citations by Year