WorldCat Identities

Lindström, Per 1936-2009

Overview
Works: 23 works in 83 publications in 3 languages and 537 library holdings
Roles: Author, Honoree, Other
Classifications: QA9.65, 511.3
Publication Timeline
.
Most widely held works by Per Lindström
Aspects of incompleteness by Per Lindström( Book )

26 editions published between 1997 and 2017 in English and held by 295 WorldCat member libraries worldwide

"Since their inception, the 'Perspectives in Logic' and 'Lecture Notes in Logic' series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth publication in the 'Lecture Notes in Logic' series, Per Lindstrom presents some of the main topics and results in general metamathematics. In addition to standard results of Godel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, this book contains a thorough treatment of partial conservativity and degrees of interpretability. It comes complete with exercises, and will be useful as a textbook for graduate students with a background in logic, as well as a valuable resource for researchers."--Back cover
Logic and abstraction : essays dedicated to Per Lindström on his fiftieth birthday( Book )

10 editions published in 1986 in 3 languages and held by 92 WorldCat member libraries worldwide

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

12 editions published in 1966 in 3 languages and held by 31 WorldCat member libraries worldwide

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

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

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

3 editions published in 1981 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

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

Special issue on the arithmetization of metamathematics honouring Per Lindström( Book )

2 editions published in 1997 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

On faithful interpretability by Per Lindström( Book )

2 editions published in 1980 in English and held by 3 WorldCat member libraries 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

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

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

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

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

1 edition published in 1991 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.73 (from 0.69 for Aspects of ... to 0.98 for Five easy ...)

Aspects of incompleteness
Alternative Names
Lindström, Pelle 1936-2009

Per Lindström schwedischer Logiker

Per Lindström svensk matematiker

Per Lindström Swedish logician

Per Lindström Zweeds wiskundige

Languages
Covers