| Publication | Date of Publication | Type |
|---|
Erratum to: ``Boolean-valued second-order logic''
Notre Dame Journal of Formal Logic | 2026-08-28 | Paper |
The axiom of real determinacy and the axiom of real Blackwell determinacy
Annals of Pure and Applied Logic | 2026-05-15 | Paper |
Preservation of AD via forcings
Israel Journal of Mathematics | 2025-11-20 | Paper |
Boolean-valued second-order logic revisited
(available as arXiv preprint) | 2025-01-01 | Paper |
The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
(available as arXiv preprint) | 2025-01-01 | Paper |
Universally Baire sets in $2^{\kappa}$
(available as arXiv preprint) | 2024-01-01 | Paper |
Determinacy and regularity properties for idealized forcings
Mathematical Logic Quarterly | 2023-09-12 | Paper |
| Preservation of AD via forcings | 2023-04-02 | Paper |
| Forcing over choiceless models and generic absoluteness | 2022-12-29 | Paper |
On supercompactness of _1
(available as arXiv preprint) | 2022-11-11 | Paper |
Forcing over choiceless models and generic absoluteness
(available as arXiv preprint) | 2022-01-01 | Paper |
| I-regularity, determinacy, and \infty-Borel sets of reals | 2021-08-14 | Paper |
$I$-regularity, determinacy, and $\infty$-Borel sets of reals
(available as arXiv preprint) | 2021-01-01 | Paper |
On supercompactness of \omega₁
(available as arXiv preprint) | 2019-04-03 | Paper |
Borel subsets of the real line and continuous reducibility
Fundamenta Mathematicae | 2019-02-01 | Paper |
On a class of maximality principles
Archive for Mathematical Logic | 2018-08-16 | Paper |
Boolean-valued second-order logic
Notre Dame Journal of Formal Logic | 2015-05-22 | Paper |
Boolean-valued second-order logic
Notre Dame Journal of Formal Logic | 2015-05-22 | Paper |
Universal Gröbner basis associated with the maximum flow problem
Japan Journal of Industrial and Applied Mathematics | 2013-03-15 | Paper |
The axiom of real Blackwell determinacy
Archive for Mathematical Logic | 2013-02-04 | Paper |
Forcing absoluteness and regularity properties
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Projective absoluteness for Sacks forcing
Archive for Mathematical Logic | 2009-10-23 | Paper |
Modal Fixed-Point Logic and Changing Models
Pillars of Computer Science | 2008-03-25 | Paper |
Gröbner bases of certain zero-dimensional ideals arising in coding theory
Advances in Applied Mathematics | 2003-12-03 | Paper |
