- Видео 75
- Просмотров 9 109
pronkedelic
Австралия
Добавлен 13 мар 2015
this channel will never be monetized, so pls use adblock
Juris Steprāns - Universal graphs and their variations
Thursday 22nd October 2015 - 15:30 to 16:30
Просмотров: 57
Видео
Peter Koellner - The Search for Deep Inconsistency
Просмотров 729Год назад
Tuesday 25 August 2015, 09:00-10:00 Abstract: The hierarchy of large cardinals provides us with a canonical means to climb the hierarchy of consistency strength. There have been any purported inconsistency proofs of various large cardinal axioms. For example, there have been many proofs purporting to show that measurable cardinals are inconsistent. But to date the only proofs that have stood th...
Arno Pauly - Weihrauch degrees of determinacy
Просмотров 19Год назад
Wednesday 16th December 2015 - 12:00 to 12:30
Philippe Schnoebelen - Well-quasi-orderings for progam analysis and computational complexity
Просмотров 36Год назад
Wednesday 16th December 2015 - 10:00 to 11:00 Abstract: Co-author: Sylvain Schmitz (ENS Cachan) The talk will survey some of the applications of well-quasi-orderings in computer science. Well-quasi-orderings are an important tool in some areas like program verification, or computer-aided deduction and theorem-proving. Most importantly, they provide easy proofs for the decidability of logical or...
Menachem Magidor - Singularizing Cardinals and Square-like principles
Просмотров 130Год назад
Tuesday 15th December 2015 - 16:00 to 17:00
István Juhász - The Pinning Down Number and Cardinal Arithmetic
Просмотров 36Год назад
Tuesday 15th December 2015 - 13:30 to 14:30
Sam Sanders - The unreasonable effectiveness of Nonstandard Analysis
Просмотров 687Год назад
Monday 14th December 2015 - 15:00 to 15:30 Abstract: The aim of my talk is to highlight a hitherto unknown computational aspect of Nonstandard Analysis. In particular, we provide an algorithm which takes as input the proof of a mathematical theorem from ‘pure’ Nonstandard Analysis, i.e. formulated solely with the nonstandard definitions (of continuity, integration, dif- ferentiability, converge...
Strong Chang's Conjecture, Semi-Stationary Reflection, Strong Tree Property and Two Cardinal Square…
Просмотров 25Год назад
…Principles Monday 14th December 2015 - 11:30 to 12:00 Victor Torres-Perez Abstract: We prove that the Semi-Stationary Reflection Principle, together with the negation of the Continuum Hypothesis, implies that ω2 has the Strong Tree Property. Also, we show that SSR implies the negation of □(λ,ω) for all regular cardinals λ≥ω2. This is a joint work with Liuzhen Wu.
Dana Bartošová - Ramsey theory in topological dynamics
Просмотров 224Год назад
Monday 14th December 2015 - 10:00 to 11:00
John Conway - The surreal numbers
Просмотров 147Год назад
Thursday 19th November 2015 - 15:00 to 16:00
Noé de Rancourt - Ramsey Determinacy of adversarial Gowers games
Просмотров 98Год назад
Wednesday 28th October 2015 - 11:00 to 12:00
Lovkush Agarwal - Uncountably many maximal-closed subgroups of Sym(N) via reducts of Henson digraphs
Просмотров 20Год назад
Friday 9th October 2015 - 15:50 to 16:45 Abstract: This work contributes to the two closely related areas of countable homogeneous structures and infinite permutation groups. In the permutation group side, we answered a question of Macpherson that asked to show that there are uncountably many pairwise non-conjugate maximal-closed subgroups of Sym(\mathbb{N}). This was achieved by taking the aut...
Miloš S. Kurilić - Reversibility of Definable Relations
Просмотров 94Год назад
Tuesday 6th October 2015 - 15:00 to 16:00
Sara Uckelman - Where are the women in medieval logic?
Просмотров 45Год назад
Wednesday 2nd September 2015 - 15:10 to 15:40
Yizheng Zhu - The higher sharp
Просмотров 36Год назад
Friday 28 August 2015, 15:00-16:00 Abstract: We establish the descriptive set theoretic representation of the mouse M#n, which is called 0(n 1)#. At even levels, 0(2n)# is the higher level analog of Kleene's O; at odd levels, 0(2n 1)# is the unique iterable remarkable level-(2n 1) blueprint.
Zoltán Vidnyánszky - The size of conjugacy classes of automorphism groups
Просмотров 32Год назад
Zoltán Vidnyánszky - The size of conjugacy classes of automorphism groups
Adam Kwela - Selective properties of ideals
Просмотров 18Год назад
Adam Kwela - Selective properties of ideals
Daisuke Ikegami - Universally Baire subsets of 2κ
Просмотров 29Год назад
Daisuke Ikegami - Universally Baire subsets of 2κ
Dima Sinapova - The tree property (session 3)
Просмотров 66Год назад
Dima Sinapova - The tree property (session 3)
Dima Sinapova - The tree property (session 2)
Просмотров 74Год назад
Dima Sinapova - The tree property (session 2)
Philipp Schlicht - The Hurewicz dichotomy for generalized Baire spaces
Просмотров 31Год назад
Philipp Schlicht - The Hurewicz dichotomy for generalized Baire spaces
Aleksander Błaszczyk - Topological representation of lattice homomorphisms
Просмотров 33Год назад
Aleksander Błaszczyk - Topological representation of lattice homomorphisms
Neil Barton - What is a forcing extension (of V)?
Просмотров 1,2 тыс.Год назад
Neil Barton - What is a forcing extension (of V)?
Dima Sinapova - The tree property (session 1)
Просмотров 158Год назад
Dima Sinapova - The tree property (session 1)
Gunter Fuchs - Prikry type sequences: a composition of interconnected results
Просмотров 17Год назад
Gunter Fuchs - Prikry type sequences: a composition of interconnected results
Jean A. Larson - Partition Relation Perspectives
Просмотров 13Год назад
Jean A. Larson - Partition Relation Perspectives
Yechiel M. Kimchi - Partition Relation Equiconsistent with ∃κ(o(κ)=κ+)
Просмотров 19Год назад
Yechiel M. Kimchi - Partition Relation Equiconsistent with ∃κ(o(κ)=κ )
Imre Leader - Pairwise Sums in the Reals
Просмотров 198Год назад
Imre Leader - Pairwise Sums in the Reals
Márton Elekes - Order types of chains of Borel sets and Baire functions
Просмотров 33Год назад
Márton Elekes - Order types of chains of Borel sets and Baire functions
Thank you for uploading these
Awesome! Thanks for sharing!
Love it!!!!!!!!!!!
Love it!!!!!!!!!!!
thank you❤
Hi, would you be able to answer my question? I wanted to know if Cardinals are related to cardinality and Mahlos cardinals are related to cardinals, so would it be an additive to inaccessible cardinals? Cardinal Woodin is Mahlo because he is inaccessible and greater than other inaccessibles, he is Mahlo because he is an inaccessible greater than another, so far there is no doubt, but it follows that these cardinals besides Woodin are in themselves also defined cardinals? Thus, it is a cardinal property, and there are pre-defined ones, such as, for example, a weakly mahlo cardinal is a weakly inaccessible cardinal greater than another weakly inaccessible one, and they will not only be Mahlos cardinals, we can observe that a Mahlo only cardinal is different of a cardinal Woodin, which have f: Y to Y, elementary incorporation between V (Von Neumann Universe) and a transitive internal model M, and this escapes what is a Mahlo-only cardinal. Would this be correct?
Love it!!!!!!!!!!!!!!!
wow i've been wondering if this talk was recorded for ages