| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7078766 (Why is no real title available?) | 2019-07-10 | Paper |
| scientific article; zbMATH DE number 6296803 (Why is no real title available?) | 2014-05-19 | Paper |
On characterizability in Lω1ω0
Theoria | 2012-02-07 | Paper |
On Relations between Structures
Theoria | 2012-02-07 | Paper |
| scientific article; zbMATH DE number 6003856 (Why is no real title available?) | 2012-02-07 | Paper |
A theorem on partial conservativity in arithmetic
Journal of Symbolic Logic | 2011-03-18 | Paper |
The theory of Peano _1 sentences
Journal of Mathematical Logic | 2010-03-19 | Paper |
Note on some fixed point constructions in provability logic
Journal of Philosophical Logic | 2006-08-14 | Paper |
Remarks on Penrose's ``new argument''
Journal of Philosophical Logic | 2006-08-14 | Paper |
| scientific article; zbMATH DE number 2014521 (Why is no real title available?) | 2003-12-08 | Paper |
Penrose's new argument
Journal of Philosophical Logic | 2001-06-26 | Paper |
Regularization tools for training large feed-forward neural networks using automatic differentiation<sup>∗</sup>
Optimization Methods & Software | 1999-05-25 | Paper |
| scientific article; zbMATH DE number 1163930 (Why is no real title available?) | 1998-11-01 | Paper |
Provability logic—a short introduction
Theoria | 1998-10-19 | Paper |
| scientific article; zbMATH DE number 1062120 (Why is no real title available?) | 1997-09-17 | Paper |
A parallel interval method implementation for global optimization using dynamic load balancing
Reliable Computing | 1996-03-14 | Paper |
On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability
Annals of Pure and Applied Logic | 1993-09-22 | Paper |
Partially generic formulas in arithmetic
Notre Dame Journal of Formal Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3957097 (Why is no real title available?) | 1985-01-01 | Paper |
A new linesearch algorithm for nonlinear least squares problems
Mathematical Programming | 1984-01-01 | Paper |
On Partially Conservative Sentences and Interpretability
Proceedings of the American Mathematical Society | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3957096 (Why is no real title available?) | 1984-01-01 | Paper |
On certain lattices of degrees of interpretability
Notre Dame Journal of Formal Logic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3782996 (Why is no real title available?) | 1979-01-01 | Paper |
Omitting uncountable types and extensions of Elementary logic
Theoria | 1978-01-01 | Paper |
On Characterizing Elementary Logic
Logical Theory and Semantic Analysis | 1974-01-01 | Paper |
On Extensions of Elementary Logic
Theoria | 1969-01-01 | Paper |
Remarks on some theorems of Keisler
Journal of Symbolic Logic | 1968-01-01 | Paper |
