45 found
Sort by:
  1. Per Lindström (2011). A Theorem on Partial Conservativity in Arithmetic. Journal of Symbolic Logic 76 (1):341 - 347.
    Improving on a result of Arana, we construct an effective family (φ r | r ∈ ℚ ⋂ [0, 1]) of Σ n -conservative Π n sentences, increasing in strength as r decreases, with the property that ¬φ p is Π n -conservative over PA + φ q whenever p < q. We also construct a family of Σ n sentences with properties as above except that the roles of Σ n and Π n are reversed. The latter result allows (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Per Lindström, First-Order Logic.
  3. Per Lindström (2008). Ross’ och Priors paradoxer. Norsk Filosofisk Tidsskrift 4.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  4. Per Lindström & V. Yu Shavrukov (2008). The∀∃ Theory of Peano Σ1 Sentences. Journal of Mathematical Logic 8 (2):251-280.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Per Lindström & V. Yu Shavrukov (2008). The ∀∃ Theory of Peano Σ1sentences. Journal of Mathematical Logic 8 (02):251-280.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Per Lindström (2007). ”jag Vet Hur Det Är, Men Jag Kan Inte Säga’t”. Norsk Filosofisk Tidsskrift 3.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  7. Per Lindström (2007). Ross’ paradox. Norsk Filosofisk Tidsskrift 2.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  8. Per Lindström (2007). Vad man rimligen kan kräva. Norsk Filosofisk Tidsskrift 1.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  9. Per Lindström (2006). Goodmans problem. Norsk Filosofisk Tidsskrift 4.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  10. Per Lindström (2006). Note on Some Fixed Point Constructions in Provability Logic. Journal of Philosophical Logic 35 (3):225 - 230.
    We present a quite simple proof of the fixed point theorem for GL. We also use this proof to show that Sambin's algorithm yields a fixed point.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Per Lindstrom (2006). On Parikh Provability: An Exercise in Modal Logic. In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. 53--287.
     
    My bibliography  
     
    Export citation  
  12. Per Lindstrom (2006). Remarks on Penrose's New Argument. Journal of Philosophical Logic 35 (3):231-237.
    It is commonly agreed that the well-known Lucas-Penrose arguments and even Penrose's 'new argument' in [Penrose, R. (1994): Shadows of the Mind, Oxford University Press] are inconclusive. It is, perhaps, less clear exactly why at least the latter is inconclusive. This note continues the discussion in [Lindström, P. (2001): Penrose's new argument, J. Philos. Logic 30, 241-250; Shapiro, S.(2003): Mechanism, truth, and Penrose's new argument, J. Philos. Logic 32, 19-42] and elsewhere of this question.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  13. Per Lindström (2004). Remarks on the Alleged Non-Determinateness of Certain Mathematical Concepts. In Christer Svennerlind (ed.), Ursus Philosophicus - Essays Dedicated to Björn Haglund on His Sixtieth Birthday. Philosophical Communications.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  14. Per Lindström (2001). Näst sista ordet. Norsk Filosofisk Tidsskrift 1.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  15. Per Lindström (2001). Penrose's New Argument. Journal of Philosophical Logic 30 (3):241-250.
    It has been argued, by Penrose and others, that Gödel's proof of his first incompleteness theorem shows that human mathematics cannot be captured by a formal system F: the Gödel sentence G(F) of F can be proved by a (human) mathematician but is not provable in F. To this argment it has been objected that the mathematician can prove G(F) only if (s)he can prove that F is consistent, which is unlikely if F is complicated. Penrose has invented a new (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  16. Per Lindström (2000). Quasi-Realism in Mathematics. The Monist 83 (1):122-149.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. Per Lindström (1999). Aspects of Incompleteness. Studia Logica 63 (3):438-439.
     
    My bibliography  
     
    Export citation  
  18. Per Lindström (1998). Att kunna göra som man vill. Norsk Filosofisk Tidsskrift 4.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  19. Per Lindström (1997). David Lewis’ teori för kontrafaktiska satser. Norsk Filosofisk Tidsskrift 4.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  20. Per Lindström (1997). Interpretability in Reflexive Theories - a Survey. Theoria 63 (3):182-209.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. Per Lindström (1997). Utilitarismen och det kontrafaktiska. Norsk Filosofisk Tidsskrift 1.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  22. Per Lindström (1996). Provability Logic-a Short Introduction. Theoria 62 (1-2):19-61.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Per Lindström (1996). Searle om kropp-medvetande-problemet. Norsk Filosofisk Tidsskrift 1.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  24. Per Lindström (1995). Frankfurts exempel. Norsk Filosofisk Tidsskrift 3.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  25. Per Lindström (1993). On ∑1 and ∏1 Sentences and Degrees of Interpretability. Annals of Pure and Applied Logic 61 (1-2):175-193.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Per Lindström (1993). On< I>∑< Sub> 1 and< I>∏< Sub> 1 Sentences and Degrees of Interpretability. Annals of Pure and Applied Logic 61 (1):175-193.
     
    My bibliography  
     
    Export citation  
  27. Per Lindström (1992). Ett sista försök. Norsk Filosofisk Tidsskrift 2.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  28. Per Lindström (1992). Vilse bland begreppen. Norsk Filosofisk Tidsskrift 2.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  29. Per Lindström (1991). Perssons svårigheter. Norsk Filosofisk Tidsskrift 3.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  30. Per Lindström (1990). Kroppen och själen. Norsk Filosofisk Tidsskrift 11 (3):1.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  31. Per Lindström (1988). Röda turken och viljans frihet. Norsk Filosofisk Tidsskrift 9 (4):1.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  32. Per Lindström (1988). Partially Generic Formulas in Arithmetic. Notre Dame Journal of Formal Logic 29 (2):185-192.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  33. Per Lindström, Mats Furberg, Thomas Wetterström & Claes Åberg (1986). Logic and Abstraction Essays Dedicated to Per Lindström on His Fiftieth Birthday. Monograph Collection (Matt - Pseudo).
    No categories
     
    My bibliography  
     
    Export citation  
  34. Per Lindström (1984). On Certain Lattices of Degrees of Interpretability. Notre Dame Journal of Formal Logic 25 (2):127-140.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  35. Per Lindström (1978). Omitting Uncountable Types and Extensions of Elementary Logic. Theoria 44 (3):152-156.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  36. Per Lindström (1973). A Characterization of Elementary Logic. In Sören Halldén (ed.), Modality, Morality and Other Problems of Sense and Nonsense. Lund,Gleerup. 189--191.
     
    My bibliography  
     
    Export citation  
  37. Per Lindström (1969). On Extensions of Elementary Logic. Theoria 35 (1):1-11.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  38. Per Lindström (1968). Remarks on Some Theorems of Keisler. Journal of Symbolic Logic 33 (4):571-576.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  39. Per Lindstrom (1968). Remarks on Some Theorems of Keisler. Journal of Symbolic Logic 33 (4):571 - 576.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  40. Per Lindström (1966). First order predicate logic with generalized quantifiers. Theoria 32 (3):186--195.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  41. Per Lindström (1966). On Characterizability in Lω1ω. Theoria 32 (3):165-171.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. Per Lindström (1966). On characterizability im Lw1w0. Theoria 32 (3):165.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  43. Per Lindström (1966). On Relations Between Structures. Theoria 32 (3):172-185.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  44. Per Lindström (1966). Some Results in the Theory of Models of First Order Languages. Göteborg.
     
    My bibliography  
     
    Export citation  
  45. Per Lindström (1964). On Model-Completeness. Theoria 30 (3):183-196.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation