×

zbMATH — the first resource for mathematics

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
Documents Indexed: 20 Publications since 1976, including 3 Books

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 172 times in 154 Documents Cited by Year
Sheaves and logic. Zbl 0415.03053
Fourman, M. P.; Scott, D. S.
76
1979
Formal spaces. Zbl 0537.03040
Fourman, M. P.; Grayson, R. J.
25
1982
Sheaf models for set theory. Zbl 0446.03041
Fourman, Michael P.
22
1980
Sheaf models for analysis. Zbl 0427.03028
Fourman, M. P.; Hyland, J. M. E.
21
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
Fourman, M. P. (ed.); Mulvey, C. J. (ed.); Scott, D. S. (ed.)
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
\(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
Continuous truth. II: Reflections. Zbl 1394.03084
Fourman, Michael P.
2
2013
Comparaison des réels d’un topos. Structures lisses sur un topos élémentaire. Zbl 0334.18009
Fourman, Michael P.
1
1976
Notions of choice sequence. Zbl 0545.03036
Fourman, Michael P.
1
1982
Continuous truth. II: Reflections. Zbl 1394.03084
Fourman, Michael P.
2
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.
25
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.
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.
76
1979
Sheaf models for analysis. Zbl 0427.03028
Fourman, M. P.; Hyland, J. M. E.
21
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
Fourman, M. P.; Mulvey, C. J.; Scott, D. S.
7
1979
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 155 Authors

8 Moerdijk, Ieke
6 Höhle, Ulrich
5 Scedrov, Andre
4 Awodey, Steve
4 Butz, Carsten
4 Johnstone, Peter T.
4 Ščedrov, Andrej
4 Šešelja, Branimir
4 Streicher, Thomas
4 Tepavčević, Andreja
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 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 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 Dubuc, Eduardo J.
1 Dupont, Pascal
1 Eghosa Edeghagba, Elijah
1 Fischer, Terri L.
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 Jankowski, Andrzej Wojciech
1 Jozsa, Richard
1 Kawai, Tatsuji
1 Kirchner, Hélène
1 Kopperman, Ralph D.
1 Krapež, Aleksandar
1 Kraus, Nicolai
1 Kremer, Philip
1 Krol, Jerzy
1 Kusraev, Anatoly Georgievich
1 Landsman, Nicolaas P.
1 Li, Wuchao
1 Lumsdaine, Peter LeFanu
1 Luo, Maokang
1 Lyubetsky, Vassily Aleksandrovich
...and 55 more Authors
all top 5

Cited in 48 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 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 Advances in Mathematics
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 Positivity
1 Journal of Applied Logic
1 Foundations of Physics
1 Logica Universalis
1 Journal of Commutative Algebra
1 Algorithms
1 Bollettino dell’Unione Matematica Italiana

Citations by Year

Wikidata Timeline

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