Andreas Blass (blass-a)

Contributions à Philosophie.ch

Bibliography

Blass, Andreas. 1978. “A Model-Theoretic View of Some Special Ultrafilters.” in Logic Colloquium ’77, edited by Angus J. MacIntyre, Leszek Pacholski, and Jeffrey Bruce Paris, pp. 79–90. Studies in Logic and the Foundations of Mathematics n. 96. Amsterdam: North-Holland Publishing Co.
Blass, Andreas. 1984. “There are Not Exactly Five Objects.” The Journal of Symbolic Logic 49: 467–469.
Blass, Andreas. 1990. “Infinitary Combinatorics and Modal Logic.” The Journal of Symbolic Logic 55: 761–778.
Blass, Andreas, Dershowitz, Nachum and Gurevich, Yuri. 2009. “When are Two Algorithms the Same?” The Bulletin of Symbolic Logic 15(2): 145–168.
Blass, Andreas, Dershowitz, Nachum and Reisig, Wolfgang, eds. 2010. Fields of Logic and Computation. Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Berlin: Springer, doi:10.1007/978-3-642-15025-8.
Blass, Andreas and Gurevich, Yuri. 2000. “The Logic of Choice.” The Journal of Symbolic Logic 65(3): 1264–1310.
Blass, Andreas and Gurevich, Yuri. 2006. “Algorithms: A Quest for Absolute Definitions.” in Church’s Thesis After 70 Years, edited by Adam Olszewski, Jan Woleński, and Robert Janusz, pp. 24–57. Ontos Mathematical Logic n. 1. Heusenstamm b. Frankfurt: Ontos Verlag.
Blass, Andreas and Gurevich, Yuri. 2011. “Zero-One Laws: Thesauri and Parametric Conditions.” in Proof, Computation and Agency. Logic at the Crossroads, edited by Johan van Benthem, Amitabha Gupta, and Rohit Parikh, pp. 99–114. Synthese Library n. 352. Dordrecht: Springer.
Blass, Andreas, Gurevich, Yuri and Shelah, Saharon. 2002. “On Polynomial Time Computation over Unordered Structures.” The Journal of Symbolic Logic 67(3): 1093–1125.