| Publication | Date of Publication | Type |
|---|
Revisiting the Chadwick and Lu \& Pister models of finite thermoelasticity for isotropic materials
Computational Mechanics | 2026-04-02 | Paper |
Collapsing knowledge and epistemic Church's thesis
Gödel's Disjunction | 2020-04-02 | Paper |
| Structural Properties of ${\cal R}_2$ Part I | 2016-03-07 | Paper |
| Structural Properties of ${\cal R}_2$ Part II | 2016-03-07 | Paper |
Structural Properties of ${\cal R}_2$ Part I
(available as arXiv preprint) | 2016-01-01 | Paper |
Structural Properties of ${\cal R}_2$ Part II
(available as arXiv preprint) | 2016-01-01 | Paper |
Normal forms for elementary patterns
Journal of Symbolic Logic | 2012-04-19 | Paper |
On the conservativity of the axiom of choice over set theory
Archive for Mathematical Logic | 2011-11-23 | Paper |
Tracking chains of \(\varSigma_2\)-elementarity
Annals of Pure and Applied Logic | 2011-11-11 | Paper |
| Categoricity for Patterns of Order 2 | 2011-04-09 | Paper |
Categoricity for Patterns of Order 2
(available as arXiv preprint) | 2011-01-01 | Paper |
Patterns of resemblance of order 2
Annals of Pure and Applied Logic | 2009-04-09 | Paper |
Almost disjoint large subsets of semigroups
Topology and its Applications | 2008-02-14 | Paper |
Discrete n-tuples in Hausdorff spaces
Fundamenta Mathematicae | 2006-05-18 | Paper |
An infinitary extension of the Graham–Rothschild Parameter Sets Theorem
Transactions of the American Mathematical Society | 2006-04-03 | Paper |
| scientific article; zbMATH DE number 5014478 (Why is no real title available?) | 2006-03-23 | Paper |
| scientific article; zbMATH DE number 5014478 (Why is no real title available?) | 2006-03-23 | Paper |
| The Graham-Rothschild theorem and the algebra of W. | 2006-01-30 | Paper |
Ranked partial structures
Journal of Symbolic Logic | 2005-02-09 | Paper |
Elementary patterns of resemblance
Annals of Pure and Applied Logic | 2003-04-22 | Paper |
Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
Annals of Pure and Applied Logic | 2001-11-23 | Paper |
Ordinal arithmetic and \(\Sigma_1\)-elementarity
Archive for Mathematical Logic | 2000-05-17 | Paper |
| Strong Measure Zero and Strongly Meager Sets | 1993-08-23 | Paper |
| scientific article; zbMATH DE number 16110 (Why is no real title available?) | 1992-06-26 | Paper |
Some unifying principles in Ramsey theory
Discrete Mathematics | 1992-06-25 | Paper |
An infinitary version of the Graham-Leeb-Rothschild theorem
Journal of Combinatorial Theory. Series A | 1987-01-01 | Paper |
A dual form of Ramsey's theorem
Advances in Mathematics | 1984-01-01 | Paper |
