Winter 2009/2010 |
||
| 2010-01-14 | Asger Törnquist (KGRC) |
Introduction to operators algebras (abstract) |
| 2010-01-07 | Jakob Kellner (KGRC) |
Precipitous ideals |
| 2009-12-17 | Sy-David Friedman (KGRC) |
Abstract Elementary Classes and Axioms for Set Theory |
| 2009-11-26 | Hans Adler (KGRC) |
First-order theories without the independence property (abstract) |
| 2009-11-12 | Ekaterina Fokina (KGRC) |
Computable categoricity vs. relative computable categoricity (abstract) |
| 2009-11-05 | Miguel Angel Mota (KGRC) |
Forcing anti-diamond principles together with the continuum being large (abstract) |
| 2009-10-29 | Vera Fischer (KGRC) |
Cardinal characteristics and projective wellorders (abstract) |
| 2009-10-19 | Sy-David Friedman (KGRC) |
Some remarks about PFA and BPFA (abstract) |
| 2009-10-15 | Thomas Johnstone (KGRC and City Tech, New York) |
The Resurrection Axioms (abstract) |
| 2009-10-08 | Pavel Semukhin (National University of Singapore) |
A survey of automatic structures (abstract) |
| 2009-10-06 | Victor Selivanov (Insitute of Informatics Systems, Siberian Division of Russian Academy of Science) |
Some reducibilities on k-partitions (abstract) |
Summer 2009 |
||
| 2009-07-28 | Kentaro Sato (Japan Society for the Promotion of Science) |
An Impact of Infinity (abstract) |
| 2009-05-28 | Alberto Marcone (Udine) |
The complexity of colored linear orders (abstract) |
| 2009-05-14 | Riccardo Camerlo (Politecnico di Torino) |
Standard universal dendrites as small Polish structures |
| 2009-05-07 | Sy-David Friedman (KGRC) |
The effective theory of Borel equivalence relations (joint work with Fokina and Törnquist) |
| 2009-04-30 | Philip Welch (University of Bristol) |
Weak deteminacy, inductive operators and subsystems of analysis (abstract) |
| 2009-04-23 | Prerna Juhlin (KGRC) |
Geometric Aspects of Semiminimality (abstract) |
| 2009-04-02 | Lyubomyr Zdomskyy (KGRC) |
A new upper bound on the cofinality of the infinite symmetric group (abstract) |
| 2009-03-26 | Ekaterina Fokina (KGRC) |
Computable categoricity of structures |
| 2009-03-19 | Hiroaki Minami (KGRC) |
Katetov order, cardinal invariants of ideals on omega and Mathias forcing |
| 2009-03-05 | Sergei S. Goncharov (Novosibirsk State University) |
Strongly minimal and categorical theories |
Winter 2008/2009 |
||
| 2009-01-29 | Katie Thompson (KGRC) |
A universality spectrum for graphs without GCH (abstract) |
| 2009-01-22 | Douglas S. Bridges (University of Canterbury, New Zealand) |
Constructive Reverse Mathematics (abstract) |
| 2009-01-15 | Hans Adler (University of Leeds) |
Two aspects of stability theory (abstract) |
| 2009-01-08 | Jindrich Zapletal (University of Florida and Czech Academy of Sciences) |
Quantitative Infinite Ramsey Theorems (abstract) |
| 2008-12-18 | Mirna Dzamonja (University of East Anglia) |
The confluence between model theory and set theory in Banach spaces (abstract) |
| 2008-12-17 | Grzegorz Plebanek (University of Wroclaw) |
On Boolean algebras and C(K) spaces |
| 2008-12-11 | Asger Törnquist (KGRC) |
Automorphisms of S_infty/fin, part II |
| 2008-12-04 | Luca Motto Ros (KGRC) |
Analytic Equivalence Relations and Bi-Embeddability (abstract) |
| 2008-11-27 | Vera Fischer (KGRC) |
Further combinatorial properties of Cohen forcing (abstract) |
| 2008-11-20 | Antonin Kucera (Charles University, Prague) |
Algorithmic randomness (thick \Pi^0_1 classes) (abstract) |
| 2008-11-13 | Philip Welch (University of Bristol) |
Lower Bounds for consistency of two substructure properties at aleph_omega (abstract) |
| 2008-11-06 | Lyubomyr Zdomskyy (KGRC) |
Measurable cardinals and the Cofinality of the Symmetric Group (abstract) |
| 2008-10-23 | Asger Törnquist (KGRC) |
Automorphisms of S_infty/fin (abstract) |
| 2008-10-16 | Ekaterina Fokina (KGRC) |
Computable uncountably categorical structures (abstract) |
| 2008-10-09 | Vera Fischer (KGRC) |
The consistency b = kappa < s = kappa^+ (abstract) |
| 2008-10-02 | Sy-David Friedman (KGRC) |
Internal Consistency (abstract) |
Summer 2008 |
||
| 2008-06-26 | Alessandro Andretta (Torino) |
Definable cardianalities of boldface pointclasses (abstract) |
| 2008-06-19 | James Cummings (Carnegie Mellon University) |
Strong reflection (abstract) |
| 2008-06-12 | Meeri Kesälä (KGRC) |
Finitary AEC and infinitary languages (abstract) |
| 2008-06-05 | Sy-David Friedman (KGRC) |
The number of normal measures |
| 2008-05-29 | Martin Koerwien (University of Illinois at Chicago) |
Omega-stability, Borel reducibility and Scott height |
| 2008-05-15 | Juliette Kennedy (University of Helsinki) |
Square Principles and Model Theory (abstract) |
| 2008-05-08 | Ernest Schimmerling (Carnegie-Mellon University) |
Some open questions about L (abstract) |
| 2008-04-24 | Menachem Magidor (Hebrew University, Jerusalem) |
Skolem-Löwenheim Cardinals for Generalised Logics |
| 2008-04-17 | Luca Motto Ros (KGRC) |
Good Borel reducibilities for sets of reals (abstract) |
| 2008-04-10 | Heike Mildenberger (KGRC) |
Combinatorics related to the P-ideal dichotomy (abstract) |
| 2008-04-03 | Sebastiaan Terwijn (KGRC) |
Reductions by computable functionals (abstract) |
| 2008-03-13 | Bernhard Irrgang (Universität Bonn) |
A remark on a theorem by Hajnal and Juhasz (abstract) |
| 2008-03-06 | Sy-David Friedman (KGRC) |
Some natural equivalence relations in the Solovay model |
Winter 2007/2008 |
||
| 2008-01-31 | Meeri Kesälä (KGRC) |
Finitary abstract elementary classes (abstract) |
| 2008-01-10 | Jörg Brendle (Kobe) |
Malyhin's Problem |
| 2007-12-13 | Philip Welch (University of Bristol) |
In and around the Ramsey property (abstract) |
| 2007-12-06 | Radek Honzik (KGRC) |
Easton's theorem and large cardinals, Part 2 (abstract) |
| 2007-11-29 | Vladimir Kanovei (Institute for Information Transmission Problems, Moscow) |
Lebesgue measure and the coin-tossing game (abstract) |
| 2007-11-22 | Matteo Viale (KGRC) |
Reflection principles and pcf theory, part II (abstract) |
| 2007-11-15 | Matteo Viale (KGRC) |
Reflection principles and pcf theory (abstract) |
| 2007-11-08 | Radek Honzik (KGRC) |
Easton theorem and large cardinals (abstract) |
| 2007-10-25 | Heike Mildenberger (KGRC) |
A new forcing poset and an old question (abstract) |
| 2007-10-18 | Moti Gitik (Tel Aviv University) |
Some remarks about precipitous ideals |
| 2007-10-11 | Luca Motto Ros (KGRC) |
Generalizations of Wadge degrees (abstract) |
| 2007-10-04 | Zhang Yi (Sun Yat-sen University, China) |
A class of MAD families (abstract) |
Summer 2007 |
||
| 2007-06-28 | Tapani Hyttinen (University of Helsinki) |
Geometric dependences in model theory (abstract) |
| 2007-06-21 | Martin Zeman (UC Irvine) |
Combinatorial construction in extender models: What has been done (abstract) |
| 2007-06-14 | Agatha Walczak-Typke (KGRC) |
A gentle introduction to non-structure of submodels of a large unstable homogeneous model, Part II (abstract) |
| 2007-05-31 | Katie Thompson (KGRC) |
How to achieve Global Domination (in an inner model) (abstract) |
| 2007-05-24 | Andrew Brooke-Taylor (KGRC) |
Large cardinals and definable well-orders, Mk II (abstract) |
| 2007-05-10 | Thomas Johnstone (City University of New York) |
Indestructible cardinals and forcing axioms (abstract) |
| 2007-05-03 | Agatha Walczak-Typke (KGRC) |
A gentle introduction to non-structure of submodels of a large unstable homogeneous model, Part I (abstract) |
| 2007-04-26 | Sy-David Friedman (KGRC) |
Infinite Time Turing Machines |
| 2007-04-19 | Heike Mildenberger (KGRC) |
There may be infinitely many near-coherence classes under u<d (abstract) |
| 2007-03-29 | Matteo Viale (KGRC) |
A family of covering properties for forcing axioms and strongly compact cardinals, part 2 (abstract) |
| 2007-03-22 | Matteo Viale (KGRC) |
A family of covering properties for forcing axioms and strongly compact cardinals (abstract) |
| 2007-03-15 | Sy-David Friedman (KGRC) |
An easier proof of Woodin's Theorem |
Winter 2006/2007 |
||
| 2007-01-25 | Andrew Brooke-Taylor (KGRC) |
Quagmire forcing (abstract) |
| 2007-01-18 | Sy David Friedman (KGRC) |
Consistency completeness |
| 2007-01-11 | Jakob Kellner (KGRC, The Hebrew University of Jerusalem) |
The Banach Mazur and pressing down games (abstract) |
| 2006-12-14 | Jakob Kellner (KGRC, The Hebrew University of Jerusalem) |
Precipitous ideals and related games |
| 2006-12-07 | Andrew Brooke-Taylor (KGRC) |
Large cardinals and definable well-orders (abstract) |
| 2006-11-30 | Heike Mildenberger (KGRC) |
The Filter Dichotomy Principle and the Near Coherence of Filters Principle |
| 2006-11-23 | Pavel Ondrejovic (KGRC) |
Internal consistency and Easton's Theorem |
| 2006-11-16 | Natasha Dobrinen (KGRC) |
Internal consistency and co-stationarity of the ground model |
| 2006-11-09 | Richard Kaye (University of Birmingham) |
Nonstandard symmetric groups (abstract) |
| 2006-10-19 | Katie Thompson (KGRC) |
Global complexity and internal consistency |
| 2006-10-12 | Sy D. Friedman (KGRC) |
Measure-one covering relative to HOD |
Summer 2006 |
||
| 2006-06-22 | Sy D. Friedman (KGRC) |
Square on the singular cardinals |
| 2006-06-08 | James Cummings (Carnegie Mellon University) |
Rainbow Ramsey Theory Continued |
| 2006-06-01 | James Cummings (Carnegie Mellon University) |
Rainbow Ramsey Theory |
| 2006-05-11 | John Krueger (KGRC) |
Some Consistency Results Related to Approachability |
| 2006-05-04 | Meeri Kesälä (University of Helsinki) |
Finitary Abstract Elementary Classes (abstract) |
| 2006-04-06 | Sy D. Friedman (KGRC) |
Forcing Condensation |
| 2006-03-30 | Martin Goldstern (Vienna University of Technology) |
All creatures great and small (abstract) |
| 2006-03-23 | John Krueger (KGRC) |
Internal Approachability and Reflection |
| 2006-03-16 | Otmar Spinas (Christian-Albrechts University at Kiel) |
Perfect Set Theorems |
| 2006-03-09 | Sebastiaan Terwijn (Vienna University of Technology) |
Randomness and relativization (abstract) |
| 2006-03-02 | Sy Friedman (KGRC) |
The Inner Model Hypothesis |
Winter 2005/2006 |
||
| 2006-01-26 | Martin Goldstern (TU Wien) |
Shelah's preservation theorems in RCS iterations |
| 2005-12-15 | Andrew Brooke-Taylor (KGRC) |
Vopěnka's principle and Category Theory |
| 2005-12-01 | Natasha Dobrinen (KGRC) |
Co-stationarity of the ground model |
| 2005-11-24 | John Krueger (KGRC) |
Strong Reflection Principles |
| 2005-11-10 | Heike Mildenberger (KGRC) |
Separating some cardinal characteristics by oracle c.c. forcing |
| 2005-11-03 | Agatha Walczak-Typke (KGRC) |
The model theoretic structure of Dedekind-finite sets |
| 2005-10-20 | Tomas Jech (Czech Academy, Prague) |
Weak distributivity and a problem of von Neumann |
| 2005-10-13 | Mirna Dzamonja (UEA, Norwich) |
Measures on Boolean algebras |
| 2005-10-06 | Katie Thompson (KGRC) |
Methods for solving universality problems (abstract) |
Summer 2005 |
||
| 2005-06-28 | Andres Caicedo (KGRC) |
BPFA and the reals (abstract) |
| 2005-06-21 | Jakob Kellner (TU Wien) |
A construction for non wellfounded forcing iterations, Part II (abstract) |
| 2005-06-14 | John Krueger (KGRC) |
Combinatorial Principles Related to Adding Clubs (abstract) |
| 2005-06-07 | Jakob Kellner (TU Wien) |
A construction for non wellfounded forcing iterations (abstract) |
| 2005-05-24 | John Krueger (KGRC) |
Namba forcing, Chang's Conjecture, and Games |
| 2005-05-10 | Sy Friedman (KGRC) |
Inner models and 0# |
| 2005-05-03 | Andres Caicedo (KGRC) |
Preserving sequences of stationary subsets of omega_1 (abstract) |
| 2005-04-26 | Sy Friedman (KGRC) |
The inner model hypothesis |
| 2005-04-19 | Andrew Brooke-Taylor (MIT) |
Critical Points of Rank-to-Rank Embeddings (abstract) |
| 2005-04-12 | David Schrittesser (KGRC) |
Sigma-1-3 Absoluteness for ccc forcing and lightface indescribable cardinals |
| 2005-04-05 | Sy-David Friedman (KGRC) |
Forcing with finite conditions |
Winter 2004/2005 |
||
| 2005-01-18 | Martin Goldstern (TU Wien) |
Continuous Fraisse conjecture and the number of Gödel logics (abstract) |
| 2005-01-13 | John Krueger (KGRC) |
Supercompact Radin Forcing |
| 2004-12-14 | Ilijas Farah (York University) |
Characterizing measure algebras |
| 2004-12-09 | Ilijas Farah (York University) |
Absoluteness and the Uncountable |
| 2004-11-30 | Andres Caicedo (KGRC) |
Bounded forcing axioms and projective well-orderings of the reals (abstract) |
| 2004-11-23 | Natasha Dobrinen (KGRC) |
Games and distributive laws in Boolean algebras, Part 2 |
| 2004-11-16 | Natasha Dobrinen (KGRC) |
Games and distributive laws in Boolean algebras, Part 1 |
| 2004-10-27 | Grzegorz Plebanek (University of Wroclaw, Poland) |
Measures defined on sigma algebras contained in Bor[0,1] (abstract) |
| 2004-10-25 | Yuri Matijasevic (Steklov Institute, St. Petersburg) |
(KGS Lecture) Hilbert's Tenth Problem today: Main results and open questions |
| 2004-10-19 | Mirna Dzamonja (University of East Anglia) |
A partition theorem for large dense linear orders |
| 2004-10-12 | Menachem Kojman (Ben Gurion University of the Negev) |
Extending Baire measures to Borel measures in normal spaces below the first real-valued measurable using pcf theory, Part 2 |
| 2004-10-05 | Menachem Kojman (Ben Gurion University of the Negev) |
Extending Baire measures to Borel measures in normal spaces below the first real-valued measurable using pcf theory |
Summer 2004 |
||
| 2004-06-29 | Martin Zeman (U. California, Irvine) |
Forcing the failure of square from a weak hypothesis |
| 2004-06-22 | Peter Koepke (Universität Bonn) |
|
| 2004-06-15 | Bill Mitchell (University of Florida) |
On I[\omega_2] |
| 2004-06-15 | Jean Larson (University of Florida) |
Infinite paths and a plain product order type |
| 2004-05-25 | John Krueger (KGRC) |
Strong Compactness and Stationary Sets 2 (abstract) |
| 2004-05-18 | John Krueger (KGRC) |
Strong Compactness and Stationary Sets (abstract) |
| 2004-05-04 | James Hirschorn (KGRC) |
CCC Forcing and Splitting Reals, Part 2 (abstract) |
| 2004-04-27 | James Hirschorn (KGRC) |
CCC Forcing and Splitting Reals (abstract) |
| 2004-03-23 | Andres Caicedo (KGRC) |
CH and the saturation of the nonstationary ideal on omega_1 (abstract) |
| 2004-03-16 | Boris Piwinger (KGRC) |
Mind the Gap: Hyperfine Structure Theory and Morasses, Part II |
| 2004-03-09 | Boris Piwinger (KGRC) |
Mind the Gap: Hyperfine Structure Theory and Morasses |
Winter 2003/2004 |
||
| 2004-02-03 | Menachem Kojman (Ben-Gurion University) |
(KGS Lecture) Topology and Combinatorics of Singular Cardinals (abstract) |
| 2004-01-27 | John Krueger (Institute of Formal Logic) |
Destroying Stationary Sets, Part 2 |
| 2004-01-20 | John Krueger (Institute of Formal Logic) |
Destroying Stationary Sets |
| 2004-01-13 | Sy Friedman (KGRC) |
Borel and Analytic Equivalence Relations |
| 2004-01-09 | Akihiro Kanamori (Mathematics Department, Boston University) |
Zermelo and Set Theory (abstract) |
| 2003-12-09 | Sy Friedman (KGRC) |
Definability Degrees |
| 2003-12-02 | Jakob Kellner (TU Wien) |
Preserving Preservation 2 (abstract) |
| 2003-11-25 | Jakob Kellner (TU Wien) |
Preserving Preservation (abstract) |
| 2003-11-18 | Sy Friedman (KGRC) |
The Mutual Diamond Principle |
| 2003-11-11 | Martin Goldstern (TU Wien) |
Continuous Ramsey Theory |
| 2003-11-04 | Sy Friedman (KGRC) |
Generic Saturation and Absoluteness |
| 2003-10-21 | Sy Friedman (KGRC) |
Set-Generic L-Saturation |
| 2003-10-14 | Andres Caicedo (KGRC) |
Well-Orderings of the Reals and Real-valued Measurability 2 |
| 2003-10-07 | Andres Caicedo (KGRC) |
Well-Orderings of the Reals and Real-valued Measurability (abstract) |
Summer 2003 |
||
| 2003-05-27 | Andrzej Roslanowski (University of Nebraska at Omaha) |
Around Sheva-Sheva-Sheva: forcing for the lambda-reals (where lambda is inaccessible) (abstract) |
| 2003-05-20 | Martin Goldstern (TU Wien) |
A rigid structure with many (almost) automorphisms |
| 2003-05-06 | Ralf Schindler (KGRC) |
BMM is stronger than BSPFA |
| 2003-04-29 | Heike Mildenberger (KGRC) |
Needed reals for the cofinality relation on the Lebesgue nullsets |
| 2002-04-08 | Jakob Kellner (TU Wien / Uni Wien) |
Preserving non-null with transitive nep forcings 2 |
| 2003-04-01 | Jakob Kellner (TU Wien / Uni Wien) |
Preserving non-null with transitive nep forcings (abstract) |
| 2003-03-25 | Sy Friedman (KGRC) |
Forcing with finite conditions |
| 2003-03-18 | Sy Friedman (KGRC) |
Forcing with finite conditions |
| 2003-03-11 | David Aspero (KGRC) |
The nonexistence of nice forcings in inner models |
Winter 2002/2003 |
||
| 2003-02-07 | Peter Koepke (Universität Bonn) |
On the Strength of Mutual Stationarity at Small Cardinals |
| 2003-01-30 | David Aspero (Uni Wien) |
Some results about bounded forcing axioms |
| 2003-01-23 | James Hirschorn (KGRC) |
Nonhomogeneous analytic families of trees, Part 2 |
| 2003-01-16 | James Hirschorn (KGRC) |
Nonhomogeneous analytic families of trees, Part 1 |
| 2003-01-09 | Rene Schipperus (KGRC) |
Differential games on Cardinal numbers |
| 2002-12-12 | Sy Friedman (KGRC) |
Sigma-1-3 Generic Absoluteness |
| 2002-12-05 | Ralf Schindler (KGRC) |
Mouse Operators, 3 |
| 2002-11-28 | Ralf Schindler (KGRC) |
Mouse Operators, 2 |
| 2002-11-21 | Ralf Schindler (KGRC) |
Mouse Operators |
| 2002-11-14 | Heike Mildenberger (KGRC) |
New canonization theorems and dense free subsets |
| 2002-11-07 | Martin Goldstern (TU Wien) |
Clones from creatures |
| 2002-10-24 | Sy Friedman (KGRC) |
Projective Singletons, Conclusion |
| 2002-10-17 | Sy Friedman (KGRC) |
Projective Singletons (part 2) |
| 2002-10-10 | Sy Friedman (KGRC) |
Projective Singletons |
| 2002-10-03 | David Aspero (KGRC) |
Remarks on club-guessing sequences and on canonical functions |
Summer 2002 |
||
| 2002-06-13 | Ralf Schindler (KGRC) |
Homogeneously Souslin sets in inner models of set theory |
| 2002-06-06 | Martin Goldstern (TU Wien) |
Antichains in Products of Linear Orders |
| 2002-05-16 | Martin Goldstern (TU Wien) |
RCS iteration according to Donder/Fuchs |
| 2002-05-02 | David Aspero (KGRC) |
Todorcevic's theorem that BMM implies c=\aleph_2 |
| 2002-04-25 | James Hirschorn (KGRC) |
Random gaps |
| 2002-04-18 | Ralf Schindler (KGRC) |
Cardinal arithmetic and projective determinacy |
| 2002-03-21 | Vladimir Kanovei (Moscow Center for continuous mathematical education) |
Borel and countably determined reducibility in nonstandard domain |
| 2002-03-14 | David Aspero (KGRC) |
Martin's Maximum and the nonstationary ideal over \omega_1 |
| 2002-03-07 | James Hirschorn (Uni Wien) |
Forcing with measure algebras |
Winter 2001/2002 |
||
| 2002-01-17 | Ralf Schindler (Uni Wien) |
Sharps, pistols, and the \Sigma^1_3 correctness of K (abstract) |
| 2002-01-10 | Ralf Schindler (Uni Wien) |
A combinatorial proof of \Sigma^1_3 correctness of K (abstract) |
| 2001-12-13 | Arnold Beckmann (TU Wien, Uni Münster) |
Some words on well-foundedness principles over definable sets (abstract) |
| 2001-11-29 | Heike Mildenberger (KGRC) |
Canonization Theorems |
| 2001-11-22 | David Aspero (KGRC) |
More on a convenient property for $[\gamma]^{\aleph_0}$ |
| 2001-11-15 | Philip Welch (Institut für Formale Logik) |
More on BMM and related reflection properties |
| 2001-10-18 | Rene Schipperus (Institut für Formale Logik) |
The Topological Baumgartner-Hajnal Theorem |
Summer 2001 |
||
| 2001-08-25 | Ralf Schindler (Uni Wien) |
Bounded Forcing Axioms and Sets of Reals |
| 2001-06-27 | Philip D. Welch (Uni Wien) |
Higher type recursion in Infinite Time Turing Machines |
| 2001-06-19 | Ralf Schindler (Uni Wien) |
P not= NP for infinite time Turing machines. |
| 2001-06-12 | Ralf Schindler (Uni Wien) |
K^c without large cardinals in V |
| 2001-05-22 | Heike Mildenberger (KGRC) |
Forcing with trees of creatures (2) |
| 2001-05-15 | Heike Mildenberger (KGRC) |
Forcing with trees of creatures (1) |
| 2001-05-08 | Sy Friedman (KGRC) |
Genericity and Large Cardinals, Part 2 |
| 2001-04-24 | Dorshka Wylie (City University of New York) |
Fragments in a Lower Core Model |
| 2001-04-02 | Sy Friedman (KGRC) |
Genericity and Large Cardinals |
| 2001-03-27 | Ralf Schindler (Uni Wien) |
Absorbing iterations of the universe |
| 2001-03-20 | David Aspero (Uni Wien) |
The Bounded Martin's Maximum and $\psi_{AC}$(2) |
| 2001-03-13 | David Aspero (Uni Wien) |
Bounded Martin's Maximum |
Winter 2000/2001 |
||
| 2001-01-22 | Martin Goldstern (TU Wien) |
Gödel Logics, Scattered Orders and BQO's |
| 2000-12-11 | Joan Bagaria (University of Barcelona, Spain) |
Natural axioms of Set Theory that settle Cantor's Continuum problem |
| 2000-12-05 | Alberto Marcone (University of Udine, Italy) |
WQO and BQO theory in subsystems of second order arithmetic |
| 2000-11-28 | Philip Welch (Uni Wien) |
On Belnap-Gupta Revision Theories of Truth, the Next Stable Set and Kripkean Fixed Points |
| 2000-11-24 | Lorenz Halbeisen (Universität Basel) |
Partition-ultrafilters (abstract) |
| 2000-11-21 | Martin Zeman (Uni Wien) |
Combinatorial principles in inner models |
| 2000-11-17 | Mladen Pavicic (University of Zagreb) |
Classical logic models (abstract) |
| 2000-11-07 | Riccardo Camerlo (Uni Wien) |
The relation of recursive isomorphism for countable structures, Part 2 |
| 2000-10-31 | Riccardo Camerlo (Uni Wien) |
The relation of recursive isomorphism for countable structures |
| 2000-10-17 | Ralf Schindler (Uni Wien) |
Almost Linear Iterations, Part 3 |
| 2000-10-17 | Ralf Schindler (Uni Wien) |
Almost Linear Iterations, Part 2 |
| 2000-10-10 | Ralf Schindler (Uni Wien) |
Almost Linear Iterations |
| 2000-10-03 | Sy Friedman (KGRC) |
Seven Topics in Pure Set Theory |
Summer 2000 |
||
| 2000-06-09 | Tomek Bartoszynski (Boise State University, Rutgers University) |
Perfectly meager sets (abstract) |
| 2000-06-06 | Riccardo Camerlo (Uni Wien) |
Classical descriptive set theory |
| 2000-05-19 | Alessandro Andretta (University of Turin) |
Descriptive Set Theory and Wadge Degrees |
| 2000-05-16 | Alessandro Andretta (University of Turin) |
Descriptive Set Theory and Wadge Degrees |
| 2000-05-12 | Alessandro Andretta (University of Turin) |
Descriptive Set Theory and Wadge Degrees |
| 2000-05-09 | Sy Friedman (KGRC) |
Cardinal-preserving extensions |
| 2000-04-11 | Ralf Schindler (Uni Wien) |
Steels Theorem über projektive Uniformisierbarkeit |
| 2000-04-04 | Martin Goldstern (TU Wien) |
Clones on regular cardinals (abstract) |
| 2000-03-21 | Peter Koepke (Universität Bonn) |
Ordinal Functions |
| 2000-03-14 | Sy Friedman (KGRC) |
Inner Models and 0# |
| 2000-03-07 | Arthur Apter (City University of New York) |
Indestructibility and the Level by Level Equivalence between Strong Compactness and Supercompactness |
Winter 1999/2000 |
||
| 1999-11-02 | Itay Neeman (University of California at Los Angeles) |
|
Back to the main page