Content: BIBLIOSortPubli: byDateDesc
Publityp: ALL
Filter Corrresp: ALL
PubliLang: ALL
Decade: ALL
Erik Palmgren
BibliographyBiographyWork & ideasLiteratureCORRESPALLBOOKSBOOKEDARTJRNLBYTITLECHRONOANTICHRONO
with Segerberg Krister (2009) Logicism, intuitionism, and formalism: what has become of them?, Dordrecht, Springer.- with Dybjer P, Lindström Sten, Sundholm Göran (2012) Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf, Dordrecht, Springer.
- with Lindström Sten, Westerståhl Dag (2012) Synthese 187 (3).
with Lindström Sten (2009) "Introduction: the three foundational programmes", in: Palmgren Erik; Segerberg Krister (ed), Logicism, intuitionism, and formalism: what has become of them?, Dordrecht, Springer, pp.1-23.- (2009) "From intuitionistic to point-free topology: on the foundation of homotopy theory", in: Palmgren Erik; Segerberg Krister (ed), Logicism, intuitionism, and formalism: what has become of them?, Dordrecht, Springer, pp.237-253.
- (2012) "Constructivist versus structuralist foundations", in: Dybjer P; Lindström Sten; Palmgren Erik; Sundholm Göran (ed), Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf, Dordrecht, Springer, pp.265-279.
- with Lindström Sten, Westerståhl Dag (2012) "Introduction: the philosophy of logical consequence and inference", Synthese 187 (3), pp.817-820.