| Publication | Date of Publication | Type |
|---|
| Model theoretic characterizations of large cardinals revisited | 2025-01-08 | Paper |
| Games with filters. I | 2024-12-06 | Paper |
| Martin's maximum, saturated ideals and nonregular ultrafilters. II. | 2024-07-03 | Paper |
| Aronszajn trees and maximality -- Part 2 | 2023-05-13 | Paper |
| Subcompact cardinals, type omission, and ladder systems | 2022-08-29 | Paper |
| Forcing axioms and the Galvin number | 2022-06-30 | Paper |
| IDENTITY CRISIS BETWEEN SUPERCOMPACTNESS AND VǑPENKA’S PRINCIPLE | 2022-06-15 | Paper |
| Model Theoretic Characterizations of Large Cardinals Revisited | 2022-02-01 | Paper |
| THE TREE PROPERTY AT THE TWO IMMEDIATE SUCCESSORS OF A SINGULAR CARDINAL | 2021-10-27 | Paper |
| Inner models from extended logics. I | 2021-10-18 | Paper |
| Corson reflections | 2021-03-29 | Paper |
| Games with Filters | 2020-09-08 | Paper |
| Inner Models from Extended Logics: Part 1 | 2020-07-21 | Paper |
| The ineffable tree property and failure of the singular cardinals hypothesis | 2020-07-17 | Paper |
| The consistency strength of hyperstationarity | 2020-06-26 | Paper |
| Infinite monochromatic paths and a theorem of Erdős-Hajnal-Rado | 2020-05-20 | Paper |
| Destructibility of the tree property at \(\aleph_{\omega + 1}\) | 2020-04-06 | Paper |
| Subcompact cardinals, type omission and ladder systems | 2020-03-05 | Paper |
| Identity crises between supercompactness and Vopenka's Principle | 2019-05-29 | Paper |
| Omitting types in logic of metric structures | 2018-12-20 | Paper |
| On the spectrum of characters of ultrafilters | 2018-09-19 | Paper |
| On Boolean algebras with strictly positive measures | 2018-09-11 | Paper |
| Ordinal definable subsets of singular cardinals | 2018-08-22 | Paper |
| The eightfold way | 2018-05-02 | Paper |
| Singular cardinals and square properties | 2017-09-04 | Paper |
| Martin's maximum and the non-stationary ideal | 2017-08-27 | Paper |
| On the strengths and weaknesses of weak squares | 2017-07-11 | Paper |
| REFLECTION OF STATIONARY SETS AND THE TREE PROPERTY AT THE SUCCESSOR OF A SINGULAR CARDINAL | 2017-06-01 | Paper |
| On properties of compacta that do not reflect in small continuous images | 2017-03-16 | Paper |
| SPFA by finite conditions | 2017-02-02 | Paper |
| When an Equivalence Relation with All Borel Classes will be Borel Somewhere? | 2016-08-17 | Paper |
| Reflection and indescribability in the constructible universe | 2015-11-16 | Paper |
| On compactness for being \(\lambda\)-collectionwise Hausdorff | 2015-04-09 | Paper |
| On \(\omega_1\)-strongly compact cardinals | 2014-09-30 | Paper |
| Group radicals and strongly compact cardinals | 2014-03-12 | Paper |
| On supercompactness and the continuum function | 2013-12-10 | Paper |
| On the maximal resolvability of monotonically normal spaces | 2013-02-07 | Paper |
| Independence of the existence of Pitowsky spin models | 2012-12-01 | Paper |
| On Löwenheim-Skolem-Tarski numbers for extensions of first order logic | 2011-10-24 | Paper |
| Martin’s maximum and weak square | 2011-10-11 | Paper |
| Cardinal Arithmetic | 2010-11-05 | Paper |
| The number of normal measures | 2009-09-29 | Paper |
| Absoluteness for universally Baire sets and the uncountable. II | 2008-10-20 | Paper |
| On Partially Wellfounded Generic Ultrapowers | 2008-03-25 | Paper |
| Canonical structure in the universe of set theory. II. | 2006-09-14 | Paper |
| The non-compactness of square | 2005-02-09 | Paper |
| Canonical structure in the universe of set theory. I | 2004-11-22 | Paper |
| Squares, scales and stationary reflection | 2002-07-22 | Paper |
| Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\) | 2002-07-16 | Paper |
| Distance semantics for belief revision | 2002-05-13 | Paper |
| The consistency strength of successive cardinals with the tree property | 2002-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225610 | 2000-02-21 | Paper |
| The independence of | 1999-10-11 | Paper |
| A very weak square principle | 1998-01-06 | Paper |
| The tree property at successors of singular cardinals | 1997-11-05 | Paper |
| A temporal logic for proving properties of topologically general executions | 1997-05-12 | Paper |
| Instances of dependent choice and the measurability of \(\aleph _{\omega +1}\) | 1996-07-24 | Paper |
| Large cardinals and definable counterexamples to the continuum hypothesis | 1996-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4315598 | 1995-09-11 | Paper |
| When Does Almost Free Imply Free? (For Groups, Transversals, etc.) | 1995-08-24 | Paper |
| On reflection of stationary sets | 1994-11-27 | Paper |
| Erratum to: ``What does a conditional knowledge base entail? | 1994-09-05 | Paper |
| Extender based forcings | 1994-08-15 | Paper |
| On the mutual-exclusion problem -- a quest for minimal solutions | 1994-07-31 | Paper |
| Butler groups of arbitrary cardinality | 1994-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694294 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694295 | 1993-06-29 | Paper |
| What does a conditional knowledge base entail? | 1992-09-27 | Paper |
| On the strength of König's duality theorem for infinite bipartite graphs | 1992-09-27 | Paper |
| Nonmonotonic reasoning, preferential models and cumulative logics | 1992-06-25 | Paper |
| Chang's conjecture for \(\aleph_\omega\) | 1990-01-01 | Paper |
| Representing Sets of Ordinals as Countable Unions of Sets in the Core Model | 1990-01-01 | Paper |
| Shelah's pcf theory and its applications | 1990-01-01 | Paper |
| Correction to: ``Martin's maximum, saturated ideals, and non-regular ultrafilters. I | 1989-01-01 | Paper |
| Martin's maximum, saturated ideals, and nonregular ultrafilters. I | 1988-01-01 | Paper |
| The weak □* is really weaker than the full □ | 1986-01-01 | Paper |
| 0# and some forcing principles | 1986-01-01 | Paper |
| Two weak consequences of 0# | 1985-01-01 | Paper |
| Countably decomposable admissible sets | 1984-01-01 | Paper |
| On the standard part of nonstandard models of set theory | 1983-01-01 | Paper |
| The monadic theory of ω2 | 1983-01-01 | Paper |
| Reflecting stationary sets | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671151 | 1982-01-01 | Paper |
| Precipitous ideals | 1980-01-01 | Paper |
| Precipitous ideals and \(\sum^1_4\) sets | 1980-01-01 | Paper |
| On the Existence of Nonregular Ultrafilters and the Cardinality of Ultrapowers | 1979-01-01 | Paper |
| Changing cofinality of cardinals | 1978-01-01 | Paper |
| An ideal game | 1978-01-01 | Paper |
| On the singular cardinals problem. I | 1977-01-01 | Paper |
| Compact extensions of L(Q) (part 1a) | 1977-01-01 | Paper |
| Chang's conjecture and powers of singular cardinals | 1977-01-01 | Paper |
| On the singular cardinals problem. II | 1977-01-01 | Paper |
| Compactness and transfer for a fragment of L2 | 1977-01-01 | Paper |
| A Note on Regular Methods of Summability and the Banach-Saks Property | 1976-01-01 | Paper |
| How large is the first strongly compact cardinal? or a study on identity crises | 1976-01-01 | Paper |
| Combinatorial Characterization of Supercompact Cardinals | 1974-01-01 | Paper |
| On the role of supercompact and extendible cardinals in logic | 1971-01-01 | Paper |
| There are many normal ultrafilters corresponding to a supercompact cardinal | 1971-01-01 | Paper |
| Probabilistic tree automata and context free languages | 1970-01-01 | Paper |
| Decomposition theorems for finite sequential machines | 1968-01-01 | Paper |
| Inner Models from Extended Logics: Part 2 | N/A | Paper |
