18.06.2021 15:00
Aspects of Vaught's Conjecture
17.06.2021 15:00
Big Ramsey degrees of 3-uniform hypergraphs are finite
27.05.2021 15:00
Independent families and singular cardinals
20.05.2021 15:00
Extensions of inner models of ZFC
06.05.2021 15:00
Absolute model companionship, the continuum problem, and forcibility
29.04.2021 15:00
Fullness and mixing property for boolean valued models
22.04.2021 15:00
MAD families and strategically bounding forcings
15.04.2021 15:00
Choice, Groups, and Topoi
25.03.2021 15:00
Splitting Localization and prediction numbers
18.03.2021 15:00
Partition forcing
04.03.2021 15:00
Asymptotic differential algebra and logarithmic transseries
28.01.2021 15:00
Distributivity spectrum of forcing notions
21.01.2021 15:00
Strong colourings over partitions
14.01.2021 15:00
Infinitary combinatorics and strong homology
17.12.2020 15:00
Ramsey-like Operators
10.12.2020 15:00
Invariant Ideal Axiom
03.12.2020 15:00
On logics that make a bridge from the Discrete to the Continuous
26.11.2020 15:00
Convergence of Borel measures and filters on omega
19.11.2020 15:00
Local club condensation in extender models
12.11.2020 15:00
Can You Take Komjath's Inaccessible Away?
05.11.2020 15:00
On Continuous Tree-Like Scales and related properties of Internally Approachable structures
29.10.2020 15:00
Structural reflection and shrewd cardinals
22.10.2020 15:00
Tree forcings, sharps and absoluteness
01.10.2020 15:00
Definability of maximal families of reals in forcing extensions
25.06.2020 15:00
Class forcing in its rightful setting
18.06.2020 15:00
Hyperfinite subequivalence relations of treed equivalence relations
04.06.2020 15:00
Forcing the $\Sigma_3$-separation property
28.05.2020 15:00
Preserving splitting families
14.05.2020 15:00
Products of CW Complexes
30.04.2020 15:00
How to obtain lower bounds in set theory
23.04.2020 15:00
Weakly Ramsey ultrafilters
05.03.2020 15:00
$\Pi_1$-subcompactness and type omission
12.02.2020 15:00
Regularity properties in singular generalized descriptive set theory
30.01.2020 15:00
Construction with opposition: Cardinal invariants and games
23.01.2020 15:00
Fake Reflection
16.01.2020 15:00
Generalized Cardinal Characteristics for Sets of Functions
09.01.2020 15:00
Ideal pseudointersection numbers and topological spaces
19.12.2019 15:00
The Golomb space is topologically rigid
05.12.2019 15:00
Specializing trees
28.11.2019 15:00
Large cardinals in topology
21.11.2019 15:00
Cicho's Maximum without large cardinals
14.11.2019 15:00
L[Reg]
07.11.2019 15:00
Measures and o-minimal structures
31.10.2019 15:00
Spectrum of Independence
24.10.2019 15:00
Symbiosis and Upwards Reflection
17.10.2019 15:00
The Multiverse, Recursive Saturation and Well-Foundedness Mirage
10.10.2019 15:00
Isometries of combinatorial Banach spaces
03.10.2019 15:00
Residue field domination in real closed valued fields
13.06.2019 15:00
Mighty Mouse
06.06.2019 15:00
On convergent sequences of normalised measures on compact spaces
09.05.2019 15:00
A Sacks amoeba forcing preserving distributivity of $P(\omega)/fin$
02.05.2019 15:00
Simple definitions of complicated sets
28.03.2019 15:00
Capturing by normal ultrapowers
21.03.2019 15:00
Strong compactness and the filter extension property
14.03.2019 15:00
Chromatic numbers of finite subgraphs
07.03.2019 15:00
Complete topological semigroups
24.01.2019 15:00
Complexity of the homeomorphism relation between compact spaces
17.01.2019 15:00
Forcing against bounded arithmetic
10.01.2019 15:00
Ramsey Theory of the Henson graphs
13.12.2018 15:00
New aspects of ladder system uniformization II
04.12.2018 15:00
Ramsey degrees of topological spaces
29.11.2018 15:00
New aspects of ladder system uniformizationI
15.11.2018 15:00
Hilbert's Tenth Problem for Subrings of the Rational Numbers
08.11.2018 15:00
On Order-Types in Polarised Partition Relations
22.10.2018 15:00
Special $\aleph_2$-Aronszajn trees and GCH
18.10.2018 15:00
Rigid ideals
11.10.2018 15:00
Silver forcing and P-points
09.10.2018 15:00
From fixed points in weak set theories to some open problems
04.10.2018 15:00
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice
14.06.2018 15:00
Borel chromatic numbers: basis and antibasis results
07.06.2018 15:00
Homogeneous spaces and Wadge theory
24.05.2018 15:00
P-ideal dichotomy and some versions of the Souslin Hypothesis
17.05.2018 15:00
Stationary reflection at \( \aleph_{\omega+1}\)
03.05.2018 15:00
The sensitive issue of iterability
26.04.2018 15:00
The bi-embeddability relation for countable abelian groups
19.04.2018 15:00
On some ideals associated with independent families
12.04.2018 15:00
Virtual large cardinal principles
22.03.2018 15:00
Local saturation of the nonstationary ideals
15.03.2018 15:00
Cardinal Characteristics and Partition Properties
08.03.2018 15:00
The tree property and the continuum function
18.01.2018 15:00
Combinatorial variants of Lebesgue's density theorem
11.01.2018 15:00
On the Complexity of Maximal Cofinitary Groups
14.12.2017 15:00
On the relative strength of finitary combinatorial principles
07.12.2017 15:00
Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness
30.11.2017 15:00
Forcing Square Sequences
23.11.2017 15:00
Isomorphism and Classification for Countable Structures
23.11.2017 15:00
Isomorphism and Classification for Countable Structures
16.11.2017 15:00
Cycle Reversions and Dichromatic Number in (Infinite) Tournaments
09.11.2017 15:00
Random elements of large groups
19.10.2017 15:00
Global Chang’s Conjecture
12.10.2017 15:00
Iterates of $M_1$
05.10.2017 15:00
Some properties of Cohen and random reals
26.09.2017 15:00
The exact strength of the class forcing theorem
29.06.2017 15:00
On factorization properties of function spaces
29.06.2017 15:00
Cardinality restrictions on some kinds of locally compact spaces
22.06.2017 15:00
News on mad families
08.06.2017 15:00
Borel chromatic numbers: finite vs infinite
11.05.2017 15:00
$\text_$ saturated and a $\Sigma_4$-definable wellorder on the reals
04.05.2017 15:00
Rado's Conjecture, an alternative to forcing axioms?
27.04.2017 15:00
Some results about the higher levels of the Weihrauch lattice
26.04.2017 15:00
Useful axioms
06.04.2017 15:00
Small embedding characterizations for large cardinals, and internal large cardinals
30.03.2017 15:00
Ultrametric spaces, isometry, and isometry groups
16.03.2017 15:00
The Dyck and Preiss Separation Uniformly
09.03.2017 15:00
Projective sets and inner models
02.03.2017 15:00
Rigid Ideals
26.01.2017 15:00
Bounded arithmetic and restricted reduced products
19.01.2017 15:00
A characterization for productively ccc spaces
12.01.2017 15:00
The density function: some remarks, results, and open problems
01.12.2016 15:00
$\operatorname$ is a c
24.11.2016 15:00
ACT forcing
17.11.2016 15:00
The topology of filters
10.11.2016 15:00
On the choice in Rosenthal's lemma
03.11.2016 15:00
Linear orders: when embedding and epim
27.10.2016 15:00
On the existence of real Fréchet-Uryso
20.10.2016 15:00
Products of Menger s
13.10.2016 15:00
Some graph theory from the Rockies
03.10.2016 15:00
Complexity theory in feasi
14.07.2016 15:00
On the length of Borel hierarchies
30.06.2016 15:00
Descriptive inner model theory and consistency results in Z
28.06.2016 15:00
A forcing built around a coherent Souslin tree and its uses for normal, locally compact s
16.06.2016 15:00
(Sub)systems of second-order set theory
09.06.2016 15:00
Hybrid Mice and Determinacy in the \(L(\mathbb{R})\)-hierarchy
02.06.2016 15:00
Forcing variations of t
19.05.2016 15:00
Tukey relations between the Mycielski and the meager and null ideals
13.05.2016 15:00
Neighborhoods, Compacta and the Tukey Order
12.05.2016 15:00
Differentiation of subsets of semigroups, a Ramsey theorem, and a van der Corput lemma
21.04.2016 15:00
Selected topics for the weak topology of Banach spaces
14.04.2016 15:00
A Normal Form Theorem of Computation on Real Numbers
07.04.2016 15:00
The tree property and the continuum function below $\aleph_\omega$
17.03.2016 15:00
A basis theorem for the complement of the first Baire class
10.03.2016 15:00
Descriptive Set Theory and Absoluteness
03.03.2016 15:00
From well to better, the space of ideals
21.01.2016 15:00
Custom-made Souslin trees
14.01.2016 15:00
How unprovable is Rabin's decidability theorem?
07.01.2016 15:00
Maximal discrete sets with large continuum
17.12.2015 15:00
Reverse mathematics in $\omega$ categoricity
11.12.2015 15:00
Ramsey Partitions of Metric Spaces
10.12.2015 15:00
The Nikodym property and cardinal invariants of the continuum
04.12.2015 15:00
The nature of measurement in set theory
03.12.2015 15:00
Uniformization properties in connection to graph colourings
26.11.2015 15:00
Around the definability of maximal eventually different families
19.11.2015 15:00
Towers in Borel filters
12.11.2015 15:00
On Weihrauch degrees of <i>k</i>-partitions of the Baire space
05.11.2015 15:00
Separating the left side of Cichon's diagra
29.10.2015 15:00
Cobham recursive set functions and weak set theories
22.10.2015 15:00
The Parameterized Complexity Classification of – and the Logic of – Counting Answers to Existential Positive Queries
15.10.2015 15:00
Maximal independent sets in forcing extensions
08.10.2015 15:00
The inner model problem and descriptive inner model theory
01.10.2015 15:00
On Hestenes' geometric algebra: its formalization by the proof assistant and application to computational origami
09.07.2015 15:00
Properties intermediate between master and strong master
02.07.2015 15:00
Lambda-Calculus and Dependent Type Theory
25.06.2015 15:00
Eliminating Disjunctions by Disjunction Elimination
18.06.2015 15:00
Maximal discrete sets in arboreal forcing extensio
11.06.2015 15:00
Strong treeability of planar groups
28.05.2015 15:00
CH and Cofinal maximal chains in the Turing degrees
27.05.2015 15:00
Non-pretame Class Forcing and the Forcing Theorem, the axioms of ZFC and non-definable Class Forcing
21.05.2015 15:00
Measure-theoretic Suslin Hypothesis
07.05.2015 15:00
Flexible Turing Machines
30.04.2015 15:00
Remainders of topological groups and Grigorieff forcing
23.04.2015 15:00
Definable perfect matchings
16.04.2015 15:00
Fragments of Kripke-Platek Set Theory
26.03.2015 15:00
Satisfaction in outer models
19.03.2015 15:00
Generic I0 at $\aleph_\omega$
20.02.2015 15:00
High and higher dimensional Ellentuck spaces and Tukey and Rudin-Keisler initial structures of non-p-points
29.01.2015 15:00
Paracompactness and Remainders
22.01.2015 15:00
Unfoldable cardinals and some related problems
15.01.2015 15:00
Trees, ladders and graphs
08.01.2015 15:00
Measure, category and projective wellorders
18.12.2014 15:00
Maximal computably enumerable sets and vector spaces
04.12.2014 15:00
Computably enumerable equivalence relations
27.11.2014 15:00
Y-c.c. and Y-proper forcing notions
20.11.2014 15:00
Order-sequential compactness
13.11.2014 15:00
Monotone metric spaces
06.11.2014 15:00
Banach-Mazur games and Fraisse limits
30.10.2014 15:00
Complexity of Homeomorphism Relations up to Borel Reducibility
16.10.2014 15:00
An analogy between cardinal characteristics and highness properties of Turing oracles
09.10.2014 15:00
Maximal pseudocompactness and maximal countable compactness in the class of Tychonoff spaces
26.06.2014 15:00
The Tree Property for $\omega_2$ and Bounded Forcing Axioms
05.06.2014 15:00
Copies of structures and ultrahomogeneous digraphs
22.05.2014 15:00
Dropping Polishness
15.05.2014 15:00
Topological dynamics of unordered Ramsey structures
08.05.2014 15:00
Matrix iterations of ccc posets
10.04.2014 15:00
Full-splitting Miller trees and infinitely often equal reals
03.04.2014 15:00
Definability of Pure Unrectifiability
27.03.2014 15:00
Algorithmic Randomness and the Turing Degrees
13.03.2014 15:00
$\Delta_2$ Degrees without $\Sigma_1$ Induction
06.03.2014 15:00
Orders on groups, their spaces, and complexity
30.01.2014 15:00
On von Neumann's Theorem and Borel complexity of unitary equivalence modulo compact perturbations of self-adjoint operators
23.01.2014 15:00
More Hierarchies of $\mathsf$-Spaces
09.01.2014 15:00
Folding Up (Disjunctions)
19.12.2013 15:00
Strong measure zero in metric spaces and Polish groups
12.12.2013 15:00
Topological semigroups: embeddings and Čech-Stone compactifications
05.12.2013 15:00
Seven characterizations of non-meager P-filters
28.11.2013 15:00
Universal functions over locally finite structures
21.11.2013 15:00
Generalized side conditions
14.11.2013 15:00
Automatic models of first-order theories
07.11.2013 15:00
Some problems related to Borel ideals: Towers, Luzin-type families, forcing (in)destructibility, and more
31.10.2013 15:00
Some model theory of Peano arithmetic
24.10.2013 15:00
Mathematics as open-ended human activities
17.10.2013 15:00
Some Hierarchies of $\mathsf$-Spaces
10.10.2013 15:00
Determinacy, a two-way bridge from logic to economics
28.06.2013 15:00
Chain conditions for topological bases
27.06.2013 15:00
Lowness in recursive model theory
20.06.2013 15:00
Lowness in recursive model theory
06.06.2013 15:00
Simple stochastic games: a state of the art
16.05.2013 15:00
On Generalized Choquet Spaces and Groups
02.05.2013 15:00
More on the tree property
25.04.2013 15:00
Reverse Mathematics of Divisibility in Integral Domains
18.04.2013 15:00
Model Checking Quantified-Conjunctive Formulas
11.04.2013 15:00
Around characterizing ale
21.03.2013 15:00
Cichon's diagram and regularity properties
14.03.2013 15:00
Weak pigeonhole principles
07.03.2013 15:00
Vaught's Conjecture, the Generic Morley Tree and Fragment Embeddings
31.01.2013 15:00
First order Goedel logics
24.01.2013 15:00
Does set theory refute Platonism?
17.01.2013 15:00
Van der Waerden ideal and its cardinal invariants
10.01.2013 15:00
Large Cardinals and Lightface Definable Wellorders without GCH
07.01.2013 15:00
Polish G-spaces similar to logic G-spaces of continuous structures
20.12.2012 15:00
Some selective versions of separability-like properties
13.12.2012 15:00
Reuniting the antipodes: bringing together Nonstandard Analysis and Constructive Analysis
06.12.2012 15:00
Computable Categoricity
29.11.2012 15:00
The history of logic at the University of Vienna
22.11.2012 15:00
Cardinal characteristics in Cichon's diagram
15.11.2012 15:00
Computable Analysis and Topology
08.11.2012 15:00
Relations between the I-ultrafilters
18.10.2012 15:00
Large Properties at Small Cardinals
18.10.2012 15:00
The Poulsen simplex as a Fraisse limit
11.10.2012 15:00
Racing Pawns, Internal Hyperarithmetic Comprehension, and the Law of the Excluded M
04.10.2012 15:00
Analyzing the Complexity of Wild Knot Equivalence
11.07.2012 15:00
An example illustrating a theorem of Gregory
10.07.2012 15:00
Finitary reducibility on equivalence relations
05.07.2012 15:00
A computability-theoretic equivalent of Vaught's Conjecture
04.07.2012 15:00
Topological problems for set theorists, II
28.06.2012 15:00
On Sigma-definability of structures over the reals
14.06.2012 15:00
A spectral approach to reflection principles
31.05.2012 15:00
Shelah's revised power function as a homotopy invariant
24.05.2012 15:00
Canonical Ramsey Theory on Polish Spaces
16.05.2012 15:00
Complexity of equivalence relations
10.05.2012 15:00
Set-open topology on the space of continuous functions
03.05.2012 15:00
Meditations on Quantified Constraint Satisfaction
26.04.2012 15:00
Matrix iterations and Cichon's diagram
19.04.2012 15:00
Abelian integrals and categoricity
29.03.2012 15:00
The complexity of isomorphism
22.03.2012 15:00
Refutation complexity of relativized spectra
15.03.2012 15:00
Separation of regularity properties
08.03.2012 15:00
Regularity Idealized
01.03.2012 15:00
Reducts of the random partial order
19.01.2012 15:00
Borel structures and Borel theories
12.01.2012 15:00
Isomorphism of Computable Structures and Vaught's Conjecture
15.12.2011 15:00
The Hyperuniverse Program. An overview
01.12.2011 15:00
The Essence of V
17.11.2011 15:00
Weak Reflection Principle, Saturation of the ideal NS and Diamonds in two cardinal version
10.11.2011 15:00
The joy of halving
03.11.2011 15:00
Generalizations of the Kunen inconsistency
27.10.2011 15:00
Positive Horn definability in \aleph_0-categorical structures
20.10.2011 15:00
Non-absoluteness of model existence for infinitary logic, Part 2
13.10.2011 15:00
Cardinal Characteristics, Projective Wellorders and Large Continuum
06.10.2011 15:00
Non-absoluteness of model existence for infinitary logic
19.09.2011 15:00
aleph_1 perfect mad families
14.09.2011 15:00
The character of topological groups, via Pontryagin-van Kampen duality and pcf theory
05.07.2011 15:00
$\Pi^1_1$ conservation of combinatorial principles weaker than Ramsey's Theorem for pairs
30.06.2011 15:00
On a method of Todorcevic
22.06.2011 15:00
Topologically invariant \sigma-ideals on Polish spaces
16.06.2011 15:00
Ultralaver forcing and Janus forcing
26.05.2011 15:00
The cardinality of maximal cofinitary groups
19.05.2011 15:00
Definability in the enumeration degrees
04.05.2011 15:00
Maximal Cofinitary Groups
14.04.2011 15:00
Conjectures of Rado and Chang and Special $\aleph_2$-Aronszajn trees
31.03.2011 15:00
Reflecting non-meagreness
10.03.2011 15:00
The Definable Failure of the Singular Cardinal Hypothesis (SCH)
03.03.2011 15:00
Absoluteness and Model Existence for Infinitary Logic
27.01.2011 15:00
The Monadic Second-Order Transduction Hierarchy
20.01.2011 15:00
Measurable colorings of graphs, II
16.12.2010 15:00
Basis theorems for continuous colorings
09.12.2010 15:00
Solution to the pinned conjecture
02.12.2010 15:00
Small proper forcing and the size of the continuum
25.11.2010 15:00
Condensation, Large Cardinals and the consistency strength of PFA
18.11.2010 15:00
A homotopy approach to some questions in set theory
11.11.2010 15:00
A dichotomy for σ-ideals generated by closed sets
04.11.2010 15:00
Measurable colorings of graphs, I
28.10.2010 15:00
Set forcing for strong condensation on H(\omega_2)
21.10.2010 15:00
Algorithmic reducibilities of algebraic structures
14.10.2010 15:00
Invariantly universal analytic quasi-orders
29.06.2010 15:00
Groupoids of Ultrafi
24.06.2010 15:00
On Precipitous Ideals
17.06.2010 15:00
Measures in first order theories
10.06.2010 15:00
Projective wellorders and mad families with big continuum
27.05.2010 15:00
What Andrew and I talked about last week
20.05.2010 15:00
Fraïssé limits for a kind of "locally finite" Fraïssé class
06.05.2010 15:00
The tree property at the double successor of a singular cardinal
29.04.2010 15:00
On Π<sub>2</sub> maximality and CH
22.04.2010 15:00
A generalization of Silver's theorem
15.04.2010 15:00
Divorces in the PFA family
25.03.2010 15:00
Non-proper Elementary Embeddings Beyond L(V<sub>λ!</sub>)
18.03.2010 15:00
A Constructive Theory of Objects
18.03.2010 15:00
Symbolic and Algebraic Methods in Computational Origami
11.03.2010 15:00
Kakutani-von Neumann maps on simplexes
21.01.2010 15:00
Intro to operator algebras, II
07.01.2010 15:00
Precipitous ideals
17.12.2009 15:00
Abstract Elementary Classes and Axioms for Set Theory
26.11.2009 15:00
First-order theories without the independence property
12.11.2009 15:00
Computable categoricity vs. relative computable categoricity
29.10.2009 15:00
Cardinal characteristics and projective wellorders
19.10.2009 15:00
Some remarks about PFA and BPFA
15.10.2009 15:00
The Resurrection Axioms
08.10.2009 15:00
A survey of automatic structures
06.10.2009 15:00
Some reducibilities on k-partitions
28.07.2009 15:00
An Impact of Infinity
28.05.2009 15:00
The complexity of colored linear orders
14.05.2009 15:00
Standard universal dendrites as small Polish structures
07.05.2009 15:00
The effective theory of Borel equivalence relations
30.04.2009 15:00
Weak deteminacy, inductive operators and subsystems of analysis
23.04.2009 15:00
Geometric Aspects of Semiminimality
02.04.2009 15:00
A new upper bound on the cofinality of the infinite symmetric group
26.03.2009 15:00
Computable categoricity of structures
05.03.2009 15:00
Strongly minimal and categorical theories
29.01.2009 15:00
A universality spectrum for graphs without GCH
22.01.2009 15:00
Constructive Reverse Mathematics
15.01.2009 15:00
Two aspects of stability theory
08.01.2009 15:00
Quantitative Infinite Ramsey Theorems
18.12.2008 15:00
The confluence between model theory and set theory in Banach spaces
17.12.2008 15:00
On Boolean algebras and C(K) spaces
11.12.2008 15:00
Automorphisms of S_infty/fin, part II
04.12.2008 15:00
Analytic Equivalence Relations and Bi-Embeddability
27.11.2008 15:00
Further combinatorial properties of Cohen forcing
20.11.2008 15:00
Algorithmic randomness (thick \Pi^0_1 classes)
06.11.2008 15:00
Measurable cardinals and the Cofinality of the Symmetric Group
23.10.2008 15:00
Automorphisms of S_infty/fin
16.10.2008 15:00
Computable uncountably categorical structures
09.10.2008 15:00
The consistency b = kappa < s = kappa^+
02.10.2008 15:00
Internal Consistency
26.06.2008 15:00
Definable cardianalities of boldface pointclasses
19.06.2008 15:00
Strong reflection
12.06.2008 15:00
Finitary AEC and infinitary languages
05.06.2008 15:00
The number of normal measures
29.05.2008 15:00
Omega-stability, Borel reducibility and Scott height
15.05.2008 15:00
Square Principles and Model Theory
08.05.2008 15:00
Some open questions about L
24.04.2008 15:00
Skolem-Löwenheim Cardinals for Generalised Logics
17.04.2008 15:00
Good Borel reducibilities for sets of r
10.04.2008 15:00
Combinatorics related to the P-ideal dichotomy
03.04.2008 15:00
Reductions by computable functionals
13.03.2008 15:00
A remark on a theorem by Hajnal and Juhasz
06.03.2008 15:00
Some natural equivalence relations in the Solovay model
31.01.2008 15:00
Finitary abstract elementary classes
10.01.2008 15:00
Malyhin's Problem
13.12.2007 15:00
In and around the Ramsey property
06.12.2007 15:00
Easton's theorem and large cardinals, Part 2
29.11.2007 15:00
Lebesgue measure and the coin-tossing game
22.11.2007 15:00
Reflection principles and pcf theory, part II
15.11.2007 15:00
Reflection principles and pcf theory
08.11.2007 15:00
Easton theorem and large cardinals
25.10.2007 15:00
A new forcing poset and an old question
18.10.2007 15:00
Some remarks about precipitous ideals
11.10.2007 15:00
Generalizations of Wadge degrees
04.10.2007 15:00
A class of MAD families
28.06.2007 15:00
Geometric dependences in model theory
21.06.2007 15:00
Combinatorial construction in extender models: What has been done
14.06.2007 15:00
A gentle introduction to non-structure of submodels of a large unstable homogeneous model, Part II
31.05.2007 15:00
How to achieve Global Domination (in an inner model)
24.05.2007 15:00
Large cardinals and definable well-orders, Mk II
10.05.2007 15:00
Indestructible cardinals and forcing axioms
03.05.2007 15:00
A gentle introduction to non-structure of submodels of a large unstable homogeneous model, Part I
26.04.2007 15:00
Infinite Time Turing Machines
19.04.2007 15:00
There may be infinitely many near-coherence classes under u<d
29.03.2007 15:00
A family of covering properties for forcing axioms and strongly compact cardinals, part 2
15.03.2007 15:00
An easier proof of Woodin's Theorem
25.01.2007 15:00
Quagmire forcing
18.01.2007 15:00
Consistency completeness
11.01.2007 15:00
The Banach Mazur and pressing down games
14.12.2006 15:00
Precipitous ideals and related game
07.12.2006 15:00
Large cardinals and definable well-orders
23.11.2006 15:00
Internal consistency and Easton's Theorem
16.11.2006 15:00
Internal consistency and co-stationarity of the ground model
09.11.2006 15:00
Nonstandard symmetric groups
19.10.2006 15:00
Global complexity and internal consistency
12.10.2006 15:00
Measure-one covering relative to HOD
22.06.2006 15:00
Square on the singular cardinals
08.06.2006 15:00
Rainbow Ramsey Theory Continued
01.06.2006 15:00
Rainbow Ramsey Theory
11.05.2006 15:00
Some Consistency Results Related to Approachability
04.05.2006 15:00
Finitary Abstract Elementary Classes
06.04.2006 15:00
Forcing Condensation
30.03.2006 15:00
All creatures great and small
23.03.2006 15:00
Internal Approachability and Reflection
16.03.2006 15:00
Perfect Set Theorems
09.03.2006 15:00
Randomness and relativization
02.03.2006 15:00
The Inner Model Hypothesis
26.01.2006 15:00
Shelah's preservation theorems in RCS iterations
15.12.2005 15:00
Vopěnka's principle and Category Theory
01.12.2005 15:00
Co-stationarity of the ground model
24.11.2005 15:00
Strong Reflection Principles
10.11.2005 15:00
Separating some cardinal characteristics by oracle c.c. forcing
03.11.2005 15:00
The model theoretic structure of Dedekind-finite sets
20.10.2005 15:00
Weak distributivity and a problem of von Neumann
13.10.2005 15:00
Measures on Boolean algebras
06.10.2005 15:00
Methods for solving universality problems
28.06.2005 15:00
BPFA and the reals
21.06.2005 15:00
A construction for non wellfounded forcing iterations, Part II
14.06.2005 15:00
Combinatorial Principles Related to Adding Clubs
07.06.2005 15:00
A construction for non wellfounded forcing iterations
24.05.2005 15:00
Namba forcing, Chang's Conjecture, and Games
10.05.2005 15:00
Inner models and 0#
03.05.2005 15:00
Preserving sequences of stationary subsets of omega_1
26.04.2005 15:00
The inner model hypothesis
19.04.2005 15:00
Critical Points of Rank-to-Rank Embeddings
05.04.2005 15:00
Forcing with finite conditions
18.01.2005 15:00
Continuous Fraïssé conjecture and the number of Gödel logics
13.01.2005 15:00
Supercompact Radin Forcing
14.12.2004 15:00
Characterizing measure algebras
09.12.2004 15:00
Absoluteness and the Uncountable
30.11.2004 15:00
Bounded forcing axioms and projective well-orderings of the rea
23.11.2004 15:00
Games and distributive laws in Boolean algebras, Part 2
16.11.2004 15:00
Games and distributive laws in Boolean algebras, Part 1
27.10.2004 15:00
Measures defined on sigma algebras contained in Bor[0,1]
19.10.2004 15:00
A partition theorem for large dense linear orders
12.10.2004 15:00
Extending Baire measures to Borel measures in normal spaces below the first real-valued measurable using pcf theory, Part 2
05.10.2004 15:00
Extending Baire measures to Borel measures in normal spaces below the first real-valued measurable using pcf theory
29.06.2004 15:00
Forcing the failure of square from a weak hypothesis
22.06.2004 15:00
(missing title)
15.06.2004 15:00
On I[\omega_2]
15.06.2004 15:00
Infinite paths and a plain product order type
25.05.2004 15:00
Strong Compactness and Stationary Sets 2
18.05.2004 15:00
Strong Compactness and Stationary Sets
04.05.2004 15:00
CCC Forcing and Splitting Reals, Part 2
27.04.2004 15:00
CCC Forcing and Splitting Reals
23.03.2004 15:00
CH and the saturation of the nonstationary ideal on omega_1
16.03.2004 15:00
Mind the Gap: Hyperfine Structure Theory and Morasses, Part II
09.03.2004 15:00
Mind the Gap: Hyperfine Structure Theory and Morasses
03.02.2004 15:00
(KGS Lecture) Topology and Combinatorics of Singular Cardinals
27.01.2004 15:00
Destroying Stationary Sets, Part 2
20.01.2004 15:00
Destroying Stationary Sets
13.01.2004 15:00
Borel and Analytic Equivalence Relations
09.01.2004 15:00
Zermelo and Set Theory
09.12.2003 15:00
Definability Deg
02.12.2003 15:00
Preserving Preservation 2
25.11.2003 15:00
Preserving Preservation
18.11.2003 15:00
The Mutual Diamond Principle
11.11.2003 15:00
Continuous Ramsey Theory
04.11.2003 15:00
Generic Saturation and Absoluteness
21.10.2003 15:00
Set-Generic L-Saturation
14.10.2003 15:00
Well-Orderings of the Reals and Real-valued Measurability 2
07.10.2003 15:00
Well-Orderings of the Reals and Real-valued Measurability
27.05.2003 15:00
Around Sheva-Sheva-Sheva: forcing for the lambda-reals (where lambda is inaccessible)
20.05.2003 15:00
A rigid structure with many (almost) automorphisms
06.05.2003 15:00
BMM is stronger than BSPFA
29.04.2003 15:00
Needed reals for the cofinality relation on the Lebesgue nullsets
01.04.2003 15:00
Preserving non-null with transitive nep forcings
25.03.2003 15:00
Forcing with finite conditions
18.03.2003 15:00
Forcing with finite conditions
11.03.2003 15:00
The nonexistence of nice forcings in inner models
07.02.2003 15:00
On the Strength of Mutual Stationarity at Small Cardinals
30.01.2003 15:00
Some results about bounded forcing axioms
23.01.2003 15:00
Nonhomogeneous analytic families of trees, Part 2
16.01.2003 15:00
Nonhomogeneous analytic families of trees, Part 1
09.01.2003 15:00
Differential games on Cardinal numbers
12.12.2002 15:00
Sigma-1-3 Generic Absoluteness
05.12.2002 15:00
Mouse Operators, 3
28.11.2002 15:00
Mouse Operators, 2
21.11.2002 15:00
Mouse Operators
14.11.2002 15:00
New canonization theorems and dense free subsets
07.11.2002 15:00
Clones from creatures
24.10.2002 15:00
Projective Singletons, Conclusion
17.10.2002 15:00
Projective Singletons (part 2)
10.10.2002 15:00
Projective Singletons
03.10.2002 15:00
Remarks on club-guessing sequences and on canonical functions
13.06.2002 15:00
Homogeneously Souslin sets in inner models of set theory
06.06.2002 15:00
Antichains in Products of Linear Orders
16.05.2002 15:00
RCS iteration according to Donder/Fuchs
02.05.2002 15:00
Todorcevic's theorem that BMM implies c=\aleph_2
25.04.2002 15:00
Random gaps
18.04.2002 15:00
Cardinal arithmetic and projective determinacy
08.04.2002 15:00
Preserving non-null with transitive nep forcings 2
21.03.2002 15:00
Borel and countably determined reducibility in nonstandard domain
14.03.2002 15:00
Martin's Maximum and the nonstationary ideal over \omega_1
07.03.2002 15:00
Forcing with measure algebras
17.01.2002 15:00
Sharps, pistols, and the \Sigma^1_3 correctness of K
10.01.2002 15:00
A combinatorial proof of \Sigma^1_3 correctness of K
13.12.2001 15:00
Some words on well-foundedness principles over definable sets
29.11.2001 15:00
Canonization Theorems
22.11.2001 15:00
More on a convenient property for $[\gamma]^{\aleph_0}$
15.11.2001 15:00
More on BMM and related reflection properti
18.10.2001 15:00
The Topological Baumgartner-Hajnal Theorem
25.08.2001 15:00
Bounded Forcing Axioms and Sets of Reals
27.06.2001 15:00
Higher type recursion in Infinite Time Turing Machines
19.06.2001 15:00
P not= NP for infinite time Turing machines.
12.06.2001 15:00
K^c without large cardinals in V
22.05.2001 15:00
Forcing with trees of creatures (2)
15.05.2001 15:00
Forcing with trees of creatures (1)
08.05.2001 15:00
Genericity and Large Cardinals, Part 2
24.04.2001 15:00
Fragments in a Lower Core Model
02.04.2001 15:00
Genericity and Large Cardinals
27.03.2001 15:00
Absorbing iterations of the universe
20.03.2001 15:00
The Bounded Martin's Maximum and $\psi_$(2)
13.03.2001 15:00
Bounded Martin's Maximum
22.01.2001 15:00
Gödel Logics, Scattered Orders and BQO's
11.12.2000 15:00
Natural axioms of Set Theory that settle Cantor's Continuum problem
05.12.2000 15:00
WQO and BQO theory in subsystems of second order arithmetic
28.11.2000 15:00
On Belnap-Gupta Revision Theories of Truth, the Next Stable Set and Kripkean Fixed Points
24.11.2000 15:00
Partition-ultrafilters
21.11.2000 15:00
Combinatorial principles in inner models
17.11.2000 15:00
Classical logic models
31.10.2000 15:00
The relation of recursive isomorphism for countable structures
17.10.2000 15:00
Almost Linear Iterations, Part 3
17.10.2000 15:00
Almost Linear Iterations, Part 2
10.10.2000 15:00
Almost Linear Iterations
03.10.2000 15:00
Seven Topics in Pure Set Theory
09.06.2000 15:00
Perfectly meager sets
06.06.2000 15:00
Classical descriptive set theory
19.05.2000 15:00
Descriptive Set Theory and Wadge Degrees
16.05.2000 15:00
Descriptive Set Theory and Wadge Degrees
12.05.2000 15:00
Descriptive Set Theory and Wadge Degrees
09.05.2000 15:00
Cardinal-preserving extensions
11.04.2000 15:00
Steels Theorem über projektive Uniformisierbarkeit
04.04.2000 15:00
Clones on regular cardinals
21.03.2000 15:00
Ordinal Functions
14.03.2000 15:00