Abstract: In the 1950s, Sierpinski asked whether there exists a linear
order that is isomorphic to its lexicographically ordered cartesian cube
but not to its square. The analogous question has been answered
positively for many different classes of structures, including groups,
Boolean algebras, topological spaces, graphs, partial orders, and Banach
spaces. However, the answer to Sierpinski’s question turns out to be
negative: any linear order that is isomorphic to its cube is already
isomorphic to its square, and thus to all of its finite powers. I will
present an outline of the proof and give some related results.
Monday, March 6th
Simon Thomas, Rutgers University
"Complete groups are complete co-analytic"
Time: 5:00 PM
Location: Hill 705
Abstract: A group G is said to be complete if G is centerless and every automorphism of G is inner. In
this talk, answering a question of Kechris, I will show that the set of countably infinite complete groups is complete co-analytic in the Polish space of countably infinite groups.
Monday, February 27th
Gregory Cherlin, Rutgers University
" Primitive Binary Structures"
Time: 5:00 PM
Location: Hill 705
Abstract:
I discuss the theory of relational complexity of finite
structures, and two types of open problem: the computation of relational
complexity in natural cases and the determination of the infinite
families of finite primitive structures having bounded relational
complexity. The first is a problem in combinatorics and the second is a
problem in permutation group theory. Important progress on the second
has been made recently by Gill and Spiga.
Monday, February 20th
Dimitris Tsementzis , Rutgers University
" First-Order Logic with Isomorphism"
Time: 5:00 PM
Location: Hill 705
Abstract:
We describe an extension of the syntax and proof system of first-order logic that has a natural semantics in the Univalent Foundations. This allows us to carry out a model theory in which mathematical structures are formalized in terms of homotopy types, just as in traditional model theory they are formalized in terms of sets. After defining the system, we will outline the relevant soundness and completeness results and sketch some applications.
This talk is based on the paper here: (https://arxiv.org/abs/1603.03092) and relevant slides can be found here: (http://rci.rutgers.edu/~dt506/HMT.online.version.pdf).
Monday, February 13th
Diana Montoya , Kurt Gödel Research Center, University of Vienna
"On Cichon's Diagram for Uncountable $kappa$"
Time: 5:00 PM
Location: Hill 705
Abstract: Cardinal invariants of the Baire space $omega^{omega}$ have been widely studied and understood. In this talk I will mention our work aiming to study the cardinal invariants of Cichon's Diagram when considering its generalization to the generalized Baire space $kappa^{kappa}$, where $kappa$ is an uncountable cardinal. Our research focuses mainly on the cardinals in the diagram associated with the $kappa$-Meager ideal, due to the absence of a notion of measure on these spaces. I will present the results that can be easily lifted from the countable case as well as some differences and open problems that arise when trying to achieve such a generalization.
This is joint work with Jorg Brendle, Andrew Brooke-Taylor, and Sy-David Friedman
Monday, February 6th
Martin Koeberl, Rutgers University
"A derived model with a measure"
Time: 5:00 PM
Location: Hill 705
Abstract: By a slight modification of Steel's stationary-tower-free proof of the derived model theorem, I will give an outline of how to get a canonical model of AD^+ with a measurable cardinal above Theta, assuming a limit of Woodin cardinals with a measurable above.
Monday, January 30th
Alice Medvedev, CUNY
"Unions of Chains of Signatures"
Time: 5:00 PM
Location: Hill 705
Monday, January 23rd
Grigor Sargsyan, Rutgers University
"A proof of Generation of Full Pointclasses"
Time: 5:00 PM
Location: Hill 705
This page was last updated on February 09, 2016 at 10:04 am and is maintained by webmaster@math.rutgers.edu.
For questions regarding courses and/or special permission, please contact
ugoffice@math.rutgers.edu.