×

Fourman, Michael Paul

Compute Distance To:
Author ID: fourman.michael-paul Recent zbMATH articles by "Fourman, Michael Paul"
Published as: Fourman, Michael P.; Fourman, M. P.; Fourman, Michael; Fourman, Michael Paul
External Links: MGP · Wikidata · IdRef

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 189 times in 160 Documents Cited by Year
Sheaves and logic. Zbl 0415.03053
Fourman, M. P.; Scott, D. S.
78
1979
Formal spaces. Zbl 0537.03040
Fourman, M. P.; Grayson, R. J.
26
1982
Sheaf models for analysis. Zbl 0427.03028
Fourman, M. P.; Hyland, J. M. E.
23
1979
Sheaf models for set theory. Zbl 0446.03041
Fourman, Michael P.
22
1980
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
Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9–21, 1977. Zbl 0407.00001
7
1979
The ”World’s simplest axiom of choice” fails. Zbl 0499.03048
Fourman, M. P.; Scedrov, A.
5
1982
Compaction of symbolic layout using genetic algorithms. Zbl 0677.68090
Fourman, Michael
4
1988
Partial functions in a total setting. Zbl 0870.68136
Finn, Simon; Fourman, Michael P.; Longley, John
3
1997
Continuous truth. II: Reflections. Zbl 1394.03084
Fourman, Michael P.
3
2013
\(T_ 1\) spaces over topological sites. Zbl 0544.18002
Fourman, M. P.
3
1983
Continuous truth. I. Non-constructive objects. Zbl 0575.03041
Fourman, Michael P.
2
1984
Notions of choice sequence. Zbl 0545.03036
Fourman, Michael P.
2
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
Comparaison des réels d’un topos. Structures lisses sur un topos élémentaire. Zbl 0334.18009
Fourman, Michael P.
1
1976
Continuous truth. II: Reflections. Zbl 1394.03084
Fourman, Michael P.
3
2013
Partial functions in a total setting. Zbl 0870.68136
Finn, Simon; Fourman, Michael P.; Longley, John
3
1997
Compaction of symbolic layout using genetic algorithms. Zbl 0677.68090
Fourman, Michael
4
1988
Continuous truth. I. Non-constructive objects. Zbl 0575.03041
Fourman, Michael P.
2
1984
\(T_ 1\) spaces over topological sites. Zbl 0544.18002
Fourman, M. P.
3
1983
Formal spaces. Zbl 0537.03040
Fourman, M. P.; Grayson, R. J.
26
1982
The ”World’s simplest axiom of choice” fails. Zbl 0499.03048
Fourman, M. P.; Scedrov, A.
5
1982
Notions of choice sequence. Zbl 0545.03036
Fourman, Michael P.
2
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
Sheaf models for set theory. Zbl 0446.03041
Fourman, Michael P.
22
1980
Sheaves and logic. Zbl 0415.03053
Fourman, M. P.; Scott, D. S.
78
1979
Sheaf models for analysis. Zbl 0427.03028
Fourman, M. P.; Hyland, J. M. E.
23
1979
Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9–21, 1977. Zbl 0407.00001
7
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
9
1978
Comparaison des réels d’un topos. Structures lisses sur un topos élémentaire. Zbl 0334.18009
Fourman, Michael P.
1
1976
all top 5

Cited by 165 Authors

8 Moerdijk, Ieke
6 Höhle, Ulrich
5 Scedrov, Andre
5 Šešelja, Branimir
5 Tepavčević, Andreja
4 Awodey, Steve
4 Butz, Carsten
4 Johnstone, Peter T.
4 Ščedrov, Andrej
4 Streicher, Thomas
3 Blass, Andreas Raphael
3 Coquand, Thierry
3 Curi, Giovanni
3 Friedman, Harvey M.
3 Gambino, Nicola
3 Lubarsky, Robert S.
3 Sambin, Giovanni
3 Scowcroft, Philip
3 Simpson, Alex K.
3 Van den Berg, Benno
3 Zawadowski, Marek W.
3 Zhang, Dexue
2 Edalat, Abbas
2 Fourman, Michael Paul
2 Freyd, Peter J.
2 Gottwald, Siegfried
2 Heymans, Hans
2 Hötzel Escardó, Martín
2 Knobel, Andreas
2 Krauss, Alexander
2 Kubiak, Tomasz
2 Lai, Hongliang
2 Moczydłowski, Wojciech
2 Mulvey, Christopher J.
2 Nishimura, Hirokazu
2 Ozawa, Masanao
2 Picado, Jorge
2 Resende, Pedro
2 Sigstam, Inger
2 Smyth, Michael B.
2 Spitters, Bas
2 Tao, Yuanye
2 van Oosten, Jaap
2 Walters, Robert F. C.
2 Xu, Chuangjie
1 Ackerman, Nathanael Leedom
1 Adelman, Murray
1 Akishev, Galym
1 Altenkirch, Thorsten
1 Ambler, Simon J.
1 Banaschewski, Bernhard
1 Bell, John Lane
1 Bezhanishvili, Guram
1 Bleblou, Omalkhear Salem Almabruk
1 Bove, Ana
1 Budimirović, Branka
1 Budimirović, Vjekoslav
1 Bukatin, Michael A.
1 Cartmell, John
1 Cerruti, Umberto
1 Chermnykh, Vasiliĭ Vladimirovich
1 Ciraulo, Francesco
1 Cockett, Robin
1 Cohen, Cyril
1 Comer, Stephen Daniel
1 Corbett, John Vincent
1 Coulon, Jean-Louis
1 Coulon, Josette
1 Cui, Zhihua
1 De Lit, Pierre
1 Delchambre, Alain
1 Demirci, Mustafa
1 Diener, Hannes
1 Dubuc, Eduardo J.
1 Dupont, Pascal
1 Eghosa Edeghagba, Elijah
1 Eva, Benjamin
1 Fischer, Terri L.
1 Garner, Richard
1 Goldblatt, Robert Ian
1 Gutiérrez García, Javier
1 Heunen, Chris
1 Hintermeier, Claus
1 Hofmann, Martin
1 Hohti, Aarno
1 Holden, Marit
1 Holliday, Wesley H.
1 Huber, Simon
1 Hušek, Miroslav
1 Isbell, John Rolfe
1 Ishihara, Hajime
1 Jankowski, Andrzej Wojciech
1 Jozsa, Richard
1 Katsumata, Shin-ya
1 Kawai, Tatsuji
1 Kirchner, Hélène
1 Komorida, Yuichi
1 Kopperman, Ralph David
1 Krapež, Aleksandar
1 Kraus, Nicolai
...and 65 more Authors
all top 5

Cited in 51 Serials

30 Annals of Pure and Applied Logic
20 Fuzzy Sets and Systems
16 Journal of Pure and Applied Algebra
9 Theoretical Computer Science
6 Applied Categorical Structures
5 Studia Logica
4 The Journal of Symbolic Logic
3 Mathematical Proceedings of the Cambridge Philosophical Society
3 Advances in Mathematics
3 Synthese
3 Archive for Mathematical Logic
3 The Bulletin of Symbolic Logic
3 Logical Methods in Computer Science
2 International Journal of Theoretical Physics
2 Cahiers de Topologie et Géométrie Différentielle Catégoriques
2 Proceedings of the American Mathematical Society
2 Topology and its Applications
2 Journal of Automated Reasoning
2 The Review of Symbolic Logic
1 Communications in Mathematical Physics
1 Journal of Computational Physics
1 Journal of Mathematical Analysis and Applications
1 Journal of Mathematical Physics
1 Algebra and Logic
1 Algebra Universalis
1 Compositio Mathematica
1 Information Sciences
1 Journal of Computational and Applied Mathematics
1 Journal of Philosophical Logic
1 Manuscripta Mathematica
1 Notre Dame Journal of Formal Logic
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Transactions of the American Mathematical Society
1 International Journal of Production Research
1 Information and Computation
1 MSCS. Mathematical Structures in Computer Science
1 Bulletin of the American Mathematical Society. New Series
1 RAIRO. Informatique Théorique et Applications
1 Indagationes Mathematicae. New Series
1 Journal of Applied Non-Classical Logics
1 Journal of Mathematical Sciences (New York)
1 Filomat
1 Journal of Functional Programming
1 Positivity
1 Journal of Applied Logic
1 Foundations of Physics
1 Logica Universalis
1 Journal of Commutative Algebra
1 Algorithms
1 Journal of Logical and Algebraic Methods in Programming
1 Bollettino dell’Unione Matematica Italiana

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.