Miguel Moreno

Postdoctoral researcher, Institute of Mathematics, University of Vienna .

Miguel Moreno

Postdoctoral researcher, Institute of Mathematics, University of Vienna .

Picture of the arctic circle in Lapland

Recorded talks in Online Seminars

Due to the current situation in the world, some Logic seminars will be held online for some time. The following is a list of some recorded talks ordered by speakers or name of the event.

Note: The videos are listed alphabetically by last name. For a list ordered by date go here . You can find the list of talks as csv here .

Videos by speaker

Abraham, Uri
Coding well ordering of the reals with ladders
Video: Julio 15, 2020

Abramsky, Samson
The logic of contextuality
Video: November 6, 2020

Adam-Day, Samuel
The continuous gradability of the cut-point orders of R-trees
Video: May 19, 2021

Anscombe, Sylvy
Diophantine subsets and subfields of large fields
Video: December 2, 2020

Armida, Marcos Mazari
A model theoretic solution to a problem of László Fuchs
Video: September 24, 2020 (Passcode: nv?4TQGx)
Video: September 17, 2020 (Passcode: 3m6N6K+$)
Video: September 10, 2020 (Passcode: 53az#5^g)

Aslanyan, Vahagn
Blurrings of the j-function
Video: March 1, 2021

Bagaria, Joan
Some recent results on Structural Reflection
Video: June 16, 2021

Baldwin, John
Category theory and Model Theory: Symbiotic Scaffolds
Video: December 9, 2021 (Passcode: Q.@82%=Z)
The Hanf number for extendability is the first measurable cardinal
Video: February 11, 2021 (Passcode: F1MMf&*A)
Video: February 4, 2021 (Passcode: YtgA%5Yz)
On Strongly Minimal Steiner Systems: Zilber's Conjecture, Universal Algebra, and Combinatorics
Video: September 2, 2020

Barbina, Silvia
The theory of the universal-homogeneous Steiner triple system
Video: April 30, 2021
The theory of the universal-homogeneous Steiner triple system
Video: October 16, 2020

Bartosova, Dana
Short exact sequences and universal minimal flows
Video: May 28, 2021

Beke, Tibor
Categories, coalgebras and Hopf algebras defined from logical structures
Video: January 16, 2022

Ben-Neria, Omer
Strong Prikry Property for Magidor Iteraton
Video: April 21, 2021
Video: April 7, 2021
Video: March 24, 2021
On Continuous Tree-Like Scales and related properties of Internally Approachable structures
Video: October 28, 2020

Berarducci, Alessandro
Asymptotic analysis of Skolem's exponential functions
Video: April 9, 2021

Berenstein, Alexander
A review of expansions by predicates and some preservation theorems
Video: November 23, 2020
Expansions of vector spaces with a generic submodule
Video: November 18, 2020

Bhardwaj, Neer
On the Pila-Wilkie theorem
Video: August 16, 2021

Blass, Andreas
Ultrafilters on omega versus forcing
Video: October 21, 2020

Block Gorman, Alexi
Fractal Dimensions and Definability from Büchi Automata
Video: April 12, 2021

Boney, Will
Erdos-Rado classes and generalized indiscernible in AECs
Video: November 12, 2020 (Passcode: B59@8d42)
Video: November 5, 2020 (Passcode: hPQe3h9*)
Video: October 29, 2020 (Passcode: evY^=v0m)
Model Theoretic Characterizations of Large Cardinals
Video: September 23, 2021 (Passcode: @Klg*@2Y)
Video: September 9, 2021 (Passcode: gK#7rjCz)

Borodulin-nadzieja, Piotr
AP measures in the random model
Video: September 16, 2021

Boxall, Gareth
Some finiteness results concerning points on a curve with a power on a curve
Video: August 2, 2021

Brech, Christina
Isomorphic combinatorial families
Video: June 18, 2021

Calderoni, Filippo
The Borel structure on the space of left-orderings
Video: January 8, 2021

Calderón, Daniel
Nullity notions on the real line
Video: August 26, 2020

Carroy, Raphaël
Continuous reduction for functions
Video: September 17, 2021

Carmona, Juan Felipe
Definably amenable groups in continuous logic
Video: April 28, 2021

Chase, Hunter
Model-theoretic techniques in query learning
Video: October 28, 2021 (Passcode: Bj8H#t1i)

Chernikov, Artem
Idempotent Keisler measures
Video: January 14, 2022
Distality in valued fields and related structures
Video: December 7, 2020
Incidence counting and trichotomy in o-minimal structures
Video: September 16, 2020

Cheung, Hanif
Strong amalgamation in AECs and categoricity
Video: April 15, 2021 (Passcode: fN&r86Pv)
Video: April 8, 2021 (Passcode: 9$S+k&Fn)

Chodounský, David
Big Ramsey degrees of 3-uniform hypergraphs are finite
Video: September 14, 2021

Conley, Clinton
Dividing the sphere by rotations
Video: March 12, 2021

d'Elbée, Christian
Generic expansions by a reduct
Video: December 21, 2020

Dasilva Barbosa, Keegan
A Decomposition Theorem for Aronszajn Lines
Video: April 10, 2020

de Rancourt, Noé
A dichotomy for countable unions of smooth Borel eq. relations
Video: March 5, 2021

Di Nasso, Mauro,
Infinite monochromatic patterns in the integers
Video: September 17, 2021

Dimonte, Vincenzo
The role of Prikry forcing in generalized Descriptive Set Theory
Video: March 26, 2021
A Decomposition The λ-Perfect Set Property, for λ singular
Video: September 14, 2021
A Decomposition The role of Prikry forcing in generalized Descriptive Set Theory
Video: March 26, 2021

Dobrinen, Natasha
Exact big Ramsey degrees via coding trees
Video: September 13, 2021

Džamonja, Mirna
On the universality problem for Aronszajn and wide Aronszajn trees on the second uncountable cardinal
Video: September 16, 2021
On wide Aronszajn trees
Video: November 4, 2020
On wide Aronszajn trees
Video: April 24, 2020

Eisworth, Todd
Representability and Pseudopowers
Video: April 24, 2020

Elekes, Márton
On various notions of universally Baire sets and their applications
Video: September 17, 2021

Enayat, Ali
Leibnizian and anti-Leibnizian motifs in set theory
Video: May 27, 2020

Eskew, Monroe
Weak square from weak presaturation
Video: December 18, 2020

Espindola, Christian
A category-theoretic approach to categoricity
Video: May 19, 2022 (Passcode: d3VG0!Z)
Video: May 12, 2022 (Passcode: U09=Y*tV)
Video: May 5, 2022 (Passcode: =8cMaQc8)

Fischer, Vera
The spectrum of independence
Video: January 29, 2021

Foreman, Matthew
From Welch Games to Laver Ideals: a tour across Set Theory
Video: September 16, 2021

Fornasiero, Antongiulio
O-minimal structures with many dense substructures
Video: July 5, 2021

Freund, Anton
Ackermann, Goodstein, and infinite sets
Video: January 15, 2021

Gitik, Moti
On restrictions of ultrafilters from generic extensions to ground models
Video: September 15, 2021

Gitman, Victoria
The old and the new of virtual large cardinals
Video: June 11, 2021
Jensen’s forcing at an inaccessible
Video: September 14, 2021
Elementary embeddings and smaller large cardinals
Video: May 6, 2020

Goldberg, Gabriel
Even ordinals and the Kunen inconsistency
Video: November 18, 2020

Goodrick, John
Ordered abelian groups, dp-minimality, and definable convex subgroups
Video: November 22, 2021
The model theory of ordered Abelian groups
Video: September 30, 2020

Guingona, Vincent
Zero-sets of linear combinations of functions
Video: October 21, 2021 (Passcode: 4d?VsSJ8)
The intersection of model theory and machine learning
Video: October 14, 2021 (Passcode: .Dr!6j?8)

Günaydın, Ayhan
Expanding the Additive Group of Integers by Beatty Sequences
Video: May 24, 2021

Hamkins, Joel David
Categorical cardinals
Video: June 26, 2020
Bi-interpretation of weak set theories
Video: May 20, 2020

Harrison-Migochi, Andrew
Pila-Wilkie in Tame Expansions of a P-adic Structure
Video: July 19, 2021

Haskell, Deirdre
Tameness properties of theories of valued fields with analytic functions
Video: May 10, 2021

Hasson, Assaf
Zilber's restricted trichotomy
Video: November 8, 2021

Hayut, Yair
Stationary reflection and Prikry forcing
Video: March 3, 2021
Higher Chang Conjecture
Video: November 11, 2020
Video: November 4, 2020

Hubička, Jan
Big Ramsey degrees of homogeneous structures
Video: September 15, 2021

Hieronymi, Philipp
A strong version of Cobham’s theorem and other decidability results in expansions of Presburger arithmetic
Video: June 7, 2021

Ivanov, Aleksander
Generalized model theory and continuous logic
Video: January 16, 2022

Jarden, Adi
Uniqueness Triples and the Diamond Principle
Video: March 11, 2021 (Passcode: am%gm#g5)
Video: March 4, 2021 (Passcode: k#*DN5$n)

Kamsma, Mark
The Kim-Pillay theorem for Abstract Elementary Categories
Video: December 10, 2020 (Passcode: 95?vQ*@T)
Video: December 3, 2020 (Passcode: GeC8de=a)
Video: November 19, 2020 (Passcode: cQ6SCb^C)

Kaplan, Elliot
Generic derivations on o-minimal structures
Video: February 15, 2021

Kaplan, Itay
On minimal expansions of elementary extensions of the ordered group of integers
Video: January 14, 2022
Compressible types in NIP theories
Video: February 1, 2021

Keisler, H. Jerome
Using Ultraproducts to Compare Continuous Structures
Video: February 24,2021

Kellner, Jakob
Separating characteristics in Cichon’s diagram and beyond
Video: September 16, 2021

Khomskii, Yurii
Symbiosis and Upwards Reflection Principles
Video: January 15, 2022

Kirby, Jonathan
Independence Relations for Exponential Fields
Video: April 28, 2022 (Passcode: =3s.ZeP3)

Kojman, Menachem
Strong colorings over partitions
Video: March 25, 2020

Koponen, Vera
On the relative asymptotic expressivity of probabilistic inference frameworks: an approach via finite model theory
Video: January 14, 2022

Kossak, Roman
Kernels of digraphs having local finite height
Video: March 25, 2020

Kruckman, Alex
A continuous zero-one law for finite metric spaces
Video: March 10, 2021

Krupiński, Krzysztof
Some Ramsey theory and topological dynamics for first order theories
Video: January 16, 2022

Kucera, T. G.
Saturated free algebras and almost indiscernible theories: an overview
Video: April 21, 2022 (Passcode: M8?PDd?P)

Lecomte, Dominique
Continuous two-colorings and topological dynamics
Video: September 15, 2021

Leon Sanchez, Omar
Remarks on bi-differential algebras
Video: December 13, 2021

Leung, Samson
Stability results assuming tameness, monster model and continuity of nonsplitting
Video: February 17, 2022 (Passcode: u*4vW6dD)
Video: February 10, 2022 (Passcode: jz@z4Fbv)
Video: February 3, 2022 (Passcode: 46.7JS7d)
Video: January 27, 2022 (Passcode: j1beAf.0)
Axiomatizing AECs and applications
Video: December 2, 2021 (Passcode: 9$WzU+p8)
Video: November 18, 2021 (Passcode: Rv9ZQ=*+)
Video: November 11, 2021 (Passcode: 8b?$l67u)
Hanf number of the first stability cardinal in AECs
Video: October 7, 2021 (Passcode: ?%%B0%0A)
Video: September 30, 2021 (Passcode: #eF@FZ9C)
Tameness and good \lambda-frames
Video: October 15, 2020 (Passcode: @jwtA2Qz)
Video: October 8,2020 (Passcode: aP78H&*P)
Video: October 1, 2020 (Passcode: ND5thQ8)

Liccardo, Martina
Elimination of imaginaries in lexicographic products of ordered abelian groups
Video: September 13, 2021

Lieberman, Michael
Hilbert spaces and C*-algebras are not finitely discrete
Video: November 4, 2021 (Passcode: QK%+2uul)
Induced and higher-dimensional stable independence. Part 1 and 2
Video: February 25, 2021 (Passcode: V.9LH.pG)
Video: February 18, 2021 (Passcode: p&4$.Xjm)

Lietz, Andreas
How to force (*) from less than a supercompact
Video: May 5, 2020

Loregian, Fosco
Functorial Semantics for Partial Theories
Video: April 23, 2021

Lücke, Philipp
Strong Downward Löwenheim-Skolem theorems, large cardinals and set-theoretic complexity
Video: January 15, 2022
The definability of almost disjoint families and long well-orders at higher cardinals
Video: September 14, 2021

Magidor, Menachem
Weak diamond, Uniformization and its connection to Whitehead's problem
Video: August 26, 2020
Borel determinacy can not be proved in Zermelo Set Theory
Video: April 1, 2020

Mantova, Vincenzo
A survey on exponential-algebraic closure
Video: March 29, 2021

Marks, Andrew
The decomposability conjecture
Video: February 24, 2021

Mazari-Armida, Marcos
Characterizing categoricity in several classes of modules
Video: March 31, 2022 (Passcode: wq=#gDX0)
Video: March 24, 2022 (Passcode: @9rtu2uL)
Characterizing noetherian rings via superstability
Video: January 27, 2021
Simple-like independence relations in AECs
Video: April 20, 2020

Meir, Nadav
Pseudo-finite sets, pseudo-o-minimality
Video: August 30, 2021

Mennuni, Rosario
The domination monoid in o-minimal theories
Video: March 15, 2021
The domination monoid
Video: November 25, 2020

Mildenberger, Heike
Exactly Two and Exactly Three Near-Coherence Classes of Ultrafilters
Video: September 17, 2021

Miller, Chris
Connectedness in structures on the real numbers
Video: January 4, 2021

Montenegro, Samaria
Groups definable in partial differential fields with an automorphism
Video: May 14, 2021

Moreno, Miguel
Filter Reflection
Video: May 27, 2020
Consistency of Filter Reflection
Video: May 8, 2020

Motto Ros, Luca
(Generalized) Descriptive Set Theory meets Model Theory
Video: January 14, 2022

Müller, Sandra
The strength of determinacy when all sets are universally Baire
Video: September 15, 2021
The strength of determinacy when all sets are universally Baire
Video: May 26, 2021

Neeman, Itay
Abraham-Rubin-Shelah OCA and large continuum
Video: September 13, 2021

Onshuus, Alf
Omega categorical dependent structures of ordinal th-rank
Video: October 28, 2020

Paolini, Gianluca
Torsion-Free Abelian Groups are Borel Complete
Video: September 14, 2021
Torsion-Free Abelian Groups are Borel Complete
Video: March 19, 2021

Parente, Francesco
Combinatorics of ultrafilters on Boolean algebras
Video: September 17, 2021

Peterzil, Kobi
Interpretable fields in various valued fields
Video: April 26, 2021

Pinsker, Michael
Uniqueness of Polish topologies on endomorphism monoids
Video: June 4, 2021

Pizarro, Amador Martín
Arithmetic progressions and complete amalgamation
Video: October 23, 2020

Platzer, André
Logical Foundations of Cyber-Physical Systems
Video: September 27, 2020

Point, Francoise
On exponential topological fields endowed with a generic derivation
Video: October 25, 2021

Poveda, Alejandro
Forcing iterations around singulars cardinals
Video: April 16, 2021
Sigma-Prikry forcing and their iteration
Video: May 13, 2020 . Due to technical dificulties the image is lost, follow the talk as a podcast using the slides
Video: May 6, 2020 . The talk starts at minute 25:50, slides

Pynn-Coates, Nigel
An Ax–Kochen/Ershov theorem for differential-henselian pre-H-fields
Video: December 20, 2021

Rakotonarivo, Tsinjo
The definable (p,q)-theorem for dense pairs of distal geometric structures where acl=dcl
Video: June 21, 2021

Rinot, Assaf
Transformations of the transfinite planes
Video: June 10, 2020

Sabok, Marcin
Perfect matchings in hyperfinite graphings
Video: September 16, 2021

San Mauro, Luca
Revisiting the complexity of word problems
Video: December 4, 2020

Sargsyan, Grigor
Determinacy, forcing axioms and inner models
Video: November 4, 2020

Sayed Ahmed, Tarek
A multifaceted Approach to algebraic logic: What happened since ‘Algebraic logic, where does it stand today?’
Video: January 16, 2022

Schindler, Ralf
Martin's Maximum++ implies the P_max axiom (*)
Video: January 22, 2021
2020 Fudan Logic Summer School
Forcing axioms and the axiom (*)
Video: August 21, 2020
Video: August 20, 2020
Video: August 19, 2020
Video: August 18, 2020
Video: August 17, 2020
MM and (*)^++
Video: July 14, 2020

Schlicht, Philipp
Dichotomies for open dihypergraphs on generalized Baire spaces
Video: January 14, 2022

Schlutzenberg, Farmer
Remarks on rank-into-rank embeddings
Video: July 7, 2020
Video: June 30, 2020
Video: June 23, 2020
Video: June 16, 2020
Video: June 9, 200
$j:V_\delta\to V_\delta$ in $L(V_\delta)$
Video: May 12, 2020

Schreiner, Wolfgang
Teaching Logic, Formalization, and Verification by Analyzing Theories and Algorithms with the RISCAL Model Checker
Video: January 15, 2022

Shafer, Paul
An inside-outside Ramsey theorem in the Weihrauch degrees
Video: February 19, 2021

Shani, Assaf
Anti-classification results for countable Archimedean groups
Video: December 11, 2020

Shelah, Saharon
Paul Bernays Lectures 2020
Struggling with the Size of Infinity
How Large is the Continuum?
Cardinal Invariants of the Continuum: Are they all Independent?
Videos: August 31 and September 1, 2020

Sinapova, Dima
Iteration, reflection, and singular cardinals
Video: January 20, 2021

Sklinos, Rizos
Fields interpretable in the free group
Video: May 14, 2021

Soukup, Lajos
On elusive properties of infinite graphs
Video: January 15, 2022

Steingartner, William
Perspectives of semantic modeling in categories
Video: January 15, 2022

Stperans, Juris
Universal functions, strong colourings and ideas from PID
Video: January 13, 2021

Switzer, Corey Bacal
Some Set Theory of Kaufmann Models
Video: June 17, 2020

Terry, Caroline
Speeds of hereditary properties and mutual algebricity
Video: February 3, 2021

Towsner, Henry
Higher-arity VC dimension and hypergraph regularity
Video: April 9, 2021

Turner, Christopher
Forcing Axioms and Name Principles
Video: June 1, 2021

Vaccaro, Andrea
Games on AF-algebras
Video: September 14, 2021

Valenti, Manlio
Uniform reducibility & descending sequences through illfounded orders
Video: May 7, 2021

Valverde, Iván Ongay
Splitting localization and prediction numbers
Video: April 3, 2020

Viale, Matteo
Tameness for set theory
Video: February 5, 2021
Tameness for set theory
Video: September 11, 2020
Tameness for Set Theory
Video: April 17, 2020

Vicaria, Mariana
Towards an imaginary Ax-Kochen Principle
Video: September 27, 2021

Villaveces, Andrés
Around Shelah's logic $L^1_\kappa$
Video: March 25, 2021 (Passcode: 2%=7st$m)
Video: March 18, 2021 (Passcode: #@n^YTW8)

Weinert, Thilo
Cardinal Characteristic Comparisons
Video: September 13, 2021

Walsberg, Erik
NIP expansions of (ℝ, <, +)
Video: October 11, 2021

Westrick, Linda
Borel combinatorics fail in HYP
Video: May 21, 2021

Wohofsky, Wolfgang
Distributivity spectra of forcing notions
Video: September 16, 2021

Williams, Kameryn
The geology of inner mantles
Video: December 2, 2020

Xiao, Ming
The Borel chain conditions
Video: March 20, 2020

Yang, Wentao
Shelah’s eventual categoricity conjecture in universal classes
Video: March 3, 2022 (Passcode: @+eY8rbx)
February 24, 2022 (Passcode: @+eY8rbx)
aleph_0-stable AECs
Video: April 29, 2021 (Passcode: r@cNhZ^3)
Video: April 22, 2021 (Passcode: 3av&Gb6J)

Zhang, Jing
Transformations of the transfinite plane
Video: April 22, 2020

Zilber, Boris
Syntax, definability and geometry
Video: May 13, 2020

Zou, Tingxiang
Geometric random graphs
Video: January 18, 2021

Videos by name of the event

XVI International Luminy Workshop in Set Theory
Videos: September 13 - 17, 2021

2020 Fudan Logic Summer School: Schindler, Ralf
Forcing axioms and the axiom (*)
Video: August 21, 2020
Video: August 20, 2020
Video: August 19, 2020
Video: August 18, 2020
Video: August 17, 2020

Model Theoretic Logics and their Frontiers
Videos: January 14 - 16, 2022

Paul Bernays Lectures 2020: Shelah, Saharon
Videos: August 31 and September 1, 2020

Primera Jornada de Lógica Matemática Colombia/Costa Rica
Video: March 3, 2021