44 found
Order:
  1.  20
    First order predicate logic with generalized quantifiers.Per Lindström - 1966 - Theoria 32 (3):186--195.
  2.  77
    On Extensions of Elementary Logic.Per Lindström - 1969 - Theoria 35 (1):1-11.
  3. Aspects of Incompleteness.Per Lindström - 1999 - Studia Logica 63 (3):438-439.
     
    Export citation  
     
    My bibliography   11 citations  
  4. Remarks on Some Theorems of Keisler.Per Lindstrom - 1968 - Journal of Symbolic Logic 33 (4):571 - 576.
  5.  12
    The∀∃ Theory of Peano Σ1 Sentences.Per Lindström & V. Yu Shavrukov - 2008 - Journal of Mathematical Logic 8 (2):251-280.
  6.  13
    The ∀∃ Theory of Peano Σ1sentences.Per Lindström & V. Yu Shavrukov - 2008 - Journal of Mathematical Logic 8 (2):251-280.
  7.  55
    Provability Logic-a Short Introduction.Per Lindström - 1996 - Theoria 62 (1-2):19-61.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  8.  51
    Penrose's New Argument.Per Lindström - 2001 - 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)  
     
    Export citation  
     
    My bibliography   4 citations  
  9.  5
    On Certain Lattices of Degrees of Interpretability.Per Lindström - 1984 - Notre Dame Journal of Formal Logic 25 (2):127-140.
  10.  81
    Remarks on Penrose's New Argument.Per Lindstrom - 2006 - 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 (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  24
    Note on Some Fixed Point Constructions in Provability Logic.Per Lindström - 2006 - 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)  
     
    Export citation  
     
    My bibliography  
  12.  21
    On Model-Completeness.Per Lindström - 1964 - Theoria 30 (3):183-196.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  13. A Theorem on Partial Conservativity in Arithmetic.Per Lindström - 2011 - 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 (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14.  47
    Quasi-Realism in Mathematics.Per Lindström - 2000 - The Monist 83 (1):122-149.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  28
    Interpretability in Reflexive Theories - a Survey.Per Lindström - 1997 - Theoria 63 (3):182-209.
  16. On characterizability im Lw1w0.Per Lindström - 1966 - Theoria 32 (3):165.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  17.  23
    On Characterizability in Lω1ω.Per Lindström - 1966 - Theoria 32 (3):165-171.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  18.  24
    Omitting Uncountable Types and Extensions of Elementary Logic.Per Lindström - 1978 - Theoria 44 (3):152-156.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  19. A Characterization of Elementary Logic.Per Lindström - 1973 - In Sören Halldén (ed.), Modality, Morality and Other Problems of Sense and Nonsense. Lund, Gleerup. pp. 189--191.
     
    Export citation  
     
    My bibliography   3 citations  
  20. On Parikh Provability: An Exercise in Modal Logic.Per Lindstrom - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 53--287.
     
    Export citation  
     
    My bibliography   1 citation  
  21.  16
    Remarks on the Alleged Non-Determinateness of Certain Mathematical Concepts.Per Lindström - 2004 - In Christer Svennerlind (ed.), Ursus Philosophicus - Essays Dedicated to Björn Haglund on His Sixtieth Birthday. Philosophical Communications.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  22.  24
    On Relations Between Structures.Per Lindström - 1966 - Theoria 32 (3):172-185.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  3
    On ∑1 and ∏1 Sentences and Degrees of Interpretability.Per Lindström - 1993 - Annals of Pure and Applied Logic 61 (1-2):175-193.
  24.  22
    First-Order Logic.Per Lindström - unknown
  25. Att kunna göra som man vill.Per Lindström - 1998 - Norsk Filosofisk Tidsskrift 4.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  26. David Lewis’ teori för kontrafaktiska satser.Per Lindström - 1997 - Norsk Filosofisk Tidsskrift 4.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  27. Ett sista försök.Per Lindström - 1992 - Norsk Filosofisk Tidsskrift 2.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  28. Frankfurts exempel.Per Lindström - 1995 - Norsk Filosofisk Tidsskrift 3.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  29. Goodmans problem.Per Lindström - 2006 - Norsk Filosofisk Tidsskrift 4.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  30. ”jag Vet Hur Det Är, Men Jag Kan Inte Säga’t”.Per Lindström - 2007 - Norsk Filosofisk Tidsskrift 3.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  31. Kroppen och själen.Per Lindström - 1990 - Norsk Filosofisk Tidsskrift 11 (3):1.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  32. Logic and Abstraction Essays Dedicated to Per Lindström on His Fiftieth Birthday.Per Lindström, Mats Furberg, Thomas Wetterström & Claes Åberg - 1986
     
    Export citation  
     
    My bibliography  
  33. Näst sista ordet.Per Lindström - 2001 - Norsk Filosofisk Tidsskrift 1.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  34. On< I>∑< Sub> 1 and< I>∏< Sub> 1 Sentences and Degrees of Interpretability.Per Lindström - 1993 - Annals of Pure and Applied Logic 61 (1):175-193.
  35. Perssons svårigheter.Per Lindström - 1991 - Norsk Filosofisk Tidsskrift 3.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  36. Ross’ och Priors paradoxer.Per Lindström - 2008 - Filosofisk Tidskrift 4.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  37. Ross’ paradox.Per Lindström - 2007 - Norsk Filosofisk Tidsskrift 2.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  38. Röda turken och viljans frihet.Per Lindström - 1988 - Norsk Filosofisk Tidsskrift 9 (4):1.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  39. Searle om kropp-medvetande-problemet.Per Lindström - 1996 - Norsk Filosofisk Tidsskrift 1.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  40. Some Results in the Theory of Models of First Order Languages.Per Lindström - 1966 - Göteborg.
     
    Export citation  
     
    My bibliography  
  41. Utilitarismen och det kontrafaktiska.Per Lindström - 1997 - Norsk Filosofisk Tidsskrift 1.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  42. Vilse bland begreppen.Per Lindström - 1992 - Norsk Filosofisk Tidsskrift 2.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  43. Vad man rimligen kan kräva.Per Lindström - 2007 - Norsk Filosofisk Tidsskrift 1.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  44. Partially Generic Formulas in Arithmetic.Per Lindström - 1988 - Notre Dame Journal of Formal Logic 29 (2):185-192.