| Publication | Date of Publication | Type |
|---|
An AEC framework for fields with commuting automorphisms
Archive for Mathematical Logic | 2023-09-27 | Paper |
| Varieties of strictly n-generated Heyting algebras | 2023-06-21 | Paper |
| On highly equivalent non-isomorphic countable models of arithmetic and set theory | 2022-08-27 | Paper |
| On approximations of Feynman path integrals | 2022-08-12 | Paper |
On \(\Sigma_1^1\)-completeness of quasi-orders on \(\kappa^\kappa\)
Fundamenta Mathematicae | 2021-01-25 | Paper |
First-order model theory of free projective planes
Annals of Pure and Applied Logic | 2020-12-15 | Paper |
| Borel* sets in the generalized Baire space and infinitary languages | 2020-07-24 | Paper |
Borel* sets in the generalized Baire space and infinitary languages
(available as arXiv preprint) | 2020-07-24 | Paper |
Categoricity and universal classes
Mathematical Logic Quarterly | 2020-05-11 | Paper |
On the reducibility of isomorphism relations
Mathematical Logic Quarterly | 2020-04-29 | Paper |
Coxeter groups and abstract elementary classes: the right-angled case
Notre Dame Journal of Formal Logic | 2020-02-14 | Paper |
Coxeter groups and abstract elementary classes: the right-angled case
Notre Dame Journal of Formal Logic | 2020-02-14 | Paper |
Coxeter groups and abstract elementary classes: the right-angled case
Notre Dame Journal of Formal Logic | 2020-02-14 | Paper |
Reducibility of equivalence relations arising from nonstationary ideals under large cardinal assumptions
Notre Dame Journal of Formal Logic | 2020-02-14 | Paper |
Reducibility of equivalence relations arising from nonstationary ideals under large cardinal assumptions
Notre Dame Journal of Formal Logic | 2020-02-14 | Paper |
| On ultraproducts, the spectral theorem and rigged Hilbert spaces | 2020-02-10 | Paper |
Counting measure and forking in finite models
Logic Without Borders | 2020-02-03 | Paper |
| Hilbert spaces with generic predicates | 2019-02-18 | Paper |
Hilbert spaces with generic predicates
(available as arXiv preprint) | 2019-02-18 | Paper |
On eigenvectors, approximations and the Feynman propagator
Annals of Pure and Applied Logic | 2018-11-07 | Paper |
Measuring dependence in metric abstract elementary classes with perturbations
Journal of Symbolic Logic | 2018-01-11 | Paper |
Measuring dependence in metric abstract elementary classes with perturbations
Journal of Symbolic Logic | 2018-01-11 | Paper |
Categoricity and Universal Classes
(available as arXiv preprint) | 2017-12-22 | Paper |
Beyond abstract elementary classes: on the model theory of geometric lattices
Annals of Pure and Applied Logic | 2017-12-06 | Paper |
Beyond abstract elementary classes: on the model theory of geometric lattices
Annals of Pure and Applied Logic | 2017-12-06 | Paper |
A logic for arguing about probabilities in measure teams
Archive for Mathematical Logic | 2017-09-15 | Paper |
A logic for arguing about probabilities in measure teams
Archive for Mathematical Logic | 2017-09-15 | Paper |
| On large cardinals and generalized Baire spaces | 2017-08-09 | Paper |
A generalized Borel-reducibility counterpart of Shelah's main gap theorem
Archive for Mathematical Logic | 2017-05-11 | Paper |
A generalized Borel-reducibility counterpart of Shelah's main gap theorem
Archive for Mathematical Logic | 2017-05-11 | Paper |
Reduction of database independence to dividing in atomless Boolean algebras
Archive for Mathematical Logic | 2016-05-13 | Paper |
Quasiminimal structures, groups and Zariski-like geometries
Annals of Pure and Applied Logic | 2016-04-14 | Paper |
Quantum team logic and Bell's inequalities
The Review of Symbolic Logic | 2015-12-30 | Paper |
Beyond Abstract Elementary Classes: On The Model Theory of Geometric Lattices
(available as arXiv preprint) | 2015-12-04 | Paper |
On model theory of covers of algebraically closed fields
Annales Academiae Scientiarum Fennicae Mathematica | 2015-10-20 | Paper |
On Borel reducibility in generalized Baire space
Fundamenta Mathematicae | 2015-09-11 | Paper |
Forking in finite models
Notre Dame Journal of Formal Logic | 2015-07-20 | Paper |
On compactness of logics that can express properties of symmetry or connectivity
Studia Logica | 2015-06-18 | Paper |
On ‐complete equivalence relations on the generalized Baire space
Mathematical Logic Quarterly | 2015-03-19 | Paper |
On second-order characterizability
Logic Journal of the IGPL | 2015-02-27 | Paper |
Generalized descriptive set theory and classification theory
Memoirs of the American Mathematical Society | 2014-10-17 | Paper |
Beyond first order logic: from number of structures to structure of numbers. I
Bulletin of the Iranian Mathematical Society | 2014-07-09 | Paper |
Beyond first order logic: from number of structures to structure of numbers. II
Bulletin of the Iranian Mathematical Society | 2014-07-09 | Paper |
On Eigenvectors, Approximations and the Feynman Propagator
(available as arXiv preprint) | 2014-06-19 | Paper |
Quasiminimal structures and excellence
Bulletin of the London Mathematical Society | 2014-03-14 | Paper |
Quasiminimal structures and excellence
Bulletin of the London Mathematical Society | 2014-03-14 | Paper |
The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\)
Notre Dame Journal of Formal Logic | 2013-04-25 | Paper |
Interpreting groups and fields in simple, finitary AECs
Annals of Pure and Applied Logic | 2012-07-11 | Paper |
Metric abstract elementary classes with perturbations
Fundamenta Mathematicae | 2012-05-16 | Paper |
On Borel equivalence relations in generalized Baire space
Archive for Mathematical Logic | 2012-05-03 | Paper |
Categoricity transfer in simple finitary abstract elementary classes
Journal of Symbolic Logic | 2011-10-10 | Paper |
Potential isomorphism of elementary substructures of a strictly stable homogeneous model
Journal of Symbolic Logic | 2011-10-10 | Paper |
Weak Ehrenfeucht-Fraïssé games
Transactions of the American Mathematical Society | 2011-06-01 | Paper |
Lascar types and Lascar automorphisms in abstract elementary classes
Notre Dame Journal of Formal Logic | 2011-03-07 | Paper |
Categoricity in homogeneous complete metric spaces
Archive for Mathematical Logic | 2009-05-06 | Paper |
| scientific article; zbMATH DE number 5370105 (Why is no real title available?) | 2008-11-21 | Paper |
Canonical bases in excellent classes
Journal of Symbolic Logic | 2008-05-08 | Paper |
Canonical bases in excellent classes
Journal of Symbolic Logic | 2008-05-08 | Paper |
Superstability in simple finitary AECs
Fundamenta Mathematicae | 2007-09-20 | Paper |
Hilbert Spaces with Generic Predicates
(available as arXiv preprint) | 2007-04-12 | Paper |
Independence in finitary abstract elementary classes
Annals of Pure and Applied Logic | 2006-10-30 | Paper |
| Decidability of IF modal logic of perfect recall | 2006-08-15 | Paper |
| On local modularity in homogeneous structures | 2006-07-03 | Paper |
Simplicity and uncountable categoricity in excellent classes
Annals of Pure and Applied Logic | 2006-04-28 | Paper |
CARDINAL INVARIANTS AND EVENTUALLY DIFFERENT FUNCTIONS
Bulletin of the London Mathematical Society | 2006-03-22 | Paper |
Uncountably categorical local tame abstract elementary classes with disjoint amalgamation
Archive for Mathematical Logic | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2236693 (Why is no real title available?) | 2005-12-08 | Paper |
INTERPRETING GROUPS AND FIELDS IN SOME NONELEMENTARY CLASSES
Journal of Mathematical Logic | 2005-09-29 | Paper |
Types in abstract elementary classes
Notre Dame Journal of Formal Logic | 2005-07-06 | Paper |
Locally modular geometries in homogeneous structures
MLQ | 2005-06-01 | Paper |
| scientific article; zbMATH DE number 2149519 (Why is no real title available?) | 2005-03-30 | Paper |
Classification theory and 0#
Journal of Symbolic Logic | 2005-02-09 | Paper |
On potential isomorphism and non-structure
Archive for Mathematical Logic | 2004-09-22 | Paper |
Truth and definite truth
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
Finitely generated submodels of an uncountably categorical homogeneous structure
Mathematical Logic Quarterly | 2004-03-15 | Paper |
A rank for the class of elementary submodels of a superstable homogeneous model
Journal of Symbolic Logic | 2004-03-01 | Paper |
Finiteness of U‐rank implies simplicity in homogeneous structures
Mathematical Logic Quarterly | 2004-02-12 | Paper |
INTERPRETING GROUPS INSIDE MODULAR STRONGLY MINIMAL HOMOGENEOUS MODELS
Journal of Mathematical Logic | 2004-01-22 | Paper |
On non-wellfounded sets as fixed points of substitutions
Notre Dame Journal of Formal Logic | 2003-10-13 | Paper |
| Canonical Finite Diagrams and Quantifier Elimination | 2003-04-03 | Paper |
Potential isomorphism and semi-proper trees
Fundamenta Mathematicae | 2003-01-28 | Paper |
More on the Ehrenfeucht–Fraisse game of length ω1
Fundamenta Mathematicae | 2003-01-28 | Paper |
| scientific article; zbMATH DE number 1827967 (Why is no real title available?) | 2002-11-13 | Paper |
| A Remark on Weakly Compact Cardinals | 2002-11-13 | Paper |
Main gap for locally saturated elementary submodels of a homogeneous structure
The Journal of Symbolic Logic | 2002-08-07 | Paper |
Forcing a Boolean algebra with predesigned automorphism group
Proceedings of the American Mathematical Society | 2002-06-17 | Paper |
IF logic and the foundations of mathematics
Synthese | 2002-04-30 | Paper |
The canary tree revisited
Journal of Symbolic Logic | 2002-04-29 | Paper |
Henkin quantifiers and the definability of truth
Journal of Philosophical Logic | 2001-10-21 | Paper |
A remark on algebraic closure and orthogonality
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
Club-guessing and non-structure of trees
Fundamenta Mathematicae | 2001-06-17 | Paper |
Strong splitting in stable homogeneous models
Annals of Pure and Applied Logic | 2001-05-28 | Paper |
On the \(\kappa\)-cub game on \(\lambda\) and \(I[\lambda\)]
Archive for Mathematical Logic | 2001-05-02 | Paper |
On stability in finite models
Archive for Mathematical Logic | 2000-05-09 | Paper |
Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part C
Journal of Symbolic Logic | 1999-09-12 | Paper |
| scientific article; zbMATH DE number 1192201 (Why is no real title available?) | 1999-07-15 | Paper |
Stability and General Logics
Mathematical Logic Quarterly | 1999-05-24 | Paper |
On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure
Mathematical Logic Quarterly | 1999-03-02 | Paper |
Generalizing Morley's Theorem
Mathematical Logic Quarterly | 1998-06-08 | Paper |
On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure
Mathematical Logic Quarterly | 1997-08-20 | Paper |
Remarks on structure theorems for \(\omega_ 1\)-saturated models
Notre Dame Journal of Formal Logic | 1997-01-13 | Paper |
Forking and Incomplete Types
Mathematical Logic Quarterly | 1997-01-13 | Paper |
Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B
Journal of Symbolic Logic | 1996-05-01 | Paper |
Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A
Journal of Symbolic Logic | 1994-11-27 | Paper |
Remarks on strong nonstructure theorems
Notre Dame Journal of Formal Logic | 1993-12-06 | Paper |
On \(\kappa\)-complete reduced products
Archive for Mathematical Logic | 1992-09-26 | Paper |
Preservation by homomorphisms and infinitary languages
Notre Dame Journal of Formal Logic | 1992-06-28 | Paper |
Constructing strongly equivalent nonisomorphic models for unstable theories
Annals of Pure and Applied Logic | 1992-06-25 | Paper |
ON NON-DETERMINED EHRENFEUCHT-FRAÏSSÉ GAMES AND UNSTABLE THEORIES
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1992-01-01 | Paper |
Model theory for infinite quantifier languages
Fundamenta Mathematicae | 1990-01-01 | Paper |
On Scott and Karp trees of uncountable models
Journal of Symbolic Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4039871 (Why is no real title available?) | 1987-01-01 | Paper |
On Model Theory of Second-Order Objects
(available as arXiv preprint) | N/A | Paper |
