×
Author ID: lindstrom.per Recent zbMATH articles by "Lindström, Per"
Published as: Lindström, Per; Lindström, P.; Lindstroem, Per
External Links: MGP · Wikidata · GND · IdRef
Documents Indexed: 28 Publications since 1966, including 2 Books
Co-Authors: 4 Co-Authors with 4 Joint Publications
37 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 270 times in 230 Documents Cited by Year
First order predicate logic with generalized quantifiers. Zbl 1230.03072
Lindström, Per
98
1966
On extensions of elementary logic. Zbl 0206.27202
Lindström, P.
48
1969
Aspects of incompleteness. 2nd ed. Zbl 1036.03002
Lindström, Per
27
2003
Aspects of incompleteness. Zbl 0882.03054
Lindström, Per
25
1997
On partially conservative sentences and interpretability. Zbl 0577.03028
Lindström, Per
9
1984
Provability logic – a short introduction. Zbl 0897.03055
Lindström, Per
8
1996
On certain lattices of degrees of interpretability. Zbl 0552.03039
Lindström, Per
8
1984
The \(\forall \exists \) theory of Peano \(\Sigma_1\) sentences. Zbl 1191.03005
Lindström, Per; Shavrukov, V. Yu.
7
2008
On faithful interpretability. Zbl 0595.03052
Lindström, Per
5
1984
Regularization tools for training large feed-forward neural networks using automatic differentiation. Zbl 0913.68177
Eriksson, Jerry; Gulliksson, Mårten; Lindström, Per; Wedin, Per-Åke
4
1998
A new linesearch algorithm for nonlinear least squares problems. Zbl 0546.90076
Lindström, Per; Wedin, Per-Åke
4
1984
Omitting uncountable types and extensions of elementary logic. Zbl 0437.03016
Lindström, Per
4
1978
Penrose’s new argument. Zbl 0989.03010
Lindström, Per
3
2001
Remarks on some theorems of Keisler. Zbl 0181.30201
Lindström, P.
3
1968
Some results on interpretability. Zbl 0497.03044
Lindstroem, Per
3
1979
On characterizability in \(L_{\omega_1\omega_0}\). Zbl 1230.03071
Lindström, Per
3
1966
A parallel interval method implementation for global optimization using dynamic load balancing. Zbl 0833.65053
Eriksson, Jerry; Lindström, Per
2
1995
On characterizing elementary logic. Zbl 0289.02001
Lindström, Per
2
1974
On relations between structures. Zbl 1230.03069
Lindström, Per
2
1966
A theorem on partial conservativity in arithmetic. Zbl 1218.03033
Lindström, Per
1
2011
Partially generic formulas in arithmetic. Zbl 0649.03044
Lindström, Per
1
1988
A note on weak second order logic with variables for elementarily definable relations. Zbl 1416.03007
Lindström, Per
1
1973
Note on some fixed point constructions in provability logic. Zbl 1101.03041
Lindström, Per
1
2006
Remarks on Penrose’s “new argument”. Zbl 1101.03008
Lindström, Per
1
2006
A theorem on partial conservativity in arithmetic. Zbl 1218.03033
Lindström, Per
1
2011
The \(\forall \exists \) theory of Peano \(\Sigma_1\) sentences. Zbl 1191.03005
Lindström, Per; Shavrukov, V. Yu.
7
2008
Note on some fixed point constructions in provability logic. Zbl 1101.03041
Lindström, Per
1
2006
Remarks on Penrose’s “new argument”. Zbl 1101.03008
Lindström, Per
1
2006
Aspects of incompleteness. 2nd ed. Zbl 1036.03002
Lindström, Per
27
2003
Penrose’s new argument. Zbl 0989.03010
Lindström, Per
3
2001
Regularization tools for training large feed-forward neural networks using automatic differentiation. Zbl 0913.68177
Eriksson, Jerry; Gulliksson, Mårten; Lindström, Per; Wedin, Per-Åke
4
1998
Aspects of incompleteness. Zbl 0882.03054
Lindström, Per
25
1997
Provability logic – a short introduction. Zbl 0897.03055
Lindström, Per
8
1996
A parallel interval method implementation for global optimization using dynamic load balancing. Zbl 0833.65053
Eriksson, Jerry; Lindström, Per
2
1995
Partially generic formulas in arithmetic. Zbl 0649.03044
Lindström, Per
1
1988
On partially conservative sentences and interpretability. Zbl 0577.03028
Lindström, Per
9
1984
On certain lattices of degrees of interpretability. Zbl 0552.03039
Lindström, Per
8
1984
On faithful interpretability. Zbl 0595.03052
Lindström, Per
5
1984
A new linesearch algorithm for nonlinear least squares problems. Zbl 0546.90076
Lindström, Per; Wedin, Per-Åke
4
1984
Some results on interpretability. Zbl 0497.03044
Lindstroem, Per
3
1979
Omitting uncountable types and extensions of elementary logic. Zbl 0437.03016
Lindström, Per
4
1978
On characterizing elementary logic. Zbl 0289.02001
Lindström, Per
2
1974
A note on weak second order logic with variables for elementarily definable relations. Zbl 1416.03007
Lindström, Per
1
1973
On extensions of elementary logic. Zbl 0206.27202
Lindström, P.
48
1969
Remarks on some theorems of Keisler. Zbl 0181.30201
Lindström, P.
3
1968
First order predicate logic with generalized quantifiers. Zbl 1230.03072
Lindström, Per
98
1966
On characterizability in \(L_{\omega_1\omega_0}\). Zbl 1230.03071
Lindström, Per
3
1966
On relations between structures. Zbl 1230.03069
Lindström, Per
2
1966
all top 5

Cited by 239 Authors

17 Kurahashi, Taishi
14 Väänänen, Jouko Antero
13 Visser, Albert
9 Badia, Guillermo
7 Kontinen, Juha
6 Shavrukov, V. Yu.
5 Holcapek, Michal
5 Lindström, Per
5 Szymanik, Jakub
5 van Benthem, Johan F. A. K.
4 Dvořák, Antonín
4 Krynicki, Michał Marian
4 Novák, Vilém
4 Shelah, Saharon
4 Vollmer, Heribert
4 Walsh, Sean
4 Westerståhl, Dag
3 Caicedo, Xavier
3 Engström, Fredrik
3 Feferman, Solomon
3 Gulliksson, Mårten E.
3 Kikuchi, Makoto
3 Makowsky, Johann-Andreas
3 Olkhovikov, Grigory K.
3 Varzinczak, Ivan Jóse
2 Blanck, Rasmus
2 Britz, Katarina
2 Cheng, Yong
2 de Haan, Ronald
2 Enayat, Ali
2 Eriksson, Jerry
2 Freund, Anton
2 Gierasimczuk, Nina
2 Iwata, Sohei
2 Kalociński, Dariusz
2 Kennedy, Juliette Cara
2 Kirby, Laurence
2 Magidor, Menachem
2 McKenzie, Pierre
2 Mostowski, Marcin
2 Murinová, Petra
2 Noguera, Carles
2 Okawa, Yuya
2 Sher, Gila
2 Szczerba, Lesław W.
2 Venema, Yde
2 Wedin, Per-Åke
2 Zawadowski, Marek W.
2 Zoghifard, Reihane
1 Abramsky, Samson
1 Acosta, Ignacio Bellas
1 Aiguier, Marc
1 Andersson, Anders
1 Andréka, Hajnal
1 Antonelli, Gian Aldo
1 Avigad, Jeremy
1 Badia, Antonio
1 Barbero, Fausto
1 Barton, Neil
1 Baydin, Atılım Güneş
1 Beklemishev, Lev D.
1 Bennet, Christian
1 Berenguel, José L.
1 Bezhanishvili, Nick
1 Bloch, Isabelle
1 Bogaerts, Bart
1 Boney, Will
1 Bonnay, Denis
1 Carreiro, Facundo
1 Casado, Leocadio G.
1 Çevik, Ahmet Sinan
1 Ciardelli, Ivano A.
1 Cintula, Petr
1 Corradini, Antonella
1 Cui, Licong
1 D’Alfonso, Duilio
1 Dawar, Anuj
1 Dean, Walter
1 Delgado, Miguel Ángel
1 Di Paola, Robert A.
1 Diaconescu, Răzvan
1 Dimakopoulos, Vassilios V.
1 Downey, Rodney Graham
1 Durand, Arnaud
1 Džamonja, Mirna
1 Dzhaparidze, Giorgie
1 Ebbing, Johannes
1 Eder, Günther
1 Enqvist, Sebastian
1 Ésik, Zoltán
1 Facchini, Alessandro
1 Fan, Tuan-Fang
1 Finger, Marcelo
1 Flaminio, Tommaso
1 Frápolli, María José
1 Fritz, Peter
1 Fujimoto, Kentaro
1 Fujiwara, Makoto
1 Gaĭnă, Daniel
1 Gajda, Adam
...and 139 more Authors
all top 5

Cited in 54 Serials

25 Annals of Pure and Applied Logic
15 Studia Logica
13 Archive for Mathematical Logic
13 The Review of Symbolic Logic
12 The Journal of Symbolic Logic
11 Fuzzy Sets and Systems
11 Journal of Philosophical Logic
9 Journal of Logic, Language and Information
9 The Bulletin of Symbolic Logic
8 Synthese
7 Notre Dame Journal of Formal Logic
5 Archiv für Mathematische Logik und Grundlagenforschung
4 Logica Universalis
3 Journal of Computer and System Sciences
3 Transactions of the American Mathematical Society
3 Journal of Mathematical Logic
2 Israel Journal of Mathematics
2 Linguistics and Philosophy
2 Proceedings of the American Mathematical Society
2 Journal of Applied Non-Classical Logics
2 Mathematical Logic Quarterly (MLQ)
2 Erkenntnis
2 Journal of Applied Logic
1 Mathematical Notes
1 Mathematics of Computation
1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
1 Advances in Mathematics
1 Aplikace Matematiky
1 Applied Mathematics and Computation
1 Information Sciences
1 International Journal of Mathematics and Mathematical Sciences
1 Journal of Optimization Theory and Applications
1 Kybernetika
1 Mathematics and Computers in Simulation
1 Mathematical Programming
1 Numerische Mathematik
1 Theoretical Computer Science
1 History and Philosophy of Logic
1 Information and Computation
1 International Journal of Intelligent Systems
1 International Journal of Approximate Reasoning
1 MSCS. Mathematical Structures in Computer Science
1 Journal of Global Optimization
1 Bulletin of the Polish Academy of Sciences, Mathematics
1 Indagationes Mathematicae. New Series
1 Formal Methods in System Design
1 Annals of Mathematics and Artificial Intelligence
1 Optimization Methods & Software
1 RAIRO. Theoretical Informatics and Applications
1 Logic and Logical Philosophy
1 Theory and Practice of Logic Programming
1 Journal of Machine Learning Research (JMLR)
1 TWMS Journal of Pure and Applied Mathematics
1 Axiomathes

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.