WorldCat Identities

Lindström, Per 1936-2009

Overview
Works: 21 works in 67 publications in 2 languages and 448 library holdings
Roles: Author
Classifications: QA9.65, 511.3
Publication Timeline
.
Most widely held works by Per Lindström
Aspects of incompleteness by Per Lindström( Book )

23 editions published between 1997 and 2003 in English and held by 283 WorldCat member libraries worldwide

This book presents some of the main areas and results of general metamathematics. In addition to standard results of Gödel et al. on incompleteness, (non- )finite axiomatizability, interpretability, etc., it contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization plays an all important role in the book. The reader is assumed to be acquainted with this method and with the elements of recursion theory. The book will be useful as a textbook for a graduate student course - there are many exercises - and as a reference text for researchers
Logic and abstraction : essays dedicated to Per Lindström on his fiftieth birthday( Book )

3 editions published in 1986 in English and held by 73 WorldCat member libraries worldwide

Some results in the theory of models of first order languages by Per Lindström( Book )

11 editions published in 1966 in 3 languages and held by 30 WorldCat member libraries worldwide

First-order logic by Per Lindström( Book )

3 editions published in 2011 in English and held by 15 WorldCat member libraries worldwide

More on partially conservative sentences and interpretability by Per Lindström( Book )

3 editions published in 1982 in English and held by 4 WorldCat member libraries worldwide

Trial and error relations and their guessing functions by Per Lindström( Book )

3 editions published in 1978 in English and held by 4 WorldCat member libraries worldwide

Some results on relative interpretability by Per Lindström( Book )

3 editions published in 1978 in English and Undetermined and held by 4 WorldCat member libraries worldwide

Remarks on provability and interpretability by Per Lindström( Book )

2 editions published in 1981 in English and held by 4 WorldCat member libraries worldwide

On faithful interpretability by Per Lindström( Book )

2 editions published in 1980 in English and held by 3 WorldCat member libraries worldwide

Notes on partially conservative sentences and interpretability by Per Lindström( Book )

2 editions published in 1980 in English and held by 3 WorldCat member libraries worldwide

Omitting uncountable types and extensions of elementary logic by Per Lindström( Book )

2 editions published in 1978 in Undetermined and English and held by 3 WorldCat member libraries worldwide

Two questions concerning free will by Per Lindström( Book )

1 edition published in 1990 in English and held by 1 WorldCat member library worldwide

Five easy pieces by Per Lindström( Book )

1 edition published in 1995 in English and held by 1 WorldCat member library worldwide

All's well that ends well : an introduction to the priority method in recursion theory by Per Lindström( Book )

1 edition published in 1992 in English and held by 1 WorldCat member library worldwide

Morley's proof by Per Lindström( Book )

1 edition published in 1992 in English and held by 1 WorldCat member library worldwide

The arithmetization of metamathematics and some of its applications by Per Lindström( Book )

1 edition published in 1993 in English and held by 1 WorldCat member library worldwide

The modal logic of Parikh provability by Per Lindström( Book )

1 edition published in 1994 in English and held by 1 WorldCat member library worldwide

Frankfurt's example by Per Lindström( Book )

1 edition published in 1991 in English and held by 1 WorldCat member library worldwide

Four notes on arithmetical theories by Per Lindström( Book )

1 edition published in 1992 in English and held by 1 WorldCat member library worldwide

On [Sigma]1 and [Pi]1 degrees of interpretability by Per Lindström( Book )

1 edition published in 1993 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.74 (from 0.70 for Aspects of ... to 0.98 for Five easy ...)

Aspects of incompleteness
Alternative Names
Per Lindström schwedischer Logiker

Per Lindström svensk matematiker

Per Lindström Swedish logician

Per Lindström Zweeds wiskundige

Languages
Covers