| Publication | Date of Publication | Type |
|---|
Model theoretic characterizations of large cardinals revisited
Transactions of the American Mathematical Society | 2025-01-08 | Paper |
Games with filters. I
Journal of Mathematical Logic | 2024-12-06 | Paper |
Martin's maximum, saturated ideals and nonregular ultrafilters. II.
Annals of Mathematics. Second Series | 2024-07-03 | Paper |
Aronszajn trees and maximality -- Part 2
| 2023-05-13 | Paper |
Subcompact cardinals, type omission, and ladder systems
Journal of Symbolic Logic | 2022-08-29 | Paper |
Forcing axioms and the Galvin number
Periodica Mathematica Hungarica | 2022-06-30 | Paper |
IDENTITY CRISIS BETWEEN SUPERCOMPACTNESS AND VǑPENKA’S PRINCIPLE
Journal of Symbolic Logic | 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
Journal of Symbolic Logic | 2021-10-27 | Paper |
Inner models from extended logics. I
Journal of Mathematical Logic | 2021-10-18 | Paper |
Corson reflections
Annals of Pure and Applied Logic | 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
Transactions of the American Mathematical Society | 2020-07-17 | Paper |
The consistency strength of hyperstationarity
Journal of Mathematical Logic | 2020-06-26 | Paper |
Infinite monochromatic paths and a theorem of Erdős-Hajnal-Rado
The Electronic Journal of Combinatorics | 2020-05-20 | Paper |
Destructibility of the tree property at \(\aleph_{\omega + 1}\)
Journal of Symbolic Logic | 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
Journal of Mathematical Logic | 2018-12-20 | Paper |
On the spectrum of characters of ultrafilters
Notre Dame Journal of Formal Logic | 2018-09-19 | Paper |
On Boolean algebras with strictly positive measures
| 2018-09-11 | Paper |
Ordinal definable subsets of singular cardinals
Israel Journal of Mathematics | 2018-08-22 | Paper |
The eightfold way
Journal of Symbolic Logic | 2018-05-02 | Paper |
Singular cardinals and square properties
Proceedings of the American Mathematical Society | 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
Journal of Symbolic Logic | 2017-06-01 | Paper |
On properties of compacta that do not reflect in small continuous images
Topology and its Applications | 2017-03-16 | Paper |
SPFA by finite conditions
Archive for Mathematical Logic | 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
Israel Journal of Mathematics | 2015-11-16 | Paper |
On compactness for being \(\lambda\)-collectionwise Hausdorff
| 2015-04-09 | Paper |
On \(\omega_1\)-strongly compact cardinals
The Journal of Symbolic Logic | 2014-09-30 | Paper |
Group radicals and strongly compact cardinals
Transactions of the American Mathematical Society | 2014-03-12 | Paper |
On supercompactness and the continuum function
Annals of Pure and Applied Logic | 2013-12-10 | Paper |
On the maximal resolvability of monotonically normal spaces
Israel Journal of Mathematics | 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
Journal of Mathematical Logic | 2011-10-24 | Paper |
Martin’s maximum and weak square
Proceedings of the American Mathematical Society | 2011-10-11 | Paper |
Cardinal Arithmetic
Handbook of Set Theory | 2010-11-05 | Paper |
The number of normal measures
Journal of Symbolic Logic | 2009-09-29 | Paper |
Absoluteness for universally Baire sets and the uncountable. II
| 2008-10-20 | Paper |
On Partially Wellfounded Generic Ultrapowers
Pillars of Computer Science | 2008-03-25 | Paper |
Canonical structure in the universe of set theory. II.
Annals of Pure and Applied Logic | 2006-09-14 | Paper |
The non-compactness of square
Journal of Symbolic Logic | 2005-02-09 | Paper |
Canonical structure in the universe of set theory. I
Annals of Pure and Applied Logic | 2004-11-22 | Paper |
Squares, scales and stationary reflection
Journal of Mathematical Logic | 2002-07-22 | Paper |
Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)
Acta Mathematica | 2002-07-16 | Paper |
Distance semantics for belief revision
The Journal of Symbolic Logic | 2002-05-13 | Paper |
The consistency strength of successive cardinals with the tree property
Journal of Symbolic Logic | 2002-04-29 | Paper |
scientific article; zbMATH DE number 1239853 (Why is no real title available?)
| 2000-02-21 | Paper |
The independence of
Journal of Symbolic Logic | 1999-10-11 | Paper |
A very weak square principle
Journal of Symbolic Logic | 1998-01-06 | Paper |
The tree property at successors of singular cardinals
Archive for Mathematical Logic | 1997-11-05 | Paper |
A temporal logic for proving properties of topologically general executions
Information and Computation | 1997-05-12 | Paper |
Instances of dependent choice and the measurability of \(\aleph _{\omega +1}\)
Annals of Pure and Applied Logic | 1996-07-24 | Paper |
Large cardinals and definable counterexamples to the continuum hypothesis
Annals of Pure and Applied Logic | 1996-05-13 | Paper |
scientific article; zbMATH DE number 701896 (Why is no real title available?)
| 1995-09-11 | Paper |
When Does Almost Free Imply Free? (For Groups, Transversals, etc.)
| 1995-08-24 | Paper |
On reflection of stationary sets
Fundamenta Mathematicae | 1994-11-27 | Paper |
Erratum to: ``What does a conditional knowledge base entail?
Artificial Intelligence | 1994-09-05 | Paper |
Extender based forcings
Journal of Symbolic Logic | 1994-08-15 | Paper |
On the mutual-exclusion problem -- a quest for minimal solutions
Theoretical Computer Science | 1994-07-31 | Paper |
Butler groups of arbitrary cardinality
Israel Journal of Mathematics | 1994-06-13 | Paper |
scientific article; zbMATH DE number 218608 (Why is no real title available?)
| 1993-06-29 | Paper |
scientific article; zbMATH DE number 218609 (Why is no real title available?)
| 1993-06-29 | Paper |
What does a conditional knowledge base entail?
Artificial Intelligence | 1992-09-27 | Paper |
On the strength of König's duality theorem for infinite bipartite graphs
Journal of Combinatorial Theory. Series B | 1992-09-27 | Paper |
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence | 1992-06-25 | Paper |
Chang's conjecture for \(\aleph_\omega\)
Israel Journal of Mathematics | 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
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
Correction to: ``Martin's maximum, saturated ideals, and non-regular ultrafilters. I
Annals of Mathematics. Second Series | 1989-01-01 | Paper |
Martin's maximum, saturated ideals, and nonregular ultrafilters. I
Annals of Mathematics. Second Series | 1988-01-01 | Paper |
The weak □* is really weaker than the full □
Journal of Symbolic Logic | 1986-01-01 | Paper |
0# and some forcing principles
Journal of Symbolic Logic | 1986-01-01 | Paper |
Two weak consequences of 0#
Journal of Symbolic Logic | 1985-01-01 | Paper |
Countably decomposable admissible sets
Annals of Pure and Applied Logic | 1984-01-01 | Paper |
On the standard part of nonstandard models of set theory
Journal of Symbolic Logic | 1983-01-01 | Paper |
The monadic theory of ω2
Journal of Symbolic Logic | 1983-01-01 | Paper |
Reflecting stationary sets
Journal of Symbolic Logic | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3823766 (Why is no real title available?)
| 1982-01-01 | Paper |
Precipitous ideals
Journal of Symbolic Logic | 1980-01-01 | Paper |
Precipitous ideals and \(\sum^1_4\) sets
Israel Journal of Mathematics | 1980-01-01 | Paper |
On the Existence of Nonregular Ultrafilters and the Cardinality of Ultrapowers
| 1979-01-01 | Paper |
Changing cofinality of cardinals
Fundamenta Mathematicae | 1978-01-01 | Paper |
An ideal game
Journal of Symbolic Logic | 1978-01-01 | Paper |
On the singular cardinals problem. I
Israel Journal of Mathematics | 1977-01-01 | Paper |
Compact extensions of L(Q) (part 1a)
Annals of Mathematical Logic | 1977-01-01 | Paper |
Chang's conjecture and powers of singular cardinals
Journal of Symbolic Logic | 1977-01-01 | Paper |
On the singular cardinals problem. II
Annals of Mathematics. Second Series | 1977-01-01 | Paper |
Compactness and transfer for a fragment of L2
Journal of Symbolic Logic | 1977-01-01 | Paper |
A Note on Regular Methods of Summability and the Banach-Saks Property
Proceedings of the American Mathematical Society | 1976-01-01 | Paper |
How large is the first strongly compact cardinal? or a study on identity crises
Annals of Mathematical Logic | 1976-01-01 | Paper |
Combinatorial Characterization of Supercompact Cardinals
| 1974-01-01 | Paper |
On the role of supercompact and extendible cardinals in logic
Israel Journal of Mathematics | 1971-01-01 | Paper |
There are many normal ultrafilters corresponding to a supercompact cardinal
Israel Journal of Mathematics | 1971-01-01 | Paper |
Probabilistic tree automata and context free languages
Israel Journal of Mathematics | 1970-01-01 | Paper |
Decomposition theorems for finite sequential machines
Israel Journal of Mathematics | 1968-01-01 | Paper |
Inner Models from Extended Logics: Part 2
| N/A | Paper |
