Per Lindström

From MaRDI portal
Person:185577

Available identifiers

zbMath Open lindstrom.perWikidataQ2070025 ScholiaQ2070025MaRDI QIDQ6481406

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q49677022019-07-10Paper
https://portal.mardi4nfdi.de/entity/Q54161602014-05-19Paper
https://portal.mardi4nfdi.de/entity/Q31130462012-02-07Paper
On characterizability in Lω1ω02012-02-07Paper
On Relations between Structures2012-02-07Paper
A theorem on partial conservativity in arithmetic2011-03-18Paper
THE ∀∃ THEORY OF PEANO Σ1 SENTENCES2010-03-19Paper
Note on some fixed point constructions in provability logic2006-08-14Paper
Remarks on Penrose's ``new argument2006-08-14Paper
https://portal.mardi4nfdi.de/entity/Q44373312003-12-08Paper
Penrose's new argument2001-06-26Paper
Regularization tools for training large feed-forward neural networks using automatic differentiation1999-05-25Paper
https://portal.mardi4nfdi.de/entity/Q43955541998-11-01Paper
Provability logic—a short introduction1998-10-19Paper
https://portal.mardi4nfdi.de/entity/Q43547881997-09-17Paper
A parallel interval method implementation for global optimization using dynamic load balancing1996-03-14Paper
On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability1993-09-22Paper
Partially generic formulas in arithmetic1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37261101985-01-01Paper
A new linesearch algorithm for nonlinear least squares problems1984-01-01Paper
On Partially Conservative Sentences and Interpretability1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37261091984-01-01Paper
On certain lattices of degrees of interpretability1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39606901979-01-01Paper
Omitting uncountable types and extensions of Elementary logic1978-01-01Paper
On Characterizing Elementary Logic1974-01-01Paper
On Extensions of Elementary Logic1969-01-01Paper
Remarks on some theorems of Keisler1968-01-01Paper

Research outcomes over time

This page was built for person: Per Lindström