Angus J. MacIntyre (macintyre-a)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Kreisel, Georg and MacIntyre, Angus J. 1982. “Constructive Logic versus Algebraization I.” in The L.E.J. Brouwer Centenary Sympsoium, Proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981, edited by Anne Sjerp Troelstra and Dirk van Dalen, pp. 217–260. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.
L’Innocente, Sonia and MacIntyre, Angus J. 2008. “Towards Decidability of the Theory of Pseudo-Finite Dimensional Representations of sl2(k); I.” in Andrzej Mostowski and Foundational Studies, edited by Andrzej Ehrenfeucht, Wictor W. Marek, and Marian Srebrny, pp. 235–260. Amsterdam: IOS Press.
MacIntyre, Angus J. 1977. “Model Completeness.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 139–180. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.
MacIntyre, Angus J. 1980. “Model Theory.” in Modern Logic. A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic, edited by Evandro Agazzi, pp. 45–65. Synthese Library n. 149. Dordrecht: D. Reidel Publishing Co.