Per Lindström

Available identifiers

zbMath Open lindstrom.perWikidataQ2070025 ScholiaQ2070025MaRDI QIDQ6481406

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4967702	2019-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q5416160	2014-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q3113046	2012-02-07	Paper
On characterizability in Lω1ω0	2012-02-07	Paper
On Relations between Structures	2012-02-07	Paper
A theorem on partial conservativity in arithmetic	2011-03-18	Paper
THE ∀∃ THEORY OF PEANO Σ₁ SENTENCES	2010-03-19	Paper
Note on some fixed point constructions in provability logic	2006-08-14	Paper
Remarks on Penrose's ``new argument	2006-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q4437331	2003-12-08	Paper
Penrose's new argument	2001-06-26	Paper
Regularization tools for training large feed-forward neural networks using automatic differentiation^∗	1999-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4395554	1998-11-01	Paper
Provability logic—a short introduction	1998-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q4354788	1997-09-17	Paper
A parallel interval method implementation for global optimization using dynamic load balancing	1996-03-14	Paper
On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability	1993-09-22	Paper
Partially generic formulas in arithmetic	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3726110	1985-01-01	Paper
A new linesearch algorithm for nonlinear least squares problems	1984-01-01	Paper
On Partially Conservative Sentences and Interpretability	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3726109	1984-01-01	Paper
On certain lattices of degrees of interpretability	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3960690	1979-01-01	Paper
Omitting uncountable types and extensions of Elementary logic	1978-01-01	Paper
On Characterizing Elementary Logic	1974-01-01	Paper
On Extensions of Elementary Logic	1969-01-01	Paper
Remarks on some theorems of Keisler	1968-01-01	Paper

Research outcomes over time

This page was built for person: Per Lindström