Lindström, Per, 1936-
Lindström, Per, 1936-2009
Lindström, Per
Per Lindström svensk matematiker
VIAF ID: 40107897 ( Personal )
Permalink: http://viaf.org/viaf/40107897
Preferred Forms
- 100 1 _ ‡a Lindström, Per ‡d 1936-2009
-
- 100 1 _ ‡a Lindström, Per, ‡d 1936-....
-
- 100 1 _ ‡a Lindström, Per, ‡d 1936-2009
-
- 100 1 _ ‡a Lindström, Per
-
-
- 100 1 _ ‡a Lindström, Per ‡d 1936-...
- 100 1 _ ‡a Lindström, Per, ‡d 1936-
- 100 1 _ ‡a Lindström, Per, ‡d 1936-2009
- 100 0 _ ‡a Per Lindström ‡c svensk matematiker
4xx's: Alternate Name Forms (7)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
All's well that ends well : an introduction to the priority method in recursion theory | |
The arithmetization of metamathematics and some of its applications | |
Aspects of Incompleteness | |
First-order logic, c2011: | |
Five easy pieces | |
Four notes on arithmetical theories | |
Frankfurt's example | |
Logic and abstraction : essays dedicated to Per Lindström on his fiftieth birthday | |
The modal logic of Parikh provability | |
More on partially conservative sentences and interpretability | |
Morley's proof | |
Omitting uncountable types and extensions of elementary logic | |
On classes of structures PC over L∞[omega] | |
On [Sigma]1 and [Pi]1 degrees of interpretability | |
Some results in the theory of models of first order languages | |
Some results on relative interpretability | |
Trial and error relations and their guessing functions | |
Two questions concerning free will |