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: 67 Publications since 1970, including 7 Books 3 Further Contributions Co-Authors: 23 Co-Authors with 54 Joint Publications 186 Co-Co-Authors all top 5 Co-Authors 15 single-authored 16 Kock, Anders Jungersen 11 Moerdijk, Ieke 6 La Palme Reyes, Marie 6 Makkai, Michael 5 Zolfaghari, Houman 3 Barwise, Kenneth Jon 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 Beauchemin, Pierre 1 Bélair, Luc 1 Belnap, Nuel D. jun. 1 Bocheński, Józef Maria 1 Bunge, Marta C. 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 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 Takeuti, Gaisi 1 van Fraassen, Bas C. 1 Veit, Barbara 1 Wraith, Gavin C. 1 Zawadowski, Marek W. 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 44 Category theory; homological algebra (18-XX) 42 Mathematical logic and foundations (03-XX) 13 Geometry (51-XX) 9 Global analysis, analysis on manifolds (58-XX) 8 Algebraic geometry (14-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) 3 Functional analysis (46-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 447 times in 337 Documents Cited by ▼ Year ▼ Models for smooth infinitesimal analysis. Zbl 0715.18001Moerdijk, Ieke; Reyes, Gonzalo E. 91 1991 First order categorical logic. Model-theoretical methods in the theory of topoi and related categories. Zbl 0357.18002Makkai, Michael; Reyes, Gonzalo E. 87 1977 Completeness results for intuitionistic and modal logic in a categorical setting. Zbl 0830.03036Makkai, M.; Reyes, G. E. 61 1995 Bi-Heyting algebras, toposes and modalities. Zbl 0851.03022Reyes, Gonzalo E.; Zolfaghari, Houman 20 1996 Rings of smooth functions and their localizations. I. Zbl 0592.18005Moerdijk, I.; Reyes, G. E. 15 1986 Local definability theory. Zbl 0217.30501Reyes, G. E. 14 1970 A note on tangent bundles in a category with a ring object. Zbl 0392.18011Reyes, G. E.; Wraith, G. C. 10 1978 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 9 1978 Connections in formal differential geometry. Zbl 0418.18008Kock, A.; Reyes, G. E. 9 1979 Smooth spaces versus continuous spaces in models for synthetic differential geometry. Zbl 0535.18003Moerdijk, Ieke; Reyes, Gonzalo E. 8 1984 A smooth version of the Zariski topos. Zbl 0648.18006Moerdijk, Ieke; Reyes, Gonzalo E. 7 1987 Forms and integration in synthetic differential geometry. Zbl 0465.51005Kock, A.; Reyes, G. E.; Veit, B. 7 1980 Théorie des modeles et faisceaux. Zbl 0409.03040Reyes, Gonzalo E. 7 1978 A topos-theoretic approach to reference and modality. Zbl 0757.03013Reyes, Gonzalo E. 7 1991 Smooth functors and synthetic calculus. Zbl 0544.51014Ngo Van Quê; Reyes, Gonzalo E. 6 1982 Generic figures and their glueings. A constructive approach to functor categories. Zbl 1287.18001La Palme Reyes, Marie; Reyes, Gonzalo E.; Zolfaghari, Houman 6 2004 Separably real closed local rings. Zbl 0604.18003Joyal, André; Reyes, Gonzalo E. 5 1986 Models for synthetic integration theory. Zbl 0485.51017Kock, A.; Reyes, G. E. 5 1981 Formal systems for modal operators on locales. Zbl 0798.03016Reyes, Gonzalo E.; Zawadowski, Marek W. 5 1993 Calcul infinitésimal en géométrie différentielle synthétique. Zbl 0561.51018Bélair, Luc; Reyes, Gonzalo E. 4 1985 The history of categorical logic: 1963–1977. Zbl 1255.03011Marquis, Jean-Pierre; Reyes, Gonzalo E. 4 2012 From sheaves to logic. Zbl 0344.02042Reyes, Gonzalo E. 4 1974 Topos-theoretic approaches to modality. Zbl 0745.03015Reyes, Gonzalo E.; Zolfaghari, Houman 4 1991 Relatively Boolean and De Morgan toposes and locales. Zbl 0806.18002Kock, Anders; Reyes, Gonzalo E. 4 1994 Corrigendum and addenda to the paper “Convenient vector spaces embed…”. Zbl 0634.18007Kock, A.; Reyes, G. E. 3 1987 Completeness theorems via the double dual functor. Zbl 0948.03061Galli, Adriana; Reyes, Gonzalo E.; Sagastume, Marta 3 2000 Formal systems for topos-theoretic modalities. Zbl 0685.03046Lavendhomme, R.; Lucas, Th.; Reyes, G. E. 3 1989 Manifolds in formal differential geometry. Zbl 0426.14001Kock, A.; Reyes, G. E. 3 1979 Manifolds in formal differential geometry. Zbl 0359.14015Kock, A.; Reyes, G. E. 3 1977 Ordinary differential equations and their exponentials. Zbl 1105.51004Kock, Anders; Reyes, Gonzalo E. 3 2006 Synthetic reasoning and variable sets. Zbl 0589.51028Reyes, Gonzalo E. 2 1986 Aspects of fractional exponent functors. Zbl 0929.18002Kock, Anders; Reyes, Gonzalo E. 2 1999 Boolean spectra and model completions. Zbl 0481.03021Bunge, M. C.; Reyes, G. E. 2 1981 Models for non-Boolean negations in natural languages based on aspect analysis. Zbl 0972.03029La Palme Reyes, M.; Macnamara, J.; Reyes, G. E.; Zolfaghari, H. 2 1999 Rings of smooth functions and their localizations. II. Zbl 0665.18012Moerdijk, I.; Ngo Van Quê; Reyes, G. E. 2 1987 Cohomology theories in synthetic differential geometry. Zbl 0533.18005Moerdijk, Ieke; Reyes, Gonzalo E. 2 1983 Model-theoretical methods in the theory of topoi and related categories. I. Zbl 0337.18004Makkai, M.; Reyes, G. E. 2 1976 Model-theoretical methods in the theory of topoi and related categories. II. Zbl 0337.18005Makkai, M.; Reyes, G. E. 2 1976 Subtoposes of the ring classifier. Zbl 0403.18003Dubuc, E. J.; Reyes, G. E. 2 1979 Models for synthetic integration theory. (Preprint). Zbl 0415.51009Kock, A.; Reyes, G. E. 2 1979 Some calculus with extensive quantities: Wave equation. Zbl 1032.18005Kock, Anders; Reyes, Gonzalo E. 2 2003 A note on frame distributions. Zbl 0934.18003Kock, Anders; Reyes, Gonzalo 2 1999 Separably real closed local rings. Zbl 0617.18004Joyal, André; Reyes, Gonzalo E. 1 1985 The tangent functor category revisited. Zbl 0623.58002Moerdijk, Ieke; Reyes, Gonzalo E. 1 1986 Forcing smooth square roots and integration. Zbl 0628.51011Moerdijk, I.; van Quê, Ngo; Reyes, G. E. 1 1987 Cohomology theories in synthetic differential geometry. Zbl 0652.51021Moerdijk, Ieke; Reyes, Gonzalo E. 1 1986 De Rham’s theorem in a smooth topos. Zbl 0582.55006Moerdijk, Ieke; Reyes, Gonzalo E. 1 1984 Analyse dans les topos lisses. Zbl 0486.18011Reyes, Gonzalo E. 1 1981 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 1 1982 Sur la convergence de suites de fonctions suivant des filtres. (On the convergence of sequences of functions through filters). Zbl 0717.40003Druck, Iole F.; Reyes, Gonzalo E. 1 1988 Cramer’s rule in the Zariski topos. Zbl 0422.14002Reyes, Gonzalo E. 1 1979 Connections in formal differential geometry. Zbl 0371.53022Kock, A.; Reyes, G. E. 1 1978 Sheaves and concepts: A modeltheoretic interpretation of Grothendieck topoi. Zbl 0396.18002Reyes, Gonzalo E. 1 1977 Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic. Zbl 1031.03081Galli, Adriana; Reyes, Gonzalo E.; Sagastume, Marta 1 2003 Distributions and heat equation in SDG. Zbl 1098.58002Kock, Anders; Reyes, Gonzalo 1 2006 Embedding manifolds with boundary in smooth toposes. Zbl 1128.51005Reyes, Gonzalo E. 1 2007 Functoriality and grammatical role in syllogisms. Zbl 0801.03003La Palme Reyes, Marie; Macnamara, John; Reyes, Gonzalo E. 1 1994 \(L_{\omega_1, \omega}\) is enough: A reduction theorem for some infinitary languages. Zbl 0278.02015Reyes, Gonzalo E. 1 1973 The history of categorical logic: 1963–1977. Zbl 1255.03011Marquis, Jean-Pierre; Reyes, Gonzalo E. 4 2012 Embedding manifolds with boundary in smooth toposes. Zbl 1128.51005Reyes, Gonzalo E. 1 2007 Ordinary differential equations and their exponentials. Zbl 1105.51004Kock, Anders; Reyes, Gonzalo E. 3 2006 Distributions and heat equation in SDG. Zbl 1098.58002Kock, Anders; Reyes, Gonzalo 1 2006 Generic figures and their glueings. A constructive approach to functor categories. Zbl 1287.18001La Palme Reyes, Marie; Reyes, Gonzalo E.; Zolfaghari, Houman 6 2004 Some calculus with extensive quantities: Wave equation. Zbl 1032.18005Kock, Anders; Reyes, Gonzalo E. 2 2003 Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic. Zbl 1031.03081Galli, Adriana; Reyes, Gonzalo E.; Sagastume, Marta 1 2003 Completeness theorems via the double dual functor. Zbl 0948.03061Galli, Adriana; Reyes, Gonzalo E.; Sagastume, Marta 3 2000 Aspects of fractional exponent functors. Zbl 0929.18002Kock, Anders; Reyes, Gonzalo E. 2 1999 Models for non-Boolean negations in natural languages based on aspect analysis. Zbl 0972.03029La Palme Reyes, M.; Macnamara, J.; Reyes, G. E.; Zolfaghari, H. 2 1999 A note on frame distributions. Zbl 0934.18003Kock, Anders; Reyes, Gonzalo 2 1999 Bi-Heyting algebras, toposes and modalities. Zbl 0851.03022Reyes, Gonzalo E.; Zolfaghari, Houman 20 1996 Completeness results for intuitionistic and modal logic in a categorical setting. Zbl 0830.03036Makkai, M.; Reyes, G. E. 61 1995 Relatively Boolean and De Morgan toposes and locales. Zbl 0806.18002Kock, Anders; Reyes, Gonzalo E. 4 1994 Functoriality and grammatical role in syllogisms. Zbl 0801.03003La Palme Reyes, Marie; Macnamara, John; Reyes, Gonzalo E. 1 1994 Formal systems for modal operators on locales. Zbl 0798.03016Reyes, Gonzalo E.; Zawadowski, Marek W. 5 1993 Models for smooth infinitesimal analysis. Zbl 0715.18001Moerdijk, Ieke; Reyes, Gonzalo E. 91 1991 A topos-theoretic approach to reference and modality. Zbl 0757.03013Reyes, Gonzalo E. 7 1991 Topos-theoretic approaches to modality. Zbl 0745.03015Reyes, Gonzalo E.; Zolfaghari, Houman 4 1991 Formal systems for topos-theoretic modalities. Zbl 0685.03046Lavendhomme, 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.40003Druck, Iole F.; Reyes, Gonzalo E. 1 1988 A smooth version of the Zariski topos. Zbl 0648.18006Moerdijk, Ieke; Reyes, Gonzalo E. 7 1987 Corrigendum and addenda to the paper “Convenient vector spaces embed…”. Zbl 0634.18007Kock, A.; Reyes, G. E. 3 1987 Rings of smooth functions and their localizations. II. Zbl 0665.18012Moerdijk, I.; Ngo Van Quê; Reyes, G. E. 2 1987 Forcing smooth square roots and integration. Zbl 0628.51011Moerdijk, I.; van Quê, Ngo; Reyes, G. E. 1 1987 Rings of smooth functions and their localizations. I. Zbl 0592.18005Moerdijk, I.; Reyes, G. E. 15 1986 Separably real closed local rings. Zbl 0604.18003Joyal, André; Reyes, Gonzalo E. 5 1986 Synthetic reasoning and variable sets. Zbl 0589.51028Reyes, Gonzalo E. 2 1986 The tangent functor category revisited. Zbl 0623.58002Moerdijk, Ieke; Reyes, Gonzalo E. 1 1986 Cohomology theories in synthetic differential geometry. Zbl 0652.51021Moerdijk, Ieke; Reyes, Gonzalo E. 1 1986 Calcul infinitésimal en géométrie différentielle synthétique. Zbl 0561.51018Bélair, Luc; Reyes, Gonzalo E. 4 1985 Separably real closed local rings. Zbl 0617.18004Joyal, André; Reyes, Gonzalo E. 1 1985 Smooth spaces versus continuous spaces in models for synthetic differential geometry. Zbl 0535.18003Moerdijk, Ieke; Reyes, Gonzalo E. 8 1984 De Rham’s theorem in a smooth topos. Zbl 0582.55006Moerdijk, Ieke; Reyes, Gonzalo E. 1 1984 Cohomology theories in synthetic differential geometry. Zbl 0533.18005Moerdijk, Ieke; Reyes, Gonzalo E. 2 1983 Smooth functors and synthetic calculus. Zbl 0544.51014Ngo Van Quê; Reyes, Gonzalo E. 6 1982 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 1 1982 Models for synthetic integration theory. Zbl 0485.51017Kock, A.; Reyes, G. E. 5 1981 Boolean spectra and model completions. Zbl 0481.03021Bunge, M. C.; Reyes, G. E. 2 1981 Analyse dans les topos lisses. Zbl 0486.18011Reyes, Gonzalo E. 1 1981 Forms and integration in synthetic differential geometry. Zbl 0465.51005Kock, A.; Reyes, G. E.; Veit, B. 7 1980 Connections in formal differential geometry. Zbl 0418.18008Kock, A.; Reyes, G. E. 9 1979 Manifolds in formal differential geometry. Zbl 0426.14001Kock, A.; Reyes, G. E. 3 1979 Subtoposes of the ring classifier. Zbl 0403.18003Dubuc, E. J.; Reyes, G. E. 2 1979 Models for synthetic integration theory. (Preprint). Zbl 0415.51009Kock, A.; Reyes, G. E. 2 1979 Cramer’s rule in the Zariski topos. Zbl 0422.14002Reyes, Gonzalo E. 1 1979 A note on tangent bundles in a category with a ring object. Zbl 0392.18011Reyes, G. E.; Wraith, G. C. 10 1978 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 9 1978 Théorie des modeles et faisceaux. Zbl 0409.03040Reyes, Gonzalo E. 7 1978 Connections in formal differential geometry. Zbl 0371.53022Kock, A.; Reyes, G. E. 1 1978 First order categorical logic. Model-theoretical methods in the theory of topoi and related categories. Zbl 0357.18002Makkai, Michael; Reyes, Gonzalo E. 87 1977 Manifolds in formal differential geometry. Zbl 0359.14015Kock, A.; Reyes, G. E. 3 1977 Sheaves and concepts: A modeltheoretic interpretation of Grothendieck topoi. Zbl 0396.18002Reyes, Gonzalo E. 1 1977 Model-theoretical methods in the theory of topoi and related categories. I. Zbl 0337.18004Makkai, M.; Reyes, G. E. 2 1976 Model-theoretical methods in the theory of topoi and related categories. II. Zbl 0337.18005Makkai, M.; Reyes, G. E. 2 1976 From sheaves to logic. Zbl 0344.02042Reyes, Gonzalo E. 4 1974 \(L_{\omega_1, \omega}\) is enough: A reduction theorem for some infinitary languages. Zbl 0278.02015Reyes, Gonzalo E. 1 1973 Local definability theory. Zbl 0217.30501Reyes, G. E. 14 1970 all cited Publications top 5 cited Publications all top 5 Cited by 314 Authors 20 Reyes, Gonzalo E. 16 Kock, Anders Jungersen 11 Makkai, Michael 10 Bunge, Marta C. 8 Moerdijk, Ieke 8 Nishimura, Hirokazu 6 Palmgren, Erik 5 Pitts, Andrew M. 5 Zawadowski, Marek W. 4 Butz, Carsten 4 Cruttwell, G. S. H. 4 Giordano, Paolo Robuffo 4 Lavendhomme, René 3 Beke, Tibor 3 Bruno, Oscar P. 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 Johnstone, Peter T. 3 Karazeris, Panagis 3 Kennison, John F. 3 Krol, Jerzy 3 McLarty, Colin 3 Poizat, Bruno Petrovich 3 Rosický, Jiří 3 Rosolini, Giuseppe 3 Scedrov, Andre 3 Stell, John G. 3 Streicher, Thomas 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 Carboni, Aurelio 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 Grandis, Marco 2 Guitart, René 2 Haviar, Miroslav 2 Imrich, Wilfried 2 Johnson, Joseph 2 Joyal, André 2 Kainz, Gerd 2 Kishida, Kohei 2 Lawvere, Francis William 2 Lê Hông Vân 2 Lipton, James B. 2 Liu, Xuan 2 Lucyshyn-Wright, Rory B. B. 2 Lynch, James F. 2 MacCaull, W. A. 2 Maietti, Maria Emilia 2 Mariano, Hugo Luiz 2 Martel, Yvan 2 Maruyama, Yoshihiro 2 Michor, Peter Wolfram 2 Minguez, M. Carmen 2 Monro, G. P. 2 Mormann, Thomas 2 Pagliani, Piero 2 Pasquali, Fabio 2 Peterson, Clayton 2 Prest, Mike 2 Priestley, Hilary A. 2 Raptis, Ioannis A. 2 Rosenthal, Kimmo I. 2 Sagastume, Marta S. 2 Schenkel, Alexander 2 Smith, Simon M. 2 Somberg, Petr 2 Spivak, David I. 2 Stout, Lawrence Neff 2 Vanžura, Jiří 2 Vickers, Steven 2 Wolter, Frank 2 Wraith, Gavin C. 2 Yeshkeyev, Aibat Rafhatovich 2 Zhang, Ting 1 Ackerman, Nathanael Leedom 1 Aiguier, Marc ...and 214 more Authors all top 5 Cited in 93 Serials 52 Journal of Pure and Applied Algebra 32 Cahiers de Topologie et Géométrie Différentielle Catégoriques 30 Annals of Pure and Applied Logic 13 Advances in Mathematics 13 The Journal of Symbolic Logic 8 International Journal of Theoretical Physics 8 Studia Logica 6 Theoretical Computer Science 6 Applied Categorical Structures 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 Geometry and Physics 3 Memoirs of the American Mathematical Society 3 Notre Dame Journal of Formal Logic 3 The Bulletin of Symbolic Logic 2 Israel Journal of Mathematics 2 Archiv der Mathematik 2 Journal of Algebra 2 Topology and its Applications 2 History and Philosophy of Logic 2 Information and Computation 2 Journal of Applied Non-Classical Logics 2 Mathematical Logic Quarterly (MLQ) 2 Soft Computing 2 Foundations of Physics 2 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 2 Bulletin of the American Mathematical Society 2 Journal of Noncommutative Geometry 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 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 Rendiconti del Seminario Matemàtico e Fisico di Milano 1 Bulletin of the Section of Logic 1 European Journal of Combinatorics 1 Order 1 New Generation Computing 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 MSCS. 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 Journal of Mathematical Sciences (New York) 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 Journal of Applied Logic 1 Iranian Journal of Fuzzy Systems 1 Journal of Homotopy and Related Structures 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 41 Fields 187 Category theory; homological algebra (18-XX) 181 Mathematical logic and foundations (03-XX) 48 Global analysis, analysis on manifolds (58-XX) 35 Geometry (51-XX) 34 Order, lattices, ordered algebraic structures (06-XX) 22 Differential geometry (53-XX) 20 Computer science (68-XX) 16 Algebraic geometry (14-XX) 15 Commutative algebra (13-XX) 15 General topology (54-XX) 12 Quantum theory (81-XX) 11 Functional analysis (46-XX) 10 Real functions (26-XX) 9 General algebraic systems (08-XX) 9 Associative rings and algebras (16-XX) 9 Algebraic topology (55-XX) 8 General and overarching topics; collections (00-XX) 8 Group theory and generalizations (20-XX) 7 History and biography (01-XX) 7 Field theory and polynomials (12-XX) 7 Partial differential equations (35-XX) 6 Nonassociative rings and algebras (17-XX) 6 Topological groups, Lie groups (22-XX) 6 Manifolds and cell complexes (57-XX) 5 Dynamical systems and ergodic theory (37-XX) 4 Combinatorics (05-XX) 4 Relativity and gravitational theory (83-XX) 3 Several complex variables and analytic spaces (32-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Ordinary differential equations (34-XX) 2 Numerical analysis (65-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 Difference and functional equations (39-XX) 1 Sequences, series, summability (40-XX) 1 Convex and discrete geometry (52-XX) 1 Statistics (62-XX) 1 Mechanics of deformable solids (74-XX) 1 Mathematics education (97-XX) Citations by Year