BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Mariya Soskova (University of Wisconsin)
DTSTART;VALUE=DATE-TIME:20200423T180000Z
DTEND;VALUE=DATE-TIME:20200423T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/1
DESCRIPTION:Title: Frag
ments of the Theory of Enumeration Degrees\nby Mariya Soskova (Univers
ity of Wisconsin) as part of Online logic seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/OLS/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Margaret Thomas (Purdue)
DTSTART;VALUE=DATE-TIME:20200430T180000Z
DTEND;VALUE=DATE-TIME:20200430T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/2
DESCRIPTION:Title: Poin
t counting and parameterizations\nby Margaret Thomas (Purdue) as part
of Online logic seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/OLS/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Rebecca Coulson (US Military Academy)
DTSTART;VALUE=DATE-TIME:20200507T180000Z
DTEND;VALUE=DATE-TIME:20200507T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/3
DESCRIPTION:Title: The
Bipartite Diameter 3 Metrically Homogeneous Graphs of Generic Type: Their
Ages and Their Almost Sure Theories\nby Rebecca Coulson (US Military A
cademy) as part of Online logic seminar\n\n\nAbstract\nFor the past 40 yea
rs computer scientists generally believed that\nNP-complete problems are i
ntractable. In particular\, Boolean\nsatisfiability (SAT)\, as a paradigma
tic automated-reasoning problem\, has\nbeen considered to be intractable.
Over the past 20 years\, however\, there\nhas been a quiet\, but dramatic\
, revolution\, and very large SAT instances\nare now being solved routinel
y as part of software and hardware design.\nIn this talk I will review thi
s amazing development and show how automated\nreasoning is now an industri
al reality.\n\nI will then describe how we can leverage SAT solving to acc
omplish\nother automated-reasoning tasks. Sampling uniformly at random sa
tisfying\ntruth assignments of a given Boolean formula or counting the num
ber of such\nassignments are both fundamental computational problems in co
mputer\nscience with applications in software testing\, software synthesis
\, machine\nlearning\, personalized learning\, and more. While the theory
of these\nproblems has been thoroughly investigated since the 1980s\, app
roximation\nalgorithms developed by theoreticians do not scale up to indus
trial-sized\ninstances. Algorithms used by the industry offer better scal
ability\,\nbut give up certain correctness guarantees to achieve scalabili
ty. We\ndescribe a novel approach\, based on universal hashing and Satisfi
ability\nModulo Theory\, that scales to formulas with hundreds of thousand
s of\nvariables without giving up correctness guarantees.\n
LOCATION:https://researchseminars.org/talk/OLS/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Chris Porter (Drake University)
DTSTART;VALUE=DATE-TIME:20200514T180000Z
DTEND;VALUE=DATE-TIME:20200514T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/4
DESCRIPTION:Title: Rand
omness extraction from a computability-theoretic perspective\nby Chris
Porter (Drake University) as part of Online logic seminar\n\n\nAbstract\n
The goal of this talk is to discuss recent work\, joint with Doug Cenzer\,
on a notion of the extraction rate of Turing functionals that translate b
etween notions of randomness with respect to different underlying probabil
ity measures. We will analyze several classes of extraction procedures:
a first that generalizes von Neumann's trick for extracting unbiased rando
mness from the tosses of a biased coin\, a second based on work of generat
ing biased randomness from unbiased randomness by Knuth and Yao\, and a th
ird independently developed by Levin and Kautz that generalizes the data c
ompression technique of arithmetic coding. For each of the above classes
of extraction procedures\, we will identify a level of algorithmic randomn
ess for an input that guarantees that we attain the corresponding extracti
on rate in producing an output. I will aim to present this material in a
way that is accessible to logicians who are not specialists in computabili
ty theory / algorithmic randomness.\n
LOCATION:https://researchseminars.org/talk/OLS/4/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Moshe Vardi (Rice University)
DTSTART;VALUE=DATE-TIME:20200521T180000Z
DTEND;VALUE=DATE-TIME:20200521T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/5
DESCRIPTION:Title: The
automated-reasoning revolution: From theory to practice and back\nby M
oshe Vardi (Rice University) as part of Online logic seminar\n\n\nAbstract
\nFor the past 40 years computer scientists generally believed that\nNP-co
mplete problems are intractable. In particular\, Boolean\nsatisfiability (
SAT)\, as a paradigmatic automated-reasoning problem\, has\nbeen considere
d to be intractable. Over the past 20 years\, however\, there\nhas been a
quiet\, but dramatic\, revolution\, and very large SAT instances\nare now
being solved routinely as part of software and hardware design.\nIn this t
alk I will review this amazing development and show how automated\nreasoni
ng is now an industrial reality.\n\nI will then describe how we can levera
ge SAT solving to accomplish\nother automated-reasoning tasks. Sampling u
niformly at random satisfying\ntruth assignments of a given Boolean formul
a or counting the number of such\nassignments are both fundamental computa
tional problems in computer\nscience with applications in software testing
\, software synthesis\, machine\nlearning\, personalized learning\, and mo
re. While the theory of these\nproblems has been thoroughly investigated
since the 1980s\, approximation\nalgorithms developed by theoreticians do
not scale up to industrial-sized\ninstances. Algorithms used by the indus
try offer better scalability\,\nbut give up certain correctness guarantees
to achieve scalability. We\ndescribe a novel approach\, based on universa
l hashing and Satisfiability\nModulo Theory\, that scales to formulas with
hundreds of thousands of\nvariables without giving up correctness guarant
ees.\n
LOCATION:https://researchseminars.org/talk/OLS/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Wesley Holliday (UC Berkeley)
DTSTART;VALUE=DATE-TIME:20200528T180000Z
DTEND;VALUE=DATE-TIME:20200528T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/6
DESCRIPTION:Title: Exte
nsions of choice-free Stone duality\nby Wesley Holliday (UC Berkeley)
as part of Online logic seminar\n\n\nAbstract\nIn a recent paper\, “Choi
ce-free Stone duality” (JSL\, March 2020)\, Nick Bezhanishvili and I dev
eloped a choice-free duality theory for Boolean algebras using special spe
ctral spaces\, called upper Vietoris spaces (UV-spaces). In this talk\, I
will cover the basics of this duality and discuss some connections to othe
r areas of logic.\n
LOCATION:https://researchseminars.org/talk/OLS/6/
END:VEVENT
BEGIN:VEVENT
SUMMARY:William Brian (UNC Charlotte)
DTSTART;VALUE=DATE-TIME:20200604T180000Z
DTEND;VALUE=DATE-TIME:20200604T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/7
DESCRIPTION:Title: Limi
ted-information strategies in Banach-Mazur games\nby William Brian (UN
C Charlotte) as part of Online logic seminar\n\n\nAbstract\nThe Banach-Maz
ur game is an infinite-length game played on a topological space X\, in wh
ich two players take turns choosing members of an infinite decreasing sequ
ence of open sets\, the first player trying to ensure that the intersectio
n of this sequence is empty\, and the second that it is not. A limited-inf
ormation strategy for one of the players is a game plan that\, on any give
n move\, depends on only a small part of the game's history. In this talk
we will discuss Telgársky's conjecture\, which asserts roughly that there
must be topological spaces where winning strategies for the Banach Mazur
game cannot be too limited\, but must rely on large parts of the game's hi
story in a significant way. Recently\, it was shown that this conjecture f
ails in models of set theory satisfying GCH + □. In such models it is al
ways possible for one player to code all information concerning a game's h
istory into a small piece of it. We will discuss these so-called coding st
rategies\, why assuming GCH + □ makes them work so well\, and what can g
o wrong in other models of set theory.\n
LOCATION:https://researchseminars.org/talk/OLS/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Samaria Montenegro Guzmán (U Costa Rica)
DTSTART;VALUE=DATE-TIME:20200611T180000Z
DTEND;VALUE=DATE-TIME:20200611T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/8
DESCRIPTION:Title: Mode
l Theory of Pseudo Real Closed Fields\nby Samaria Montenegro Guzmán (
U Costa Rica) as part of Online logic seminar\n\n\nAbstract\nThe notion of
PAC field has been generalized by S. Basarab and by A. Prestel to ordered
fields. Prestel calls a field M pseudo real closed (PRC) if M is existent
ially closed in every regular extension L to which all orderings of M exte
nd. Thus PRC fields are to real closed fields what PAC fields are to algeb
raically closed fields.\nIn this talk we will study the class of pseudo re
al closed fields (PRC-fields) from a model theoretical point of view and w
e will explain some of the main results obtained. We know that the complet
e theory of a bounded PRC field (i.e.\, with finitely many algebraic exten
sions of degree m\, for each m > 1) is NTP_2 and we have a good descriptio
n of forking.\n\nAlso\, in a joint work with Alf Onshuus and Pierre Simon
we describe the definable groups in the case that they have f-generics typ
es.\n\nIn the end of the talk we will explain some results obtained with S
ilvain Rideau. Where we generalize the notion of PRC fields to a more gene
ral class of fields. In particular\, this class includes fields that have
orders and valuations at the same time.\n
LOCATION:https://researchseminars.org/talk/OLS/8/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Rodrigo Torres-Avilés (U Bio Bio)
DTSTART;VALUE=DATE-TIME:20200625T180000Z
DTEND;VALUE=DATE-TIME:20200625T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/9
DESCRIPTION:Title: Topo
logical Mixing and Linear Recurrence on SMART\nby Rodrigo Torres-Avil
és (U Bio Bio) as part of Online logic seminar\n\n\nAbstract\nThe goal of
this talk is to analize recent work on properties of the subshift derivat
ed of a particular Turing machine\, nicknamed SMART\, which has a lot of i
nteresting properties (as topological minimality and aperiodicity). First\
, we review a combinatorial proof of the Topological Mixing property of th
e subshift derivated from SMART\, and later\, we deepen to tie general sub
shift of Turing Machines with more general properties\, as linear recurren
ce.\n
LOCATION:https://researchseminars.org/talk/OLS/9/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Henry Towsner (U Penn)
DTSTART;VALUE=DATE-TIME:20200709T180000Z
DTEND;VALUE=DATE-TIME:20200709T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/11
DESCRIPTION:Title: Sho
uld we believe in nonstandard analysis?\nby Henry Towsner (U Penn) as
part of Online logic seminar\n\n\nAbstract\nNonstandard analysis has been
the one of the focal points for debate about the role of the axiom of choi
ce in mathematics. I'll argue that this discussion often conflates two di
stinct issues - the question of whether mathematical arguments are valid\,
and the question of whether all mathematical objects should be understood
to "exist" in the same way. I'll discuss various ways of showing that mo
st uses of nonstandard analysis in mathematics don't actually use the axio
m of choice\, and how this perspective can be used to obtain new mathemati
cal results (including applications\, joint with William Simmons\, to find
ing new bounds for primality testing in polynomial rings). On the other h
and\, I'll argue (based on joint work with Kenny Easwaran) that the same p
erspective argues against interpreting nonstandard values too literally wh
en considering applications with real-world interpretations.\n
LOCATION:https://researchseminars.org/talk/OLS/11/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Elaine Pimentel (DMAT/UFRN)
DTSTART;VALUE=DATE-TIME:20200618T180000Z
DTEND;VALUE=DATE-TIME:20200618T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/12
DESCRIPTION:Title: A g
ame model for proofs with costs\nby Elaine Pimentel (DMAT/UFRN) as par
t of Online logic seminar\n\n\nAbstract\nWe look at substructural calculi
from a game semantic point of view\, guided by certain intuitions about re
source conscious and\, more specifically\, cost conscious reasoning. To th
is aim\, we start with a game\, where player I defends a claim correspondi
ng to a (single-conclusion) sequent\, while player II tries to refute that
claim. Branching rules for additive connectives are modeled by choices of
II\, while branching for multiplicative connectives leads to splitting th
e game into parallel subgames\, all of which have to be won by player I to
succeed. The game comes into full swing by adding cost labels to assumpti
ons\, and a corresponding budget. Different proofs of the same end-sequent
are interpreted as more or less expensive strategies for \\I to defend th
e corresponding claim. This leads to a new kind of labelled calculus\, whi
ch can be seen as a fragment of SELL (subexponential linear logic). Final
ly\, we generalize the concept of costs in proofs by using a semiring stru
cture\, illustrate our interpretation by examples and investigate some pro
of-theoretical properties.\nThis is a joint work with Timo Lang\, Carlos O
larte and Christian G. Fermüller\n
LOCATION:https://researchseminars.org/talk/OLS/12/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Linda Brown Westrick (Penn State)
DTSTART;VALUE=DATE-TIME:20200716T180000Z
DTEND;VALUE=DATE-TIME:20200716T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/13
DESCRIPTION:Title: Bor
el combinatorics fail in HYP\nby Linda Brown Westrick (Penn State) as
part of Online logic seminar\n\n\nAbstract\nWe show that the Borel Dual Ra
msey Theorem fails in HYP\, regardless of the number of partitions k ≥ 2
. Therefore\, the Borel Dual Ramsey Theorem is not a statement of hyperari
thmetic analysis. We also apply similar methods\, namely construction of c
ompletely determined pseudo-Borel codes via decorating trees\, to obtain r
esults concerning some theorems about Borel graph coloring and the prisone
r hat problem. Joint work with Henry Towsner and Rose Weisshaar.\n
LOCATION:https://researchseminars.org/talk/OLS/13/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Dana Bartošová (U Florida)
DTSTART;VALUE=DATE-TIME:20200723T180000Z
DTEND;VALUE=DATE-TIME:20200723T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/14
DESCRIPTION:Title: Dyn
amics of finite products of groups and of group extensions\nby Dana Ba
rtošová (U Florida) as part of Online logic seminar\n\n\nAbstract\nWe wi
ll investigate how universal minimal flows interact with group operations.
We show that the universal minimal flow of the product of two copies of i
ntegers is far from the product of two copies of the universal minimal flo
w of integers. On the other hand\, when a topological group is a group ext
ension of a compact group by a discrete group\, then the universal minimal
flow can be computed from the discrete and compact parts.\n
LOCATION:https://researchseminars.org/talk/OLS/14/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ruiyuan Chen (U Illinois Urbana-Champaign)
DTSTART;VALUE=DATE-TIME:20200702T180000Z
DTEND;VALUE=DATE-TIME:20200702T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/15
DESCRIPTION:Title: Sto
ne duality and strong conceptual completeness for infinitary logic\nby
Ruiyuan Chen (U Illinois Urbana-Champaign) as part of Online logic semina
r\n\n\nAbstract\nThe classical Stone duality\, applied to the Lindenbaum-T
arski\nalgebra of a propositional theory\, allows the syntax of the theory
to be\ncanonically recovered from its space of models\; this encompasses
both\nthe completeness and definability theorems for propositional logic.\
nMany known variants and generalizations of Stone duality have analogous\n
interpretations as completeness-definability theorems for various\nfragmen
ts of finitary propositional and first-order logic. In this\ntalk\, I wil
l give an overview of this duality-theoretic approach to\ncompleteness\, i
ncluding the key examples of Stone duality as well as\nMakkai duality for
first-order logic. I will then present a duality\ntheorem for the countab
ly infinitary first-order logic\n$L_{\\omega_1\\omega}$\, proved using too
ls from invariant descriptive set\ntheory as well as topos theory.\n
LOCATION:https://researchseminars.org/talk/OLS/15/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Manuela Busaniche (CCT CONICET Santa Fe)
DTSTART;VALUE=DATE-TIME:20200730T180000Z
DTEND;VALUE=DATE-TIME:20200730T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/16
DESCRIPTION:Title: Res
iduated Lattices: algebraic constructions related to substructural logics<
/a>\nby Manuela Busaniche (CCT CONICET Santa Fe) as part of Online logic s
eminar\n\n\nAbstract\nSubstructural logics are logics that\, when they are
formulated in a Gentzen style system\, they lack some of the structural r
ules: contraction\, weakening or exchange.The importance of the theory of
substructural logics relies on the fact that they provide a common framewo
rk where different logical systems can be compared. They include intuition
istic logic\, fuzzy logics\, relevance logics\, linear logic\, many-valued
logics and others.\n\nTheir algebraic semantics are based on residuated l
attices. The class of these ordered algebraic structures is quite big and
hard to study\, but it contains some proper subclasses that are well-known
such as Boolean algebras\, Heyting algebras\, MV-algebras. In this talk w
e will see different constructions of new residuated lattices based on bet
ter-known algebras.\n
LOCATION:https://researchseminars.org/talk/OLS/16/
END:VEVENT
BEGIN:VEVENT
SUMMARY:James Worrell (U of Oxford)
DTSTART;VALUE=DATE-TIME:20200806T180000Z
DTEND;VALUE=DATE-TIME:20200806T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/17
DESCRIPTION:Title: Dec
ision problems in program analysis\nby James Worrell (U of Oxford) as
part of Online logic seminar\n\n\nAbstract\nWe consider decision problems
for affine programs: a simple model from the field of program analysis. In
this talk we focus on deciding the existence of algebraic and semi-algebr
aic invariants that separate reachable from non-reachable program states\,
and on deciding termination. We will survey some recently obtained decisi
on procedures for these problems\, and highlight some longstanding open qu
estions.\n
LOCATION:https://researchseminars.org/talk/OLS/17/
END:VEVENT
BEGIN:VEVENT
SUMMARY:James Hanson (U of Wisconsin)
DTSTART;VALUE=DATE-TIME:20200813T180000Z
DTEND;VALUE=DATE-TIME:20200813T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/18
DESCRIPTION:Title: Str
ongly Minimal Sets in Continuous Logic\nby James Hanson (U of Wisconsi
n) as part of Online logic seminar\n\n\nAbstract\nContinuous logic is a ge
neralization of first-order logic suited to studying structures with a rea
l-valued metric. There is a natural generalization of the notion of strong
ly minimal sets to continuous logic\, and\, while they do not play quite t
he same role in characterizing theories categorical in uncountable cardina
lities\, they are interesting in their own right. After developing some of
the basic machinery of strongly minimal sets in continuous logic\, we wil
l characterize the essentially continuous strongly minimal theories\, i.e.
those which do not interpret an infinite discrete structure\, and we will
leverage this into a precise characterization of the essentially continuo
us strongly minimal groups.\n
LOCATION:https://researchseminars.org/talk/OLS/18/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Damir Dzhafarov (U of Connecticut)
DTSTART;VALUE=DATE-TIME:20200820T180000Z
DTEND;VALUE=DATE-TIME:20200820T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/19
DESCRIPTION:Title: Mil
liken's tree theorem and computability theory\nby Damir Dzhafarov (U o
f Connecticut) as part of Online logic seminar\n\n\nAbstract\nMilliken's t
ree theorem is a powerful combinatorial result that generalized Ramsey's t
heorem and many other familiar partition results. I will present recent wo
rk on the effective and proof-theoretic strength of this theorem\, which w
as originally motivated by a question of Dobrinen. The main result is a co
mplete characterization of Milliken's tree theorem in terms of reverse mat
hematics and the usual computability-theoretic hierarchies\, along with se
veral applications to other combinatorial problems. Key to this is a new i
nductive proof of Milliken's tree theorem\, employing an effective version
of the Halpern-Lauchli theorem. This is joint work with Angles d'Auriac\,
Cholak\, Monin\, and Patey.\n
LOCATION:https://researchseminars.org/talk/OLS/19/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mirna Džamonja (IHPST\, CNRS-Université Panthéon-Sorbonne Paris
\, France)
DTSTART;VALUE=DATE-TIME:20200910T180000Z
DTEND;VALUE=DATE-TIME:20200910T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/20
DESCRIPTION:Title: On
logics that make a bridge from the Discrete to the Continuous\nby Mirn
a Džamonja (IHPST\, CNRS-Université Panthéon-Sorbonne Paris\, France) a
s part of Online logic seminar\n\n\nAbstract\nWe study logics which model
the passage between an infinite sequence of finite models to an uncountabl
e limiting object\, such as is the case in the context of graphons. Of par
ticular interest is the connection between the countable and the uncountab
le object that one obtains as the union versus the combinatorial limit of
the same sequence.\n
LOCATION:https://researchseminars.org/talk/OLS/20/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Carl Mummert (Marshall University)
DTSTART;VALUE=DATE-TIME:20200903T180000Z
DTEND;VALUE=DATE-TIME:20200903T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/21
DESCRIPTION:Title: The
strength of König's edge coloring theorem\nby Carl Mummert (Marshall
University) as part of Online logic seminar\n\n\nAbstract\nKönig's edge
coloring theorem says that a bipartite graph with\nmaximal degree $n$ has
an edge coloring with no more than $n$ colors.\nWe study the computability
theory and Reverse Mathematics of this theorem. Computable bipartite grap
hs with degree bounded by $n$ have computable edge colorings with $2n-1$ c
olors\, but the theorem that there is an edge coloring with $n$ colors is
equivalent to $\\mathsf{WKL}_0$ over $\\mathsf{RCA}_0$. The number of colo
rs permitted affects the computability of the solution. We obtain an add
itional proof of the following theorem of Paul Shafer: $\\mathsf{WKL}_0$
is equivalent over $\\mathsf{RCA}_0$ to the \nprinciple that a countable b
ipartite n-regular graph is the union of n complete matchings.\n
LOCATION:https://researchseminars.org/talk/OLS/21/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Dima Sinapova (U Illinois Chicago)
DTSTART;VALUE=DATE-TIME:20200827T180000Z
DTEND;VALUE=DATE-TIME:20200827T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/22
DESCRIPTION:Title: Ite
ration\, reflection\, and Prikry forcing\nby Dima Sinapova (U Illinois
Chicago) as part of Online logic seminar\n\n\nAbstract\nThere is an inher
ent tension between stationary reflection and the failure of the singular
cardinal hypothesis (SCH). The former is a compactness type principle that
follows from large cardinals. Compactness is the phenomenon where if a ce
rtain property holds for every smaller substructure of an object\, then it
holds for the entire object. In contrast\, failure of SCH is an instance
of incompactness. It is usually obtained using Prikry forcing.\n\nWe descr
ibe a Prikry style iteration\, and use it to force stationary reflection i
n the presence of not SCH. Then we discuss the situation at smaller cardin
als. This is joint work with Alejandro Poveda and Assaf Rinot.\n
LOCATION:https://researchseminars.org/talk/OLS/22/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Alexander Berenstein (U de los Andes)
DTSTART;VALUE=DATE-TIME:20200917T180000Z
DTEND;VALUE=DATE-TIME:20200917T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/23
DESCRIPTION:Title: Exp
ansions of geometric theories as measurable structures\nby Alexander B
erenstein (U de los Andes) as part of Online logic seminar\n\n\nAbstract\n
We say that a theory T is geometric if for any model $M\\models T$ the alg
ebraic closure satisfies the exchange property and T eliminates the quanti
fier $\\exists^{\\infty}$. We will explain how to define\, inside a geomet
ric theory\, a well behaved notion of dimension for definable sets. We wil
l then consider the special case where the underlying theory is measurable
(in the sense of Macpherson and Steinhorn) of SU-rk one\, where besides a
dimension we can also assign a measure to definable sets. We will then in
troduce an expansion called an H-structures and show that it can be studie
d as a generalized measurable structure whose dimension has values in $\\o
mega^2$. This is joint work with García and Zou.\n
LOCATION:https://researchseminars.org/talk/OLS/23/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Victoria Noquez (Indiana University)
DTSTART;VALUE=DATE-TIME:20201001T180000Z
DTEND;VALUE=DATE-TIME:20201001T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/24
DESCRIPTION:Title: The
Sierpinski Carpet as a Final Coalgebra Obtained by Completing an Initial
Algebra\nby Victoria Noquez (Indiana University) as part of Online log
ic seminar\n\n\nAbstract\nThe background for this work includes Freyd's Th
eorem\, in which the unit interval is viewed as a final coalgebra of a cer
tain endofunctor in the category of bipointed sets. Leinster generalized t
his to a broad class of self-similar spaces in categories of sets\, also c
haracterizing them as topological spaces. Bhattacharya\, Moss\, Ratnayake\
, and Rose went in a different direction\, working in categories of metric
spaces\, obtaining the unit interval and the Sierpinski Gasket as a final
colagebras in the categories of bipointed and tripointed metric spaces re
spectively. To achieve this they used a Cauchy completion of an initial al
gebra to obtain the required final coalgebra. In their examples\, the iter
ations of the fractals can be viewed as gluing together a finite number of
scaled copies of some set at some finite set of points (e.g. corners of t
riangles). Here we will expand these ideas to apply to a broader class of
fractals\, in which copies of some set are glued along segments (e.g. side
s of a square). We use the method of completing an initial algebra to obta
in the Sierpinski Carpet as a final coalgebra in a category of metric spac
es\, and note the required adaptations to this approach\, most notably tha
t we no longer get the initial algebra as the colimit of a countable seque
nce of metric spaces. We will explore some ways in which these results may
be further generalized to a broader class of fractals. Joint work with La
rry Moss.\n
LOCATION:https://researchseminars.org/talk/OLS/24/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Anush Tserunyan (McGill University)
DTSTART;VALUE=DATE-TIME:20201119T190000Z
DTEND;VALUE=DATE-TIME:20201119T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/25
DESCRIPTION:Title: Con
tainers made easy\nby Anush Tserunyan (McGill University) as part of O
nline logic seminar\n\n\nAbstract\nA modern trend in extremal combinatoric
s is extending classical results from the dense setting (e.g. Szemer&eacut
e\;di's theorem) to the sparse random setting. More precisely\, one shows
that a property of a given ``dense'' structure is inherited by a randomly
chosen ``sparse'' substructure. A recent breakthrough tool for proving suc
h statements is the Balogh--Morris--Samotij and Saxton--Thomason hypergrap
h containers method\, which bounds the number of independent sets in homog
eneously dense finite hypergraphs\, thus implying that a random sparse sub
set is not independent. In a joint work with A. Bernshteyn\, M. Delcourt\,
and H. Towsner\, we give a new --- elementary and nonalgorithmic --- proo
f of the containers theorem for finite hypergraphs. Our proof is inspired
by considering hyperfinite hypergraphs in the setting of nonstandard analy
sis\, where there is a notion of dimension capturing the logarithmic rate
of growth of finite sets. Applying this intuition in another setting with
a notion of dimension\, namely\, algebraically closed fields\, A. Bernshte
yn\, M. Delcourt\, and I prove an analogous theorem for ``dense'' algebrai
cally definable hypergraphs: any Zariski-generic low-dimensional subset of
such hypergraphs is itself ``dense'' (in particular\, not independent).\n
LOCATION:https://researchseminars.org/talk/OLS/25/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Arno Pauly (Swansea University)
DTSTART;VALUE=DATE-TIME:20200924T180000Z
DTEND;VALUE=DATE-TIME:20200924T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/27
DESCRIPTION:Title: How
computability-theoretic degree structures and topological spaces are rela
ted\nby Arno Pauly (Swansea University) as part of Online logic semina
r\n\n\nAbstract\nWe can generalize Turing reducibility to points in a larg
e class of topological spaces. The point degree spectrum of a space is the
collection of the degrees of its points. This is always a collection of M
edvedev degrees\, and it turns out that topological properties of the spac
e are closely related to what degrees occur in it. For example\, a Polish
space has only Turing degrees iff it is countably dimensional. This connec
tion can be used to bring topological techniques to bear on problems from
computability theory and vice versa. The talk is based on joint work with
Takayuki Kihara and Keng Meng Ng (https://arxiv.org/abs/1405.6866 and http
s://arxiv.org/abs/1904.04107).\n
LOCATION:https://researchseminars.org/talk/OLS/27/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Johanna Franklin (Hofstra University)
DTSTART;VALUE=DATE-TIME:20201203T190000Z
DTEND;VALUE=DATE-TIME:20201203T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/28
DESCRIPTION:Title: Lim
iting densities and finitely presented structures\nby Johanna Franklin
(Hofstra University) as part of Online logic seminar\n\n\nAbstract\nWe ad
dress the question of typicality for structures by studying the limiting d
ensities of various properties. We define the limiting density of a proper
ty Q to be the limit of the fraction of presentations of a variety with re
lators of length at most s that have property Q as s goes to infinity. Aft
er providing some initial examples\, we present a more general approach to
our question. This work is joint with Meng-Che "Turbo" Ho and Julia Knigh
t.\n
LOCATION:https://researchseminars.org/talk/OLS/28/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Angeliki Koutsoukou-Argyraki (U of Cambridge)
DTSTART;VALUE=DATE-TIME:20210121T190000Z
DTEND;VALUE=DATE-TIME:20210121T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/29
DESCRIPTION:Title: Ari
stotle's Assertoric Syllogistic in Isabelle/HOL\nby Angeliki Koutsouko
u-Argyraki (U of Cambridge) as part of Online logic seminar\n\n\nAbstract\
nI discuss my formalisation of some basic elements of\nAristotle's asserto
ric syllogistic\nusing the proof assistant (interactive theorem prover) Is
abelle/HOL. The\nformal proof development can\nbe found on the Arch
ive of Formal Proofs\n
LOCATION:https://researchseminars.org/talk/OLS/29/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Aleksandra Kwiatkowska (U of Wrocław)
DTSTART;VALUE=DATE-TIME:20210114T190000Z
DTEND;VALUE=DATE-TIME:20210114T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/30
DESCRIPTION:Title: Sim
plicity of the automorphism groups of countable homogeneous structures
\nby Aleksandra Kwiatkowska (U of Wrocław) as part of Online logic semina
r\n\n\nAbstract\nThe program of understanding the normal subgroup structur
e of groups that arise as automorphism groups of countable structures date
s back at least to the ’50s\, when Higman described all proper normal su
bgroups of the automorphism group of rationals (Q\,<). In recent several y
ears Tent-Ziegler\, following the work of Macpherson-Tent\, proved simplic
ity for many automorphism groups of countable graphs and metric spaces. In
the talk\, we prove simplicity for the automorphism groups of order and t
ournament expansions of homogeneous structures such as the bounded Urysohn
metric space and the random graph. In particular\, we show that the autom
orphism group of the linearly ordered random graph is a simple group. This
is joint work with Filippo Calderoni and Katrin Tent.\n
LOCATION:https://researchseminars.org/talk/OLS/30/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Steffen Lempp (U of Wisconsin)
DTSTART;VALUE=DATE-TIME:20201022T180000Z
DTEND;VALUE=DATE-TIME:20201022T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/31
DESCRIPTION:Title: The
Turing Degrees: On the Order Dimension of and Embeddings into the Turing
Degrees\nby Steffen Lempp (U of Wisconsin) as part of Online logic sem
inar\n\n\nAbstract\nIn joint work with Higuchi\, Raghavan and Stephan\, we
show that the order dimension of any locally countable partial ordering (
P\, <) of size κ+\, for any κ of uncountable cofinality\, is at most κ.
\nIn particular\, this implies that it is consistent with ZFC that the dim
ension of the Turing degrees under partial ordering can be strictly less t
han the continuum. (Kumar and Raghavan have since shown that it can also b
e continuum\, thus the order dimension of the Turing degrees is independen
t of ZFC.)\nThis is closely related to an old question of Sacks from 1963
about whether the Turing degrees form a universal locally countable partia
l order of size continuum.\n
LOCATION:https://researchseminars.org/talk/OLS/31/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Lynn Scow (Cal State San Bernardino)
DTSTART;VALUE=DATE-TIME:20201112T190000Z
DTEND;VALUE=DATE-TIME:20201112T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/32
DESCRIPTION:Title: Tra
nsfer of the Ramsey property\nby Lynn Scow (Cal State San Bernardino)
as part of Online logic seminar\n\n\nAbstract\nRamsey's theorem for finite
sequences is a special case of a class of finite structures having the Ra
msey property\, where that class is the age of $(\\mathbb{Q}\,<)$. Given
two classes $\\mathcal{K}_1$\nand $\\mathcal{K}_2$\, each with the Ramsey
property\, there are many lenses through which one might examine how the R
amsey property transfers from $\\mathcal{K}_1$ to $\\mathcal{K}_2$. We wi
ll present some approaches.\n
LOCATION:https://researchseminars.org/talk/OLS/32/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Adam Přenosil (Vanderbilt University)
DTSTART;VALUE=DATE-TIME:20201029T180000Z
DTEND;VALUE=DATE-TIME:20201029T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/33
DESCRIPTION:Title: Sem
isimplicity\, Glivenko theorems\, and the excluded middle\nby Adam Př
enosil (Vanderbilt University) as part of Online logic seminar\n\n\nAbstra
ct\nThere are at least three different ways to obtain classical propositio
nal logic from intuitionistic propositional logic. Firstly\, it is the ext
ension of intuitionistic logic by the law of the excluded middle (LEM). Se
condly\, it is related to intuitionistic logic by the double-negation tran
slation of Glivenko. Finally\, the algebraic models of classical logic are
precisely the semisimple algebraic models of intuitionistic logic (i.e. B
oolean algebras are precisely the semisimple Heyting algebras). We show ho
w to formulate the equivalence between the LEM and semisimplicity\, and be
tween what we might call the Glivenko companion and the semisimple compani
on of a logic\, at an appropriate level of generality. This equivalence wi
ll subsume several existing Glivenko-like theorems\, as well as some new o
nes. It also provides a useful technique for describing the semisimple sub
varieties of a given variety of algebras. This is joint work with Tomáš
Lávička\, building on previous work by James Raftery.\n
LOCATION:https://researchseminars.org/talk/OLS/33/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Peter Cholak (University of Notre Dame)
DTSTART;VALUE=DATE-TIME:20210204T190000Z
DTEND;VALUE=DATE-TIME:20210204T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/35
DESCRIPTION:Title: Old
and new results on the computably enumerable sets\nby Peter Cholak (U
niversity of Notre Dame) as part of Online logic seminar\n\n\nAbstract\nWe
will survey a number of old results on the computably enumerable sets and
finish with a few new results. The computably enumerable sets are intere
sting since anything which can happen computably happens in computably enu
merable sets.\n
LOCATION:https://researchseminars.org/talk/OLS/35/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Farzaneh Derakhshan (Carnegie Mellon)
DTSTART;VALUE=DATE-TIME:20201105T190000Z
DTEND;VALUE=DATE-TIME:20201105T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/36
DESCRIPTION:Title: Str
ong Progress for Session-Typed Processes in a Linear Metalogic with Circul
ar Proofs\nby Farzaneh Derakhshan (Carnegie Mellon) as part of Online
logic seminar\n\n\nAbstract\nSession types describe the communication beha
vior of interacting processes. Binary session types are a particular form
of session types in which each channel has two endpoints. The strong progr
ess property states that a recursive process either terminates or communic
ates along one of its external channels after a finite number of steps. In
this talk\, I show how to prove strong progress for valid session-typed p
rocesses defined in an asynchronous computational semantics\, working in a
fragment of binary session types in which a process can use at most one r
esource. We formalize a proof of strong progress via a processes-as-formul
as interpretation into a metalogic that we have introduced. The metalogic
is an infinitary first order linear calculus with least and greatest fixed
-points. We build a circular derivation for the strong progress property o
f processes in this first order calculus. By enforcing a condition on the
logical derivations\, we ensure their cut elimination property and soundne
ss of the strong progress theorem.\n
LOCATION:https://researchseminars.org/talk/OLS/36/
END:VEVENT
BEGIN:VEVENT
SUMMARY:John Baldwin (University of Illinois\, Chicago)
DTSTART;VALUE=DATE-TIME:20201015T180000Z
DTEND;VALUE=DATE-TIME:20201015T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/37
DESCRIPTION:Title: Tow
ards a finer classification of Strongly minimal sets\nby John Baldwin
(University of Illinois\, Chicago) as part of Online logic seminar\n\n\nAb
stract\nPDF Abstract posted on Seminar Web page at http://lagrange.
math.siu.edu/calvert/OnlineSeminar/Baldwin201015ab.pdf\n
LOCATION:https://researchseminars.org/talk/OLS/37/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Artem Chernikov (UCLA)
DTSTART;VALUE=DATE-TIME:20201008T180000Z
DTEND;VALUE=DATE-TIME:20201008T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/38
DESCRIPTION:Title: Ide
mpotent Keisler measures\nby Artem Chernikov (UCLA) as part of Online
logic seminar\n\n\nAbstract\nIn model theory\, a type is an ultrafilter on
the Boolean algebra of definable sets\, and is the same thing as a finite
ly additive {0\,1}-valued measure. This is a special kind of a Keisler mea
sure\, which is just a finitely additive real-valued probability measure o
n the Boolean algebra of definable sets. If the structure we are consideri
ng expands a group (i.e. the group operations are definable)\, it often li
fts to a natural semigroup operation on the space of its types/measures\,
and it makes sense to talk about the idempotent ones among them. For insta
nce\, idempotent ultrafilters on the integers provide an elegant proof of
Hindman's theorem\, and fit into this setting taking the structure to be (
Z\,+) with all of its subsets named by predicates. On the other hand\, in
the context of locally compact abelian groups\, classical work by Wendel\,
Rudin\, Cohen (before inventing forcing) and others classifies idempotent
Borel measures\, showing that they are precisely the Haar measures of com
pact subgroups. I will discuss recent joint work with Kyle Gannon aiming t
o unify these two settings\, leading in particular to a classification of
idempotent Keisler measures in stable theories.\n
LOCATION:https://researchseminars.org/talk/OLS/38/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Gil Sagi (U of Haifa)
DTSTART;VALUE=DATE-TIME:20201210T190000Z
DTEND;VALUE=DATE-TIME:20201210T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/39
DESCRIPTION:Title: For
malization\, Commitments and Constraints\nby Gil Sagi (U of Haifa) as
part of Online logic seminar\n\n\nAbstract\nThe topic of this talk is form
alization: the assignment of formal language arguments to natural language
arguments for the sake of evaluating the latter's validity. It has been r
ecognized in the literature that formalization is far from a trivial proce
ss. One must discern the logical from the nonlogical in the sentence\, a p
rocess that requires theorizing that goes beyond the mere understanding of
the sentence formalized (Brun 2014). Moreover\, according to some\, forma
lization is a form of explication\, and it "involves creative and normativ
e aspects of constructing logical forms" (ibid).\n\nIn previous work\, I p
roposed a model-theoretic framework of "semantic constraints\," where ther
e is no strict distinction between logical and nonlogical vocabulary. The
form of sentences in a formal language is determined rather by a set of co
nstraints on models. In the talk\, I will show how this framework can also
be used in the process of formalization\, where the semantic constraints
are conceived of as commitments made with respect to the language. I will
extend the framework to include "formalization constraints" on functions t
aking arguments from a source language to a target language\, and I will c
onsider various meta-constraints on both the process of formalization and
its end result.\n
LOCATION:https://researchseminars.org/talk/OLS/39/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Raimundo Briceño (Pontificia Universidad Católica de Chile)
DTSTART;VALUE=DATE-TIME:20210128T190000Z
DTEND;VALUE=DATE-TIME:20210128T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/40
DESCRIPTION:Title: Dis
mantlability\, connectedness\, and mixing in relational structures\nby
Raimundo Briceño (Pontificia Universidad Católica de Chile) as part of
Online logic seminar\n\n\nAbstract\nThe Constraint Satisfaction Problem (C
SP) and its counting counterpart appears under different guises in many ar
eas of mathematics\, computer science\, and elsewhere. Its structural and
algorithmic properties have demonstrated to play a crucial role in many of
those applications. For instance\, in the decision CSPs\, structural prop
erties of the relational structures involved —like\, for example\, disma
ntlability— and their logical characterizations have been instrumental f
or determining the complexity and other properties of the problem. Topolog
ical properties of the solution set such as connectedness are related to t
he hardness of CSPs over random structures. Additionally\, in approximate
counting and statistical physics\, where CSPs emerge in the form of spin s
ystems\, mixing properties and the uniqueness of Gibbs measures have been
heavily exploited for approximating partition functions and free energy.\n
\nIn spite of the great diversity of those features\, there are some eerie
similarities between them. These were observed and made more precise in t
he case of graph homomorphisms by Brightwell and Winkler\, who showed that
dismantlability of the target graph\, connectedness of the set of homomor
phisms\, and good mixing properties of the corresponding spin system are a
ll equivalent. In this talk we go a step further and demonstrate similar c
onnections for arbitrary CSPs. This requires a much deeper understanding o
f dismantling and the structure of the solution space in the case of relat
ional structures\, and also new refined concepts of mixing. In addition\,
we develop properties related to the study of valid extensions of a given
partially defined homomorphism\, an approach that turns out to be novel ev
en in the graph case. We also add to the mix the combinatorial property of
finite duality and its logic counterpart\, FO-definability\, studied by L
arose\, Loten\, and Tardif. This is joint work with Andrei Bulatov\, Víct
or Dalmau\, and Benoît Larose.\n
LOCATION:https://researchseminars.org/talk/OLS/40/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Marcos Mazari-Armida (Carnegie Mellon University)
DTSTART;VALUE=DATE-TIME:20210218T190000Z
DTEND;VALUE=DATE-TIME:20210218T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/41
DESCRIPTION:Title: Cha
racterizing noetherian rings via superstability\nby Marcos Mazari-Armi
da (Carnegie Mellon University) as part of Online logic seminar\n\n\nAbstr
act\nWe will show how superstability of certain classes of modules can be
used to characterize noetherian rings. None of the classes of modules that
we will consider are axiomatizable by a complete first-order theory and s
ome of them are not even first-order axiomatizable\, but they are all Abst
ract Elementary Classes (AECs). This new way of looking at classes of modu
les as AECs will be emphasized as I think it can have interesting applicat
ions. If time permits we will see how the ideas presented can be used to c
haracterize other classical rings such as pure-semisimple rings and perfec
t rings.\n
LOCATION:https://researchseminars.org/talk/OLS/41/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sarah Reitzes (U of Chicago)
DTSTART;VALUE=DATE-TIME:20210415T180000Z
DTEND;VALUE=DATE-TIME:20210415T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/42
DESCRIPTION:Title: Red
uction games over $\\textup{RCA}_0$\nby Sarah Reitzes (U of Chicago) a
s part of Online logic seminar\n\n\nAbstract\nIn this talk\, I will discus
s joint work with Damir D. Dzhafarov and Denis R. Hirschfeldt. Our work ce
nters on the characterization of problems P and Q such that P $\\leq_{\\om
ega}$ Q\, as well as problems P and Q such that\n$\\textup{RCA}_0 \\vdash$
Q $\\to$ P\, in terms of winning strategies in certain games. These chara
cterizations were originally introduced by Hirschfeldt and Jockusch. I wil
l discuss extensions and generalizations of these characterizations\, incl
uding a certain\nnotion of compactness that allows us\, for strategies sat
isfying particular conditions\, to bound the number of moves it takes to w
in. This bound is independent of the instance of the problem P being consi
dered. This allows us to develop the idea of Weihrauch\nand generalized We
ihrauch reduction over some base theory. Here\, we will focus on the base
theory $\\textup{RCA}_0$. In this talk\, I will explore these notions of r
eduction among various principles\, focusing particularly on bounding and
induction principles.\n
LOCATION:https://researchseminars.org/talk/OLS/42/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ludovic Patey (Institut Camille Jordan\, Lyon)
DTSTART;VALUE=DATE-TIME:20210211T190000Z
DTEND;VALUE=DATE-TIME:20210211T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/43
DESCRIPTION:Title: Can
onical notions of forcing in computability theory\nby Ludovic Patey (I
nstitut Camille Jordan\, Lyon) as part of Online logic seminar\n\n\nAbstra
ct\nIn reverse mathematics\, a proof that a problem P does not imply a pro
blem Q is usually done by constructing a computable instance of Q whose so
lutions are computationally complex\, while proving that every simple inst
ance of P has a simple solution\, using a notion of forcing. In its full g
enerality\, the notion of forcing could depend on both P and Q\, but in mo
st cases\, the notion of forcing for building solutions to P does not depe
nd on Q. This suggests the existence of a "canonical" notion of forcing fo
r P\, that is\, a notion of forcing such that all the relevant separation
proofs can be obtained without loss of generality with sufficiently generi
c sets for this notion. We settle a formal framework for discussing this q
uestion\, and give preliminary results. This is a joint work with Denis Hi
rschfeldt.\n
LOCATION:https://researchseminars.org/talk/OLS/43/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Dakota Ihli (U of Illinois Urbana-Champaign)
DTSTART;VALUE=DATE-TIME:20210304T190000Z
DTEND;VALUE=DATE-TIME:20210304T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/44
DESCRIPTION:Title: Wha
t generic automorphisms of the random poset look like\nby Dakota Ihli
(U of Illinois Urbana-Champaign) as part of Online logic seminar\n\n\nAbst
ract\nThe random poset (the Fraïssé limit of the class of finite\nposets
) admits generic automorphisms — that is\, its automorphism group\nadmit
s a comeagre conjugacy class. This result\, due to D. Kuske and J.\nTruss\
, was proven without explicitly describing the automorphisms in\nquestion.
Here we give a new\, concrete description of the generic\nautomorphisms\,
and we discuss the combinatorics and model theory involved.\n
LOCATION:https://researchseminars.org/talk/OLS/44/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sophia Knight (University of Minnesota\, Duluth)
DTSTART;VALUE=DATE-TIME:20210225T190000Z
DTEND;VALUE=DATE-TIME:20210225T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/45
DESCRIPTION:Title: Rea
soning about agents who may know other agents’ strategies in Strategy Lo
gic\nby Sophia Knight (University of Minnesota\, Duluth) as part of On
line logic seminar\n\n\nAbstract\nIn this talk I will discuss some new dev
elopments in Strategy Logic with imperfect information. Strategy Logic is
concerned with agents' strategic abilities in multi-agent systems\, and un
like ATL\, treats strategies as first-class objects in the logic\, indepen
dent from the agents. Thus\, in imperfect information settings\, Strategy
Logic raises delicate issues\, such as what agents know about one another'
s strategies. I will describe a new version of Strategy Logic that ensures
that agents' strategies are uniform\, and allows a formal description of
their knowledge about each other's strategies.\n
LOCATION:https://researchseminars.org/talk/OLS/45/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Michael Lieberman (Brno University of Technology)
DTSTART;VALUE=DATE-TIME:20210325T180000Z
DTEND;VALUE=DATE-TIME:20210325T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/46
DESCRIPTION:Title: Rec
ent developments in categorical model theory\nby Michael Lieberman (Br
no University of Technology) as part of Online logic seminar\n\n\nAbstract
\nWe give an overview of the foundations of the still-emerging field of ca
tegorical model theory\, which synthesizes ideas and methods drawn from ac
cessible categories\, abstract model theory\, and set theory. We discuss
the fundamental nexus of interaction---a very slight generalization of abs
tract elementary classes (AECs)---and sketch a few recent results. In par
ticular\, we consider:\n-Connections between compact cardinals\, tameness
of Galois types\, and the closure of images of accessible functors (joint
work with Will Boney).\n-Stable independence on an abstract category\, wit
h surprising connections to homotopy theory (joint work with Jiří Rosick
ý and Sebastien Vasey).\n
LOCATION:https://researchseminars.org/talk/OLS/46/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Matthew Moore (U of Kansas)
DTSTART;VALUE=DATE-TIME:20210311T190000Z
DTEND;VALUE=DATE-TIME:20210311T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/47
DESCRIPTION:Title: The
Hidden Subgroup Problem for Universal Algebras\nby Matthew Moore (U o
f Kansas) as part of Online logic seminar\n\n\nAbstract\nThe Hidden Subgro
up Problem (HSP) is a computational problem which includes as\nspecial cas
es integer factorization\, the discrete logarithm problem\, graph\nisomorp
hism\, and the shortest vector problem. The celebrated polynomial-time\nqu
antum algorithms for factorization and the discrete logarithm are restrict
ed\nversions of a generic polynomial-time quantum solution to the HSP for\
n*abelian* groups\, but despite focused research no polynomial-time s
olution\nfor general groups has yet been found. We propose a generalizatio
n of the HSP to\ninclude *arbitrary* algebraic structures and analyze
this new problem on\npowers of 2-element algebras. We prove a complete cl
assification of every such\npower as quantum tractable (i.e. polynomial-ti
me)\, classically tractable\,\nquantum intractable\, or classically intrac
table. In particular\, we identify a\nclass of algebras for which the gene
ralized HSP exhibits super-polynomial\nspeedup on a quantum computer compa
red to a classical one.\n
LOCATION:https://researchseminars.org/talk/OLS/47/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Deirdre Haskell (McMaster University)
DTSTART;VALUE=DATE-TIME:20210401T180000Z
DTEND;VALUE=DATE-TIME:20210401T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/48
DESCRIPTION:Title: Tam
eness properties of theories of valued fields with analytic functions\
nby Deirdre Haskell (McMaster University) as part of Online logic seminar\
n\n\nAbstract\nAn important motif in model-theoretic algebra over the last
thirty years has been the concept of tameness and the impact it has for u
nderstanding the definable sets of a structure. In this talk\, I will desc
ribe some of the ways this motif occurs in the case of valued fields\, esp
ecially ordered convexly valued fields\, when equipped with additional fun
ction symbols which\, on the standard model\, are interpreted by functions
defined by convergent power series. All of these notions will be defined
in the course of the talk.\n
LOCATION:https://researchseminars.org/talk/OLS/48/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mariana Vicaria (Berkeley)
DTSTART;VALUE=DATE-TIME:20210429T180000Z
DTEND;VALUE=DATE-TIME:20210429T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/49
DESCRIPTION:Title: Eli
mination of imaginaries and stable domination in multivalued fields\nb
y Mariana Vicaria (Berkeley) as part of Online logic seminar\n\n\nAbstract
\nThe model theory of henselian valued fields has been a major topic of st
udy during the last century. Remarkable work has been achieved by Haskell\
, Hrushovski and Macpherson to understand the model theory of algebraicall
y closed valued fields (ACVF). In a sequence of seminal papers they proved
that this theory eliminates imaginaries once the geometric sorts are adde
d and they developed the notion of stable domination\, which describes how
types over maximally complete bases are controlled by the stable part of
the structure. \n\n I will explain how to extend these results to the
broader class of henselian valued fields of equicharacteristic zero\, res
idue field algebraically closed and poly- regular value group. This includ
es many interesting mathematical structures such as the Laurent Series ove
r the Complex numbers\, but more importantly extends the results to valued
fields with finitely many definable convex subgroups.\n
LOCATION:https://researchseminars.org/talk/OLS/49/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Valentina Harizanov (George Washington University)
DTSTART;VALUE=DATE-TIME:20210506T180000Z
DTEND;VALUE=DATE-TIME:20210506T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/50
DESCRIPTION:Title: Com
putability theory and automorphisms of lattices of substructures\nby V
alentina Harizanov (George Washington University) as part of Online logic
seminar\n\n\nAbstract\nWe use computability-theoretic concepts and methods
to study automorphisms of lattices of substructures of a canonical comput
able infinite-dimensional vector space over the rationals. In particular\,
we establish the equivalence of the embedding relation for certain automo
rphism groups with the order relation of the corresponding Turing degrees.
We further determine the Turing degrees of these automorphism groups. We
establish similar results for the interval Boolean algebra over the ration
als. This is joint work with Rumen Dimitrov and Andrei Morozov.\n
LOCATION:https://researchseminars.org/talk/OLS/50/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Andrew Moorhead (University of Kansas)
DTSTART;VALUE=DATE-TIME:20210520T180000Z
DTEND;VALUE=DATE-TIME:20210520T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/51
DESCRIPTION:Title: Hig
her commutators\, hypercubes\, and the hierarchy of centralizer conditions
\nby Andrew Moorhead (University of Kansas) as part of Online logic se
minar\n\n\nAbstract\nThe commutator had historically been studied for spec
ific varieties of algebras until Smith found a general definition for a co
mmutator that worked for any Mal'cev algebra. Since then the commutator ha
s become an essential part of the general algebraist's toolkit. Bulatov di
scovered at the beginning of the century that the (binary) commutator can
be extended to an infinite sequence of higher arity operations\, no one of
which are term definable from the others. This discovery has most importa
ntly led to the distinction between a nilpotent algebra and a 'supernilpot
ent' algebra. While this distinction is invisible for groups\, supernilpot
ent Mal'cev algebras share many strong properties with nilpotent groups\,
while nilpotent algebras need not. We will discuss the extent to which som
e of the known results of commutator theory can be viewed as a low-dimensi
onal case of a general multidimensional theory.\n
LOCATION:https://researchseminars.org/talk/OLS/51/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sylvy Anscombe (Université de Paris)
DTSTART;VALUE=DATE-TIME:20210422T180000Z
DTEND;VALUE=DATE-TIME:20210422T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/52
DESCRIPTION:Title: Som
e existential theories of fields\nby Sylvy Anscombe (Université de Pa
ris) as part of Online logic seminar\n\n\nAbstract\nBuilding on previous w
ork\, I will discuss Turing reductions between various fragments of theori
es of fields. In particular\, we exhibit several theories of fields Turing
equivalent to the existential theory of the rational numbers. This is joi
nt work with Arno Fehm.\n
LOCATION:https://researchseminars.org/talk/OLS/52/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Andrés Villaveces (Universidad Nacional de Colombia)
DTSTART;VALUE=DATE-TIME:20210513T180000Z
DTEND;VALUE=DATE-TIME:20210513T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/53
DESCRIPTION:Title: A p
artition relation for well-founded trees by Komjáth and Shelah\, and two
applications to model theory.\nby Andrés Villaveces (Universidad Naci
onal de Colombia) as part of Online logic seminar\n\n\nAbstract\nIn 2003\,
Komjáth and Shelah proved a partition theorem on scattered order types\;
these in turn could be understood as partition relations for classes of w
ell-founded trees. Recently\, two different kinds of applications of the s
ame partition relation have been used in infinitary logic and in model the
ory: one by Väänänen and Velickovic on games related to Shelah’s logi
c $L^1_\\kappa$\, another by Shelah and myself on the “canonical tree”
of an AEC (a generalization of the Scott sentence for an abstract element
ary class). I will describe the Komjáth-Shelah result in the first part a
nd then narrow in the applications (with more details on the second one\,
from some recent joint work with Shelah). Time permitting\, I will also ad
dress a third interaction between partition relations and model theoretic
issues.\n
LOCATION:https://researchseminars.org/talk/OLS/53/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Alexi Block Gorman (University of Illinois Urbana-Champaign)
DTSTART;VALUE=DATE-TIME:20210527T180000Z
DTEND;VALUE=DATE-TIME:20210527T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/54
DESCRIPTION:Title: Def
inability on the Reals from Büchi Automata\nby Alexi Block Gorman (Un
iversity of Illinois Urbana-Champaign) as part of Online logic seminar\n\n
\nAbstract\nBüchi automata are the natural analogue of finite automata in
the context of infinite strings (indexed by the natural numbers) on a fin
ite alphabet. We say a subset X of the reals is r-regular if there is a B
üchi automaton that accepts (one of) the base-r representations of every
element in X\, and rejects the base-r representations of each element in i
ts complement. These sets often exhibit fractal-like behavior—e.g.\, the
Cantor set is 3-regular. There are remarkable connections in logic to Bü
chi automata\, particularly in model theory. In this talk\, I will give a
characterization of when the expansion of the real ordered additive group
by a predicate for a closed r-regular subset of [0\,1] is model-theoretica
lly tame (d-minimal\, NIP\, NTP2). Moreover\, I will discuss how this coi
ncides with geometric tameness\, namely trivial fractal dimension. This w
ill include a discussion of how the properties of definable sets vary depe
nding on the properties of the Büchi automaton that recognizes the predic
ate subset.\n
LOCATION:https://researchseminars.org/talk/OLS/54/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Dimitra Chompitaki (University of Crete)
DTSTART;VALUE=DATE-TIME:20210708T180000Z
DTEND;VALUE=DATE-TIME:20210708T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/55
DESCRIPTION:Title: Dec
idability results of subtheories of commonly used domains in Algebra and N
umber Theory\nby Dimitra Chompitaki (University of Crete) as part of O
nline logic seminar\n\n\nAbstract\nWe will present some known decidability
and undecidability results for theories of the ring-structures of commonl
y used domains (Polynomial Rings\, Rational Functions\, Formal Power Serie
s). Then we will focus on ongoing research relating to some subtheories su
ch as: (a) Addition and the Frobenius map for subrings of Rational Functio
ns of positive characteristic\, and (b) Addition and Divisibility for Form
al Power Series. The latter results fall mostly on the "decidability" side
: model completeness and elimination of quantifiers.\n
LOCATION:https://researchseminars.org/talk/OLS/55/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Christina Brech (Universidade de São Paulo)
DTSTART;VALUE=DATE-TIME:20210617T180000Z
DTEND;VALUE=DATE-TIME:20210617T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/56
DESCRIPTION:Title: Iso
morphic combinatorial families\nby Christina Brech (Universidade de S
ão Paulo) as part of Online logic seminar\n\n\nAbstract\nWe will recall t
he notion of compact and hereditary families of finite subsets of some car
dinal κ and their corresponding combinatorial Banach spaces. We present a
combinatorial version of Banach-Stone theorem\, which leads naturally to
a notion of isomorphism between families. Our main result shows that diffe
rent families on ω are not isomorphic\, if we assume them to be spreading
. We also discuss the difference between the countable and the uncountable
setting. This is a joint work with Claribet Piña.\n
LOCATION:https://researchseminars.org/talk/OLS/56/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Marcelo Arena (Pontificia Universidad Católica de Chile)
DTSTART;VALUE=DATE-TIME:20210909T180000Z
DTEND;VALUE=DATE-TIME:20210909T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/57
DESCRIPTION:Title: Des
criptive Complexity for Counting Complexity Classes\nby Marcelo Arena
(Pontificia Universidad Católica de Chile) as part of Online logic semina
r\n\n\nAbstract\nDescriptive Complexity has been very successful in charac
terizing complexity classes of decision problems in terms of the propertie
s definable in some logics. However\, descriptive complexity for counting
complexity classes\, such as FP and #P\, has not been systematically studi
ed\, and it is not as developed as its decision counterpart. In this talk\
, we will present a framework based on Weighted Logics to address this iss
ue. Specifically\, by focusing on the natural numbers we obtain a logic ca
lled Quantitative Second Order Logics (QSO)\, and show how some of its fra
gments can be used to capture fundamental counting complexity classes such
as FP\, #P and FPSPACE\, among others. Moreover\, we use QSO to define a
hierarchy inside #P\, identifying counting complexity classes with good cl
osure and approximation properties\, and which admit natural complete prob
lems.\n
LOCATION:https://researchseminars.org/talk/OLS/57/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Joel Nagloo (University of Illinois Chicago)
DTSTART;VALUE=DATE-TIME:20210819T180000Z
DTEND;VALUE=DATE-TIME:20210819T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/58
DESCRIPTION:Title: Geo
metric triviality in differentially closed fields\nby Joel Nagloo (Uni
versity of Illinois Chicago) as part of Online logic seminar\n\n\nAbstract
\nIn this talk we revisit the problem of describing the 'finer' structure
of geometrically trivial strongly minimal sets in $DCF_0$. In particular\,
I will explain how recent work joint with Guy Casale and James Freitag on
Fuchsian groups (discrete subgroup of $SL_2(\\mathbb{R})$) and automorphi
c functions\, has lead to intriguing questions around the $\\omega$-catego
ricity conjecture of Daniel Lascar. This conjecture was disproved in its f
ull generality by James Freitag and Tom Scanlon using the modular group $S
L_2(\\mathbb{Z})$ and its automorphic uniformizer (the $j$-function). I wi
ll explain how their counter-example fits into the larger context of arith
metic Fuchsian groups and has allowed us to 'propose' refinements to the o
riginal conjecture.\n
LOCATION:https://researchseminars.org/talk/OLS/58/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Rachael Alvir (University of Notre Dame)
DTSTART;VALUE=DATE-TIME:20210610T180000Z
DTEND;VALUE=DATE-TIME:20210610T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/60
DESCRIPTION:Title: Sco
tt Complexity and Finitely α-generated Structures\nby Rachael Alvir (
University of Notre Dame) as part of Online logic seminar\n\n\nAbstract\nI
n this talk\, we define the notion of a finitely α-generated structure an
d generalize results about Scott sentences earlier known only for finitely
generated structures. We will show how these results can be used to the c
onnect some of the existing non-equivalent definitions of Scott rank.\n
LOCATION:https://researchseminars.org/talk/OLS/60/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Tarek Sayed-Ahmed (Cairo University)
DTSTART;VALUE=DATE-TIME:20210603T180000Z
DTEND;VALUE=DATE-TIME:20210603T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/61
DESCRIPTION:Title: Ato
m canonicity\, complete representations\, and omitting types\nby Tarek
Sayed-Ahmed (Cairo University) as part of Online logic seminar\n\n\nAbstr
act\nClick here for abstract\n
LOCATION:https://researchseminars.org/talk/OLS/61/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Daoud Siniora (American University in Cairo)
DTSTART;VALUE=DATE-TIME:20210701T180000Z
DTEND;VALUE=DATE-TIME:20210701T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/62
DESCRIPTION:Title: Gen
eric automorphisms of homogeneous structures\nby Daoud Siniora (Americ
an University in Cairo) as part of Online logic seminar\n\n\nAbstract\nAut
omorphism groups of countable first-order structures are Polish groups und
er the pointwise convergence topology. An automorphism is called generic i
f its conjugacy class in comeagre. In this talk we focus on generic automo
rphisms of homogeneous structures\, such structures arise as Fraisse limit
s of amalgamation classes of finite structures. We will present joint work
with Itay Kaplan and Tomasz Rzepecki studying generic automorphisms of th
e countable universal homogeneous meet-tree.\n
LOCATION:https://researchseminars.org/talk/OLS/62/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Cristobal Rojas (Pontificia Universidad Católica de Chile)
DTSTART;VALUE=DATE-TIME:20210715T180000Z
DTEND;VALUE=DATE-TIME:20210715T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/63
DESCRIPTION:Title: Com
putability of Harmonic Measure\nby Cristobal Rojas (Pontificia Univers
idad Católica de Chile) as part of Online logic seminar\n\n\nAbstract\nAb
stract: We will review recent results relating the geometry of a connecte
d domain to the computability of its harmonic measure at a given point x.
In particular\, we will discuss examples of domains whose harmonic measure
at x is always computable relative to x\, but not uniformly. This constru
ction gives rise to examples of continuous functions arising as solutions
to a Dirichlet problem (so they are even harmonic) which are piecewise com
putable (i.e. all their values are computable relative to the input point)
\, but not computable.\n
LOCATION:https://researchseminars.org/talk/OLS/63/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Cristina Sernadas (Universidade de Lisbona)
DTSTART;VALUE=DATE-TIME:20210902T180000Z
DTEND;VALUE=DATE-TIME:20210902T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/64
DESCRIPTION:Title: Dec
idability via Reduction in Logics and Their Combinations\nby Cristina
Sernadas (Universidade de Lisbona) as part of Online logic seminar\n\n\nAb
stract\nDecision problems in logic include semantic based problems like th
e satisfiability and the validity problems\nand deductive problems like th
e theoremhood and the consequence problems. Satisfaction systems and reduc
tions between \nthem are presented as an appropriate context for analyzing
the satisfiability and the validity problems. \nThe notion of reduction
is generalized in order to cope with the meet-combination of logics.\nRed
uctions between satisfaction systems induce reductions between the respect
ive satisfiability problems and (under mild conditions) also between their
validity problems. Sufficient conditions are provided for relating satisf
iability problems to validity problems. Reflection results for decidabilit
y in the presence of reductions are established. The validity problem in t
he meet-combination is proved to be decidable\nwhenever the validity prob
lems for the components are decidable. Some examples are discussed\, name
ly\, the meet-combination of modal logic and intuitionistic logic. Some o
ngoing work related to consequence problems in the context of consequence
systems and their combination is pointed out. \nThis talk reports on joint
work with João Rasga and Walter Carnielli.\n
LOCATION:https://researchseminars.org/talk/OLS/64/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Hunter Spink (Stanford)
DTSTART;VALUE=DATE-TIME:20210729T180000Z
DTEND;VALUE=DATE-TIME:20210729T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/65
DESCRIPTION:Title: Pro
babilistic Littlewood-Offord anti-concentration results via model theory\nby Hunter Spink (Stanford) as part of Online logic seminar\n\n\nAbstra
ct\nAbstract: (Joint with Jacob Fox and Matthew Kwan) The classical Erdos-
Littlewood-Offord theorem says that for any n nonzero vectors in $R^d$\, a
random signed sum concentrates on any point with probability at most $O(n
^{-1/2})$. Combining tools from probability theory\, additive combinatoric
s\, and model theory\, we obtain an anti-concentration probability of $n^{
-1/2+o(1)}$ for any o-minimal set $S$ in $R^d$ (such as a hypersurface def
ined by a polynomial in $x_1\,...\,x_n\,e^{x_1}\,...\,e^{x_n}$\, or a rest
ricted analytic function) not containing a line segment. We do this by sho
wing such o-minimal sets have no higher-order additive structure\, complem
enting work by Pila on lower-order additive structure developed to count r
ational and algebraic points of bounded height.\n
LOCATION:https://researchseminars.org/talk/OLS/65/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Colin Jahel (Université Claude Bernard Lyon 1)
DTSTART;VALUE=DATE-TIME:20210826T180000Z
DTEND;VALUE=DATE-TIME:20210826T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/66
DESCRIPTION:Title: Som
e progress on the unique ergodicity problem\nby Colin Jahel (Universit
é Claude Bernard Lyon 1) as part of Online logic seminar\n\n\nAbstract\nI
n 2005\, Kechris\, Pestov and Todorcevic exhibited a\ncorrespondence betwe
en combinatorial properties of structures and\ndynamical properties of the
ir automorphism groups. In 2012\, Angel\,\nKechris and Lyons used this cor
respondence to show the unique ergodicity\nof all the minimal actions of s
ome subgroups of $S_\\infty$. In this\ntalk\, I will give an overview of t
he aforementioned results and discuss\nrecent work generalizing results of
Angel\, Kechris and Lyons in several\ndirections.\n
LOCATION:https://researchseminars.org/talk/OLS/66/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Noah Schweber (Proof School)
DTSTART;VALUE=DATE-TIME:20210722T180000Z
DTEND;VALUE=DATE-TIME:20210722T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/67
DESCRIPTION:Title: Cee
rs higher up\nby Noah Schweber (Proof School) as part of Online logic
seminar\n\n\nAbstract\nAbstract: We examine analogues of ceers (computably
enumerable equivalence relations) in generalized recursion theory - speci
fically\, in $\\kappa$-recursion theory for $\\kappa$ an uncountable regul
ar cardinal. Classically\, the degrees of ceers with respect to computable
embeddability forms a partial order which is maximally complicated\, name
ly one whose theory is computably isomorphic to that of true arithmetic. W
e extend this result to the $\\kappa$-ceers. Interestingly\, this requires
a genuinely new argument\, and currently no single approach is known whic
h applies both to $\\omega$ and to uncountable regular $\\kappa$. Moreover
\, the situation for singular cardinals\, let alone admissible ordinals wh
ich are not cardinals such as $\\omega_1^{CK}$\, is completely open. If ti
me permits\, we will discuss a second proof of the above result for the sp
ecial case of $\\kappa=\\omega_1$ which has the advantage of applying to c
ertain generalized computability theories other than $\\kappa$-recursion t
heories.\n\nThis is joint work with Uri Andrews\, Steffen Lempp\, and Mana
t Mustafa.\n
LOCATION:https://researchseminars.org/talk/OLS/67/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Gregory Cherlin (Rutgers University)
DTSTART;VALUE=DATE-TIME:20211021T180000Z
DTEND;VALUE=DATE-TIME:20211021T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/68
DESCRIPTION:Title: Hom
ogeneity and generalized metric spaces\nby Gregory Cherlin (Rutgers Un
iversity) as part of Online logic seminar\n\n\nAbstract\nGeneralized metri
c spaces of various sorts have come up in\nconnection with the study of ho
mogeneous structures (classification\,\nRamsey theoretic properties). I'll
discuss examples studied by Sauer\,\nConant\, Braunfeld\, Hubi&ccaron\;ka
\, Kone&ccaron\;ný\;\, Ne&scaron\;et&rcaron\;il\, and others. See\,
notably\, Kone&ccaron\;ný\;'s master's thesis (arXiv).\n
LOCATION:https://researchseminars.org/talk/OLS/68/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Alexandra Shlapentokh (East Carolina University)
DTSTART;VALUE=DATE-TIME:20211028T180000Z
DTEND;VALUE=DATE-TIME:20211028T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/69
DESCRIPTION:Title: A M
ysterious Ring\nby Alexandra Shlapentokh (East Carolina University) as
part of Online logic seminar\n\n\nAbstract\nLet ${\\mathbb Q}^{\\text{ab}
}$ be the largest abelian extension of $\\mathbb Q$\, or in other words th
e compositum of all cyclotomic extensions. Let $O_{{\\mathbb Q}^{\\text{a
b}}}$ be the ring of integers of ${\\mathbb Q}^{\\text{ab}}$ or the ring o
f elements of ${\\mathbb Q}^{\\text{ab}}$ satisfying monic irreducible pol
ynomials over $\\mathbb Z$. It is not known whether the first-order theor
y of $O_{{\\mathbb Q}^{\\text{ab}}}$ is decidable. ${\\mathbb Q}^{\\text{
ab}}$ is also a degree two extension of a totally real field. Much more i
s known about the first-order theory of rings of integers of totally real
fields and in some cases one is able to deduce undecidability of the first
-order theory of the ring of integers of a degree 2 extension of a totall
y real field from an analogous result for the ring of integers of the tota
lly real field. However this method does not seem to work for ${\\mathbb
Q}^{\\text{ab}}$. We discuss a possible way of resolving this problem and
some related questions.\n
LOCATION:https://researchseminars.org/talk/OLS/69/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Caroline Terry (Ohio State University)
DTSTART;VALUE=DATE-TIME:20210916T180000Z
DTEND;VALUE=DATE-TIME:20210916T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/70
DESCRIPTION:Title: Spe
eds of hereditary properties and mutual algebricity\nby Caroline Terry
(Ohio State University) as part of Online logic seminar\n\n\nAbstract\nA
hereditary graph property is a class of finite graphs closed under isomorp
hism and induced subgraphs. Given a hereditary graph property H\, the spe
ed of H is the function which sends an integer n to the number of distinct
elements in H with underlying set {1\,...\,n}. Not just any function can
occur as the speed of hereditary graph property. Specifically\, there ar
e discrete ``jumps" in the possible speeds. Study of these jumps began wi
th work of Scheinerman and Zito in the 90's\, and culminated in a series o
f papers from the 2000's by Balogh\, Bollob\\'{a}s\, and Weinreich\, in wh
ich essentially all possible speeds of a hereditary graph property were ch
aracterized. In contrast to this\, many aspects of this problem in the hy
pergraph setting remained unknown. In this talk we present new hypergraph
analogues of many of the jumps from the graph setting\, specifically thos
e involving the polynomial\, exponential\, and factorial speeds. The jump
s in the factorial range turned out to have surprising connections to the
model theoretic notion of mutual algebricity\, which we also discuss. Thi
s is joint work with Chris Laskowski.\n
LOCATION:https://researchseminars.org/talk/OLS/70/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Franziska Jahnke (University of Münster)
DTSTART;VALUE=DATE-TIME:20211014T180000Z
DTEND;VALUE=DATE-TIME:20211014T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/71
DESCRIPTION:Title: Dec
idability and definability in unramified henselian valued fields\nby F
ranziska Jahnke (University of Münster) as part of Online logic seminar\n
\n\nAbstract\nUnramified and finitely ramified henselian valued fields are
\ncentral to studying model-theoretic phenomena in mixed characteristic.\n
Decidability and definability in unramified henselian valued fields with\n
perfect residue field are well understood\, starting with the seminal\nwor
k of Ax\, Kochen\, and Ershov. In this talk\, we present recent\ndevelopme
nts in unramified henselian valued fields with imperfect\nresidue field\,
and also comment on what changes in the case of finite\nramification. This
is joint work with Sylvy Anscombe.\n
LOCATION:https://researchseminars.org/talk/OLS/71/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sara Uckelman (Durham University)
DTSTART;VALUE=DATE-TIME:20211118T190000Z
DTEND;VALUE=DATE-TIME:20211118T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/72
DESCRIPTION:Title: Joh
n Eliot's *Logick Primer*: A bilingual English-Algonquian logic textb
ook\nby Sara Uckelman (Durham University) as part of Online logic semi
nar\n\n\nAbstract\nIn 1672 John Eliot\, English Puritan educator and missi
onary\, published *The Logick Primer: Some Logical Notions to initiate t
he INDIANS in the knowledge of the Rule of Reason\; and to know how to mak
e use thereof* [1]. This roughly 80 page pamphlet focuses on introduci
ng basic syllogistic vocabulary and reasoning so that syllogisms can be cr
eated from texts in the Psalms\, the gospels\, and other New Testament boo
ks. The use of logic for proselytizing purposes is not distinctive: What
is distinctive about Eliot's book is that it is bilingual\, written in bot
h English and Massachusett\, an Algonquian language spoken in eastern coas
tal and southeastern Massachusetts. It is one of the earliest bilingual l
ogic textbooks\, it is the only textbook that I know of in an indigenous A
merican language\, and it is one of the earliest printed attestations of t
he Massachusett language.\n\nIn this talk\, I will:\n

\n- Introduc
e John Eliot and the linguistic context he was working in.Introd
uce the contents of the
*Logick Primer*---vocabulary\, inference patt
erns\, and applications. \n- Discuss notions of ``Puritan'' logic th
at inform this primer.
\n- Talk about the importance of his work in
documenting and expanding the Massachusett language and the problems that
accompany his colonial approach to this work.

\n\n[1] J.[ohn]
E.[liot]. *The Logick Primer: Some Logical Notions to initiate the INDI
ANS in the knowledge of the Rule of Reason\; and to know how to make use t
hereof*. Printed by M. J.\, 1672\n
LOCATION:https://researchseminars.org/talk/OLS/72/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jana Mařiková (Universität Wien)
DTSTART;VALUE=DATE-TIME:20211111T190000Z
DTEND;VALUE=DATE-TIME:20211111T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/73
DESCRIPTION:Title: Def
inable matchings in o-minimal bipartite graphs\nby Jana Mařiková (Un
iversität Wien) as part of Online logic seminar\n\n\nAbstract\nThis talk
will revolve around the question\, under what conditions an o-minimally de
finable bipartite graph admits a\ndefinable matching. We discuss some con
text\, a partial result\, and touch on possible applications. This\nis wo
rk in progress.\n
LOCATION:https://researchseminars.org/talk/OLS/73/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Natalia García Fritz (Pontificia Universidad Católica de Chile)
DTSTART;VALUE=DATE-TIME:20211104T180000Z
DTEND;VALUE=DATE-TIME:20211104T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/74
DESCRIPTION:Title: Hil
bert's tenth problem for rings of exponential polynomials\nby Natalia
García Fritz (Pontificia Universidad Católica de Chile) as part of Onlin
e logic seminar\n\n\nAbstract\nAfter being negatively solved by Davis\, Pu
tnam\, Robinson\, and Matijasevich in 1970\, Hilbert’s tenth problem has
been extended to a number of other rings. One of the main natural open ca
ses is that of the ring of complex entire functions in one variable. After
reviewing some literature around this problem\, in this talk I will outli
ne a negative solution of the analogue of Hilbert's tenth problem for the
ring of exponential polynomials\, approaching the case of entire functions
. This is joint work with D. Chompitaki\, H. Pasten\, T. Pheidas\, and X.
Vidaux.\n
LOCATION:https://researchseminars.org/talk/OLS/74/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Françoise Point (Université de Mons-Hainaut)
DTSTART;VALUE=DATE-TIME:20211007T180000Z
DTEND;VALUE=DATE-TIME:20211007T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/75
DESCRIPTION:Title: Def
inable groups in topological fields with a generic derivation\nby Fran
çoise Point (Université de Mons-Hainaut) as part of Online logic seminar
\n\n\nAbstract\nWe study a class of tame $\\mathcal L$-theories $T$ of top
ological fields and their extensions by a generic derivation $\\delta$. Th
e topological fields under consideration include henselian valued fields o
f characteristic 0 and real closed fields. We axiomatize the class of the
existentially closed $\\mathcal L_\\delta$-expansions.\nWe show that $T_\\
delta^*$ has $\\mathcal L$-open core (i.e.\, every $\\mathcal L_\\delta$-d
efinable open set is $\\mathcal L$-definable) and derive both a cell decom
position theorem and a transfer result of elimination of imaginaries. Othe
r tame properties of $T$ such as relative elimination of field sort quanti
fiers\, NIP and distality also transfer to $T_\\delta^*$. \n\\par Then let
ting $\\mathcal K$ be a model of $T_\\delta^*$ and $\\mathcal M$ a $\\vert
K\\vert^+$-saturated elementary extension of $\\mathcal K$\, we first ass
ociate with an $\\mathcal L_\\delta(K)$-definable group $G$ in $\\mathcal
M$\, a pro-$\\mathcal L$-definable set $G^{**}_{\\infty}$ in which the dif
ferential prolongations $G^{\\nabla_\\infty}$ of elements of $G$ are dense
\, using the $\\mathcal L$-open core property of $T_\\delta^*$. Following
the same ideas as in the group configuration theorem in o-minimal structur
es as developed by K. Peterzil\, we construct a type $\\mathcal L$-definab
le topological group $H_\\infty\\subset G^{**}_{\\infty}$\, acting on a $K
$-infinitesimal neighbourhood of a generic element of $G^{**}_\\infty$ in
a faithful\, continuous and transitive way. Further $H_\\infty\\cap G^{\\n
abla_\\infty}$ is dense in $H_\\infty$ and the action of $H_\\infty\\cap G
^{\\nabla_\\infty}$ coincides with the one induced by the initial $\\mathc
al L_\\delta$-group action. \n\\par The first part of this work is joint w
ith Pablo Cubid\\`es Kovacsics.\n
LOCATION:https://researchseminars.org/talk/OLS/75/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Vasco Brattka (Universität der Bundeswehr München)
DTSTART;VALUE=DATE-TIME:20211202T190000Z
DTEND;VALUE=DATE-TIME:20211202T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/77
DESCRIPTION:Title: A G
alois connection between Turing jumps and limits\nby Vasco Brattka (Un
iversität der Bundeswehr München) as part of Online logic seminar\n\n\nA
bstract\nWe discuss a Galois connection between Turing jumps and limits\nt
hat offers a fresh view on the class of limit computable functions\nand it
s properties. This view does not only offer simplified proofs\nof many kno
wn classical results in computable analysis\, but also\nnew insights. With
this approach we also propagate a more uniform\nview on computability the
ory in general.\n
LOCATION:https://researchseminars.org/talk/OLS/77/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Gihanee Senadheera (Southern Illinois University)
DTSTART;VALUE=DATE-TIME:20210930T180000Z
DTEND;VALUE=DATE-TIME:20210930T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/78
DESCRIPTION:Title: Eff
ective Concept Classes of PACi/PAC Incomparable Degrees and Jump Structure
\nby Gihanee Senadheera (Southern Illinois University) as part of Onli
ne logic seminar\n\n\nAbstract\nThe Probably Approximately Correct (PAC) l
earning is a machine learning model introduced by Leslie Valiant in 1984.
The PACi reducibility refers to the PAC reducibility independent of size a
nd computation time. This reducibility in PAC learning resembles the reduc
ibility in Turing computability. In 1957 Friedberg and Muchnik independent
ly solved the Post problem by constructing computably enumerable sets $A$
and $B$ of incomparable degrees using the priority construction method. We
adapt this idea to PACi/PAC reducibilities and construct two the effectiv
e concept classes $C_0$ and $C_1$ such that $C_0$ is not reducible to $C_1
$ and vice versa. When considering PAC reducibility it was necessary to wo
rk on the size of an effective concept class\, thus we use Kolmogorov comp
lexity to obtain the size. Analogous to Turing jump\, we give a jump struc
ture on effective concept classes. As the future work\, we begin to explor
e an embedding of structures from PAC degrees to 1-1 degrees or Turing deg
rees.\n
LOCATION:https://researchseminars.org/talk/OLS/78/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mostafa Mirabi (Wesleyan University)
DTSTART;VALUE=DATE-TIME:20211209T190000Z
DTEND;VALUE=DATE-TIME:20211209T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/79
DESCRIPTION:Title: MS-
measurability via Coordinatization\nby Mostafa Mirabi (Wesleyan Univer
sity) as part of Online logic seminar\n\n\nAbstract\nAbstract: In this tal
k\, we first discuss the concept of MS-measurable structures\, introduced
by Macpherson and Steinhorn in 2007. Then we will define a strong notion o
f Coordinatization for $\\aleph_0$-categorical structures and show that a
structure which is coordinatized by $\\aleph_0$-categorical MS-measurable
structures itself is MS-measurable. This approach provides a way to build
new MS-measurable structures.\n
LOCATION:https://researchseminars.org/talk/OLS/79/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Todor Tsankov (Institut Camille Jordan)
DTSTART;VALUE=DATE-TIME:20211216T190000Z
DTEND;VALUE=DATE-TIME:20211216T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/80
DESCRIPTION:Title: Con
tinuous logic and Borel equivalence relations\nby Todor Tsankov (Insti
tut Camille Jordan) as part of Online logic seminar\n\n\nAbstract\nThe the
ory of Borel reducibility of definable equivalence relations\nwas initiate
d by Friedman and Stanley who were specifically interested\nin the equival
ence relation of isomorphism of countable structures.\nSince then\, the sc
ope of the theory has considerably expanded but\nisomorphism of countable
structures remains one of the situations\nwhere the most detailed results
are available and where both methods of\ninfinitary model theory and descr
iptive set theory can be applied. In\nthis talk\, I will explain how infin
itary continuous logic can be used\nto extend parts of this theory to metr
ic structures. Our main result\nis about isomorphism of locally compact me
tric structures and it is\na common generalization of theorems of Hjorth (
for locally compact\nmetric spaces) and Hjorth and Kechris (for countable
structures). This\nis joint work with Andreas Hallbä\;ck and Maciej Ma
licki.\n
LOCATION:https://researchseminars.org/talk/OLS/80/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Lauren Wickman (University of Florida)
DTSTART;VALUE=DATE-TIME:20220127T190000Z
DTEND;VALUE=DATE-TIME:20220127T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/81
DESCRIPTION:Title: Kna
ster Continua and Projective Fraïssé Theory\nby Lauren Wickman (Univ
ersity of Florida) as part of Online logic seminar\n\n\nAbstract\nThe Knas
ter continuum\, also known as the buckethandle\, or the Brouwer–Janiszew
ski–Knaster continuum can be viewed as an inverse limit of 2-tent maps o
n the interval. However\, there is a whole class (with continuum many non-
homeomorphic members) of Knaster continua\, each viewed as an inverse limi
t of p-tent maps\, where p is a sequence of primes. In this talk\, for eac
h Knaster continuum K\, we will give a projective Fraïssé class of finit
e objects that approximate K (up to homeomorphism) and examine the combina
torial properties of that the class (namely whether the class is Ramsey or
if it has a Ramsey extension). We will give an extremely amenable subgrou
p of the homeomorphism group of the universal Knaster continuum.\n
LOCATION:https://researchseminars.org/talk/OLS/81/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Caleb Camrud (Iowa State University)
DTSTART;VALUE=DATE-TIME:20220113T190000Z
DTEND;VALUE=DATE-TIME:20220113T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/82
DESCRIPTION:Title: Con
tinuous Logic\, Diagrams\, and Truth Values for Computable Presentations\nby Caleb Camrud (Iowa State University) as part of Online logic semina
r\n\n\nAbstract\nGoldbring\,McNicholl\, and I investigated the arithmetic
and hyperarithmetic degrees of the finitary and computable infinitary diag
rams of continuous logic for computably presented metric structures. As th
e truth value of a sentence of continuous logic may be any real in [0\,1]\
, we introduced two kinds of diagrams at each level: the closed diagram\,
which encapsulates weak inequalities of truth values\, and the open diagra
m\, which encapsulates strict inequalities. We showed that\, for any compu
tably presented metric structure and any computable ordinal $\\alpha$\, th
e closed and open $\\Sigma^c_\\alpha$ diagrams are $\\Pi^0_{\\alpha+1}$ an
d $\\Sigma^0_\\alpha$\, respectively\, and that the closed and open $\\Pi^
c_\\alpha$ diagrams are $\\Pi^0_\\alpha$ and $\\Sigma^0_{\\alpha+1}$.\n\nP
roving the optimality of these bounds\, however\, was non-trivial. Since t
he standard presentation of [0\,1] with the Euclidean metric is computably
compact\, we were forced to work on the natural numbers with the discrete
metric (in some sense\, the "simplest" non-compact metric space). Along t
he way\, we also proved some surprising combinatorial results. McNicholl a
nd I then continued our study of computable infinitary continuous logic an
d found that for any nonzero computable ordinal $\\alpha$ and any right $\
\Pi^0_\\alpha$ (or $\\Sigma^0_\\alpha$) real number\, there is a $\\Pi^c_\
\alpha$ (or $\\Sigma^c_\\alpha$) sentence which is universally interpreted
as that value.\n
LOCATION:https://researchseminars.org/talk/OLS/82/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Daniel Turetsky (Victoria University of Wellington)
DTSTART;VALUE=DATE-TIME:20220120T190000Z
DTEND;VALUE=DATE-TIME:20220120T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/83
DESCRIPTION:Title: Tru
e Stages -- From Priority Arguments to Descriptive Set Theory\nby Dani
el Turetsky (Victoria University of Wellington) as part of Online logic se
minar\n\n\nAbstract\nThe true stages machinery was conceived as a techniqu
e for organizing complex priority constructions in computability theory\,
much like Ash's metatheorem. With a little modification\, however\, it ca
n prove remarkably useful in descriptive set theory. Using this machinery
\, we can obtain nice proofs of results of Wadge\, Hausdorff and Kuratowsk
i\, and Louveau\, sometimes strengthening the result in the process.\nWith
out getting too deep into the details\, I will give the ideas of the machi
nery and how it applies to descriptive set theory.\n
LOCATION:https://researchseminars.org/talk/OLS/83/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Roman Kossak (Graduate Center\, City University of New York)
DTSTART;VALUE=DATE-TIME:20220224T190000Z
DTEND;VALUE=DATE-TIME:20220224T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/84
DESCRIPTION:Title: Und
efinability and absolute undefinability in models of arithmetic\nby Ro
man Kossak (Graduate Center\, City University of New York) as part of Onli
ne logic seminar\n\n\nAbstract\nI will survey some well-known and some mor
e recent undefinability results about models of Peano Arithmetic. I want t
o contrast first-order undefinability in the standard model with a much st
ronger notion of undefinability which is suitable for resplendent models\
, and use the results to motivate some more general questions about the na
ture of undefinability.\n
LOCATION:https://researchseminars.org/talk/OLS/84/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Adam Case (Drake University)
DTSTART;VALUE=DATE-TIME:20220303T190000Z
DTEND;VALUE=DATE-TIME:20220303T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/85
DESCRIPTION:Title: Fin
ite-State Mutual Dimension\nby Adam Case (Drake University) as part of
Online logic seminar\n\n\nAbstract\nIn this talk\, I will discuss recent
work with Jack H. Lutz on a notion of finite-state mutual dimension. Intui
tively\, the finite-state dimension of a sequence S represents the density
of finite-state information contained within S\, while the finite-state m
utual dimension between two sequences S and T represents the density of fi
nite-state information shared by S and T. Thus "finite-state mutual dimens
ion" can be viewed as a "finite-state" version of mutual dimension and as
a "mutual" version of finite-state dimension. The main results that will b
e discussed are as follows. First\, we show that finite-state mutual dimen
sion\, defined using information-lossless finite-state compressors\, has a
ll of the properties expected of a measure of mutual information. Next\, w
e prove that finite-state mutual dimension may be characterized in terms o
f block mutual information rates. Finally\, we provide necessary and suffi
cient conditions for two normal sequences to achieve finite-state mutual d
imension zero.\n
LOCATION:https://researchseminars.org/talk/OLS/85/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Antonina Kolokolova (Memorial University of Newfoundland)
DTSTART;VALUE=DATE-TIME:20220210T190000Z
DTEND;VALUE=DATE-TIME:20220210T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/86
DESCRIPTION:Title: Lea
rning from bounded arithmetic\nby Antonina Kolokolova (Memorial Univer
sity of Newfoundland) as part of Online logic seminar\n\n\nAbstract\nThe c
entral question of complexity theory -- what can (and cannot) be feasibly
computed -- has a corresponding logical meta-question: what can (and cann
ot) be feasibly proven. While complexity theory studies the former\, boun
ded arithmetic is one of the main approaches to the meta-question. There i
s a tight relation between theories of bounded arithmetic and correspondin
g complexity classes\, allowing one to study what can be proven in\, for e
xample\, "polynomial-time reasoning" and what power is needed to resolve c
omplexity questions\, with a number of both positive and negative provabil
ity results.\n\nHere\, we focus on the complexity of another meta-problem:
learning to solve problems such as Boolean satisfiability. There is a ran
ge of ways to define "solving problems"\, with one extreme\, the uniform s
etting\, being an existence of a fast algorithm (potentially randomized)\
, and another of a potentially non-computable family of small Boolean circ
uits\, one for each problem size. The complexity of learning can be recas
t as the complexity of finding a procedure to generate Boolean circuits so
lving the problem of a given size\, if it (and such a family of circuits)
exists.\n\nFirst\, inspired by the KPT witnessing theorem\, a special cas
e of Herbrand's theorem in bounded arithmetic\, we develop an intermediate
notion of uniformity that we call LEARN-uniformity. While non-uniform lo
wer bounds are notoriously difficult\, we can prove several unconditional
lower bounds for this weaker notion of uniformity. Then\, returning to th
e world of bounded arithmetic and using that notion of uniformity as a too
l\, we show unprovability of several complexity upper bounds for both dete
rministic and randomized complexity classes\, in particular giving simpler
proofs that the theory of polynomial-time reasoning PV does not prove tha
t all of P is computable by circuits of a specific polynomial size\, and t
he theory $V^1$\, a second-order counterpart to the classic Buss' theory $
S^1_2$\, does not prove the same statement with NP instead of P. \n\nFina
lly\, we leverage these ideas to show that bounded arithmetic "has trouble
differentiating" between uniform and non-uniform frameworks: more specif
ically\, we show that theories for polynomial-time and randomized polynom
ial-time reasoning cannot prove both a uniform lower bound and a non-unif
orm upper bound for NP. In particular\, while it is possible that NP !=
P yet all of NP is computable by families of polynomial-size circuits\, th
is cannot be proven feasibly.\n
LOCATION:https://researchseminars.org/talk/OLS/86/
END:VEVENT
BEGIN:VEVENT
SUMMARY:John Baldwin (University of Illinois\, Chicago)
DTSTART;VALUE=DATE-TIME:20220317T180000Z
DTEND;VALUE=DATE-TIME:20220317T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/87
DESCRIPTION:Title: Cat
egory theory and Model Theory: Symbiotic Scaffolds\nby John Baldwin (U
niversity of Illinois\, Chicago) as part of Online logic seminar\n\n\nAbst
ract\nA *scaffold* for mathematics includes both *local* foundat
ions for\nvarious areas of mathematics and productive guidance in how to u
nify them. In\na scaffold the unification does not take place by a common
axiomatic basis\nbut consists of a systematic ways of connecting results a
nd proofs in various\nareas of mathematics. Two scaffolds\, model theory
and category theory\,\nprovide local foundations for many areas of mathema
tic including two flavors\n(material and structural) of set theory and di
fferent approaches to\nunification. We will discuss salient features of th
e two scaffolds including\ntheir contrasting but bi-interpretable set theo
ries. We focus on the\ncontrasting treatments of `size' in each scaffold a
nd the\n advantages/disadvantages of each for different problems.\n
LOCATION:https://researchseminars.org/talk/OLS/87/
END:VEVENT
BEGIN:VEVENT
SUMMARY:George Metcalfe (University of Bern)
DTSTART;VALUE=DATE-TIME:20220428T180000Z
DTEND;VALUE=DATE-TIME:20220428T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/88
DESCRIPTION:Title: Fro
m ordered groups to ordered monoids and back again\nby George Metcalfe
(University of Bern) as part of Online logic seminar\n\n\nAbstract\n(Join
t work with Almudena Colacito\, Nikolaos Galatos\, and Simon Santschi)\n\n
Removing the inverse operation from any lattice-ordered group (l-group)\,
such as the ordered additive group of integers\, produces a distributive l
attice-ordered monoid (l-monoid)\, but it is not the case that every distr
ibutive l-monoid admits a group structure. In particular\, every l-group e
mbeds into an l-group of automorphisms of some chain and is either trivial
or infinite\, whereas every distributive l-monoid embeds into a possibly
finite l-monoid of endomorphisms of some chain.\n\nIn this talk\, we will
see that inverse-free abelian l-groups generate only a proper (infinitely
based) subvariety of the variety of commutative distributive l-monoids\, b
ut inverse-free l-groups generate the whole variety of distributive l-mono
ids. We will also see that the validity of an l-group equation can be redu
ced to the validity of a (constructible) finite set of l-monoid equations\
, yielding --- since the variety of distributive l-monoids has the finite
model property — an alternative proof of the decidability of the equatio
nal theory of l-groups.\n
LOCATION:https://researchseminars.org/talk/OLS/88/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Riley Thornton (UCLA)
DTSTART;VALUE=DATE-TIME:20220324T180000Z
DTEND;VALUE=DATE-TIME:20220324T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/89
DESCRIPTION:Title: An
algebraic approach to Borel CSPs\nby Riley Thornton (UCLA) as part of
Online logic seminar\n\n\nAbstract\nI will explain how some of the algebra
ic tools behind the CSP dichotomy theorem in computer science can be adapt
ed to answer questions in Borel combinatorics.\n
LOCATION:https://researchseminars.org/talk/OLS/89/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Manlio Valenti (University of Udine)
DTSTART;VALUE=DATE-TIME:20220331T180000Z
DTEND;VALUE=DATE-TIME:20220331T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/90
DESCRIPTION:Title: The
first-order part of Weihrauch degrees\nby Manlio Valenti (University
of Udine) as part of Online logic seminar\n\n\nAbstract\nGiven an order $(
P\,\\le)$\, a natural strategy to prove that $a \\not\\le b$ is to present
an example of some $c\\le a$ such that $c \\not\\le b$. Of course\, choos
ing such a $c$ can be very challenging.\n\nIn the context of TTE and Weihr
auch reducibility\, (Dzhafarov\, Solomon\, Yokoyama) introduced the notion
of ``first-order part" of a computational problem $f$\, capturing the ``s
trongest computational problem that is Weihrauch-below $f$". Characterizin
g the first-order part of a given problem can be challenging as well\, but
it proved to be a very useful tool\, especially when comparing principles
that are (relatively) high in the Weihrauch hierarchy.\n\nIn this talk\,
we will study the first-order part from a more algebraic perspective\, and
study its relation with several other operators already defined in the li
terature. We will then show how the obtained results can be used to easily
characterize the first-order part of many known problems.\n
LOCATION:https://researchseminars.org/talk/OLS/90/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Forte Shinko (Cal Tech)
DTSTART;VALUE=DATE-TIME:20220414T180000Z
DTEND;VALUE=DATE-TIME:20220414T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/92
DESCRIPTION:Title: Rea
lizations of equivalence relations and subshifts\nby Forte Shinko (Cal
Tech) as part of Online logic seminar\n\n\nAbstract\nEvery continuous act
ion of a countable group on a Polish space induces a Borel equivalence rel
ation. We are interested in the problem of realizing (i.e. finding a Borel
isomorphic copy of) these equivalence relations as continuous actions on
compact spaces. We provide a number of positive results for variants of th
is problem\, and we investigate the connection to subshifts.\n
LOCATION:https://researchseminars.org/talk/OLS/92/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ioannis Souldatos (Aristotle University of Thessaloniki)
DTSTART;VALUE=DATE-TIME:20220505T180000Z
DTEND;VALUE=DATE-TIME:20220505T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/93
DESCRIPTION:Title: (No
n)-Absolute Characterizations of Cardinals\nby Ioannis Souldatos (Aris
totle University of Thessaloniki) as part of Online logic seminar\n\n\nAbs
tract\nPDF Abstract Here\n
LOCATION:https://researchseminars.org/talk/OLS/93/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Francesca Zaffora Blando (Carnegie Mellon University)
DTSTART;VALUE=DATE-TIME:20221215T190000Z
DTEND;VALUE=DATE-TIME:20221215T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/94
DESCRIPTION:Title: Ran
domness and Invariance\nby Francesca Zaffora Blando (Carnegie Mellon U
niversity) as part of Online logic seminar\n\n\nAbstract\nThe first (semi-
)formal definition of randomness for infinite binary sequences dates back
to von Misesâ€™ work in the foundations of probability and statistics
. According to von Mises\, a sequence is random if\, within it\, the relat
ive frequencies of 0 and 1 converge to a limit and these limiting relative
frequencies are invariant under a class of transformations called selecti
on rules. The randomness notion introduced by von Mises is nowadays widely
regarded as being too weak and his account has been supplanted by the the
ory of algorithmic randomness\, which characterizes randomness using the t
ools of computability theory and measure theory. The goal of this talk is
two-fold. First\, I will discuss a lesser-known characterization of Schnor
r randomness due to Schnorr\, which demonstrates that it is possible to ob
tain a satisfactory randomness notion by defining randomness\, analogously
to how von Mises did it\, in terms of the invariance of limiting relative
frequencies. Then\, I will discuss how other canonical algorithmic random
ness notions are similarly characterizable in terms of the preservation of
natural properties under the class of computable measure-preserving trans
formations. This talk is based on joint work with Floris Persiau.\n
LOCATION:https://researchseminars.org/talk/OLS/94/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ramyaa (New Mexico Tech)
DTSTART;VALUE=DATE-TIME:20220818T180000Z
DTEND;VALUE=DATE-TIME:20220818T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/95
DESCRIPTION:Title: Adv
ances in Differentiable Program Learning\nby Ramyaa (New Mexico Tech)
as part of Online logic seminar\n\n\nAbstract\nInductive Logic Programming
(ILP) is a subfield of Artificial Intelligence that learns Logic Programs
for a concept from positive and negative examples of the concept.\nLearni
ng Logic Programs allow for interpretability\, can benefit from background
knowledge\, and require small training set. However\, traditional ILP tec
hniques are not noise-tolerant\, and do not scale well to large/high-dimen
sional domains. In recent years\, there have been several attempts to use
differentiable representations of logic programs and learn them using grad
ient descent based techniques. This talk introduces these attempts\, and o
ur efforts at extending them to learn logic programs with negations and hi
gher-order logic programs.\n\nIn both cases\, considerable care is needed
from a theoretical standpoint. Negation should be restricted to avoid para
doxical scenarios. We learned logic programs with stratified negation (in
the style of Datalog). Anti-unification (i.e.\, generalization) of arbitra
ry higher-order terms is not unique. We learned second order logic program
s that are generalizations of first order programs.\n
LOCATION:https://researchseminars.org/talk/OLS/95/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Gabriel Conant (The Ohio State University)
DTSTART;VALUE=DATE-TIME:20221027T180000Z
DTEND;VALUE=DATE-TIME:20221027T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/96
DESCRIPTION:Title: Sep
aration for isometric group actions and hyperimaginary independence\nb
y Gabriel Conant (The Ohio State University) as part of Online logic semin
ar\n\n\nAbstract\nIn the theory of (finite) permutation groups\, P. M. Neu
mann’s Lemma says that if a group G acts on a set X\, and P is a finite
subset of X such that all points of P have an infinite orbit\, then for an
y other finite set in Q there is a group element g such that gP is disjoin
t from Q. When applied to the automorphism group of a first-order structur
e\, this lemma can be used to prove a number of useful results in model th
eory. In this talk\, I will present a metric space version of P. M. Neumma
n’s Lemma\, along with several applications in the model theory of metri
c structures. For example\, we show that algebraic independence in continu
ous logic satisfies the “full existence axiom”\, answering a question
of Andrews\, Goldbring\, and Keisler. Time permitting\, I will also discus
s some consequences for hyperimaginaries\, which are new even in classical
discrete logic. Joint work with J. Hanson.\n
LOCATION:https://researchseminars.org/talk/OLS/96/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Xavier Vidaux (Universidad de Concepción)
DTSTART;VALUE=DATE-TIME:20220825T180000Z
DTEND;VALUE=DATE-TIME:20220825T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/97
DESCRIPTION:Title: Tow
ers of totally real nested square roots: undecidability\, the lattice of s
ubfields\, and the quartic extensions within the tower\nby Xavier Vida
ux (Universidad de Concepción) as part of Online logic seminar\n\n\nAbstr
act\nAfter recalling some first order undecidability results in infinite a
lgebraic extensions of the field of rational numbers\, I will talk about a
concrete family of 2-towers of totally real number fields\, namely\, $(\\
mathbb{Q}(x_n))_{n\\ge0}$\, where $x_{n+1}=\\sqrt{\\nu+x_n}$ for some give
n positive integers $\\nu$ and $x_0$. Let $K$ be the union of the $\\mathb
b{Q}(x_n)$. Though these fields $K$ are somewhat the simplest subfields of
an algebraic closure of $\\mathbb{Q}$ that one may construct\, they hide
a rich variety of natural problems of topological\, algebraic\, dynamical
and logical nature. The results that I will present about these fields are
due to M. Castillo\, C. Videla\, and who writes.\n
LOCATION:https://researchseminars.org/talk/OLS/97/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Karen Lange (Wellesley College)
DTSTART;VALUE=DATE-TIME:20220901T180000Z
DTEND;VALUE=DATE-TIME:20220901T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/99
DESCRIPTION:Title: Cla
ssification via effective lists\nby Karen Lange (Wellesley College) as
part of Online logic seminar\n\n\nAbstract\n"Classifying" a natural class
of structures is a common goal in mathematics. Providing a classificati
on can mean different things\, e.g.\, determining a set of invariants that
settle the isomorphism problem or instead creating a list of all structur
es of a given kind without repetition of isomorphism type. Here we discuss
recent work on classifications of the latter kind from the perspective of
computable structure theory. We’ll consider natural classes of comput
able structures such as vector spaces\, equivalence relations\, algebraic
fields\, and trees to better understand the nuances of classification via
effective lists and its relationship to other forms of classification.\n
LOCATION:https://researchseminars.org/talk/OLS/99/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Patricia Blanchette (University of Notre Dame)
DTSTART;VALUE=DATE-TIME:20220908T180000Z
DTEND;VALUE=DATE-TIME:20220908T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/100
DESCRIPTION:Title: Fo
rmalism in Logic\nby Patricia Blanchette (University of Notre Dame) as
part of Online logic seminar\n\n\nAbstract\nLogic became ‘formal’ at
the end of the 19th century primarily in pursuit of deductive rigor within
mathematics. But by the early 20th century\, a formal treatment of logic
had become essential to two new streams in the current of logic: the colle
ction of crucial ‘semantic’ notions surrounding the idea of categorici
ty\, and the project of examining the tools of logic themselves\, in the w
ay that’s crucial for the treatment of completeness (in its various guis
es). This lecture discusses the variety of different tasks that have been
assigned the notion of formalization in the recent history of logic\, with
an emphasis on some of the ways in which the distinct purposes of formali
zation are not always in harmony with one another.\n
LOCATION:https://researchseminars.org/talk/OLS/100/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Neer Bhardwaj (Weizmann Institute)
DTSTART;VALUE=DATE-TIME:20220915T180000Z
DTEND;VALUE=DATE-TIME:20220915T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/101
DESCRIPTION:Title: An
analytic AKE program with induced structure results on coefficient field
and monomial group\nby Neer Bhardwaj (Weizmann Institute) as part of O
nline logic seminar\n\n\nAbstract\nWe develop an extension theory for anal
ytic valuation rings in order to establish Ax-Kochen-Ersov type results fo
r these structures. New is that we can add in salient cases lifts of the r
esidue field and the value group and show that the induced structure on th
e lifted residue field is just its field structure\, and on the lifted val
ue group is just its ordered abelian group structure. This restores an ana
logy with the non-analytic AKE-setting that was missing in earlier treatme
nts of analytic AKE-theory. Joint work with Lou van den Dries.\n
LOCATION:https://researchseminars.org/talk/OLS/101/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Philip White (George Washington University)
DTSTART;VALUE=DATE-TIME:20221103T180000Z
DTEND;VALUE=DATE-TIME:20221103T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/102
DESCRIPTION:Title: A
Two-Cardinal Ramsey Operator on Ideals\nby Philip White (George Washin
gton University) as part of Online logic seminar\n\n\nAbstract\nLet $I$ be
a $\\kappa$-complete ideal on $\\kappa$. Similar to the one-cardinal inef
fability operator of Baumgartner\, Feng defined a one-cardinal Ramsey oper
ator on $I$. A basic result of Feng is applying the one cardinal Ramsey op
erator to $I$ yields a normal ideal. Feng also showed under what condition
s the ideal given by applying the Ramsey operator is equivalently generate
d by a “pre-Ramsey” ideal as well as the $\\Pi^1_{n+1}$ indescribabili
ty ideal. Finally Feng showed iterated use of the one-cardinal Ramsey ope
rator forms a proper hierarchy. Feng was able to show these results for $<
\\kappa+$ iterations of the one-cardinal Ramsey operator by utilizing can
onical functions. Similar to other results of Brent Cody and the presenter
\, these results in the one-cardinal setting can be generalized to a two-c
ardinal setting. The theorems of Feng will be discussed in detail as well
as the analogous two-cardinal versions of Brent Cody and the presenter.\n
LOCATION:https://researchseminars.org/talk/OLS/102/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jonathan Protzenko (Microsoft Research)
DTSTART;VALUE=DATE-TIME:20221013T180000Z
DTEND;VALUE=DATE-TIME:20221013T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/103
DESCRIPTION:Title: Co
mputational Law: Programming Languages meet the Law\nby Jonathan Protz
enko (Microsoft Research) as part of Online logic seminar\n\n\nAbstract\nM
any parts of the law\, such as tax code\, pension computations\, etc. enco
de a clear and unambiguous algorithm: they are called computational law. B
ut ordinary citizens without legal counsel are oftentimes powerless\, beca
use layers of legalese and opaque implementations obscure the underlying a
lgorithm.\n\nThe Correct Computational Law project tackles this inequity b
y formalizing and capturing computational law using formal methods. Whethe
r it is the French Tax Code\, French family benefits or Washington State's
Legal Financial Obligations\, we formalize\, re-implement and find bugs i
n the law. Doing so\, we make it possible for ordinary citizens to prevail
over the complexity of the law\, rather than falling prey to it.\n\nWe wi
ll first describe our research agenda and ongoing efforts spanning France
and the US. Then\, we will focus on a case study: the complexity of federa
l civil procedure in the US\, and how the Lean proof assistant can always
find\, with mathematical certainty\, a path through the pleading phase tha
t fulfills all major procedural requirements.\n
LOCATION:https://researchseminars.org/talk/OLS/103/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Kirsten Eisenträger (Penn State University)
DTSTART;VALUE=DATE-TIME:20221020T180000Z
DTEND;VALUE=DATE-TIME:20221020T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/104
DESCRIPTION:Title: A
topological approach to undefinability in algebraic extensions of the rati
onals\nby Kirsten Eisenträger (Penn State University) as part of Onli
ne logic seminar\n\n\nAbstract\nIn 1970 Matiyasevich proved that Hilbert
’s Tenth Problem over the\nintegers is undecidable\, building on work by
Davis-Putnam-Robinson.\nHilbert’s Tenth Problem over the rationals is s
till open\, but it could\nbe resolved by giving an existential definition
of the integers inside\nthe rationals.\n\nProving whether such a definitio
n exists is still out of reach. However\,\nwe will show that only “very
few” algebraic extensions of the rationals\nhave the property that their
ring of integers are existentially or\nuniversally definable. Equipping t
he set of all algebraic extensions of\nthe rationals with a natural topolo
gy\, we show that only a meager subset\nhas this property. An important t
ool is a new normal form theorem for\nexistential definitions in such exte
nsions. As a corollary\, we\nconstruct countably many distinct computable
algebraic extensions whose\nrings of integers are neither existentially n
or universally definable.\nJoint work with Russell Miller\, Caleb Springer
\, and Linda Westrick.\n
LOCATION:https://researchseminars.org/talk/OLS/104/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Hunter Spink (Stanford University)
DTSTART;VALUE=DATE-TIME:20220922T180000Z
DTEND;VALUE=DATE-TIME:20220922T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/105
DESCRIPTION:Title: Ra
ndom walks and combinatorial dimensions in o-minimal groups\nby Hunter
Spink (Stanford University) as part of Online logic seminar\n\n\nAbstract
\nI will discuss some ideas that go into showing that $n$-independent-step
random walks in o-minimally definable group over the real numbers (like a
semi-algebraic group) has at most an $n^{-C}$ probability of finishing on
a lower-dimensional target set unless the target set contains an ``expone
ntial arc''\, where $C$ only depends on the dimension of the target set.\n
LOCATION:https://researchseminars.org/talk/OLS/105/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Vincent Bagayoko (Université de Mons)
DTSTART;VALUE=DATE-TIME:20221110T190000Z
DTEND;VALUE=DATE-TIME:20221110T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/106
DESCRIPTION:Title: So
me ordered groups of generalized series\nby Vincent Bagayoko (Universi
té de Mons) as part of Online logic seminar\n\n\nAbstract\nI will talk ab
out some problems relating linearly ordered groups to logic and real geome
try.\nI will show how to certain generalized series\, similar to transseri
es\, in order to answer an open question regarding orderable groups.\n
LOCATION:https://researchseminars.org/talk/OLS/106/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Barbara Csima (University of Waterloo)
DTSTART;VALUE=DATE-TIME:20221117T190000Z
DTEND;VALUE=DATE-TIME:20221117T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/107
DESCRIPTION:Title: De
grees of Categoricity\nby Barbara Csima (University of Waterloo) as pa
rt of Online logic seminar\n\n\nAbstract\nA degree of categoricity is a Tu
ring degree that exactly captures the complexity of computing isomorphisms
between computable copies of some computable structure. In this talk I wi
ll start by giving some easy examples of degrees of categoricity. I will t
hen give a review of what is known about degrees of categoricity\, culmina
ting in new results (joint work with Dino Rossegger).\n
LOCATION:https://researchseminars.org/talk/OLS/107/
END:VEVENT
BEGIN:VEVENT
SUMMARY:David Schrittesser (University of Toronto)
DTSTART;VALUE=DATE-TIME:20221201T190000Z
DTEND;VALUE=DATE-TIME:20221201T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/108
DESCRIPTION:Title: No
nstandard analysis and statistical decision theory\nby David Schrittes
ser (University of Toronto) as part of Online logic seminar\n\n\nAbstract\
nStatistical decision theory takes inspiration from game theory to provide
a basic framework in which one can reason about optimality (or lack there
of) of statistical procedures\, such as estimators and tests.\n\nOne prope
rty of a statistical procedure is "admissibility": Roughly\, a procedure i
s admissible if there is no other procedure which does better under all ci
rcumstances ("better" in a sense specified by the decision theoretical fra
mework\, i.e.\, with respect to a fixed loss function). This is certainly
a necessary condition for optimality.\n\nAdmissibility is notoriously hard
to characterize. In particular\, establishing a characterization in Bayes
ian terms has been an ongoing pursuit for decades in statistical decision
theory. Recently we have found a characterization of admissibility in Baye
sian terms\, by using prior probability distributions which can take on in
finitesimal values. We are also able to draw connections to classical meth
ods establishing admissibility\, such as Blyth's method and Stein's charac
terization of admissibility (which does partially characterize admissibili
ty\, but only under additional\, technical hypotheses). Finally\, our meth
od has applications in concrete problems such as the problem of establishi
ng the admissibility of the Graybill-Deal estimator.\n\nThe talk will not
presuppose any knowledge on statistics or nonstandard analysis. Everything
is joint work with D. Roy and H. Duanmu.\n
LOCATION:https://researchseminars.org/talk/OLS/108/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Patrick Lutz (UCLA)
DTSTART;VALUE=DATE-TIME:20230119T190000Z
DTEND;VALUE=DATE-TIME:20230119T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/109
DESCRIPTION:Title: Th
e Solecki dichotomy and the Posner Robinson theorem\nby Patrick Lutz (
UCLA) as part of Online logic seminar\n\n\nAbstract\nThe Solecki dichotomy
in descriptive set theory\, roughly stated\, says that every Borel functi
on on the real numbers is either a countable union of partial continuous f
unctions or at least as complicated as the Turing jump. The Posner-Robinso
n theorem in computability theory\, again roughly stated\, says that every
non-computable real looks like 0' relative to some oracle. Superficially\
, these theorems look similar: both roughly say that some object is either
simple or as complicated as the jump. However\, it is not immediately app
arent whether this similarity is more than superficial. If nothing else\,
the Solecki dichotomy is about third order objects—functions on the real
numbers—while the Posner-Robinson theorem is about second order objects
—individual real numbers. We will show that there is a genuine mathemati
cal connection between the two theorems by showing that the Posner-Robinso
n theorem plus determinacy can be used to give a short proof of a slightly
weakened version of the Solecki dichotomy\, and vice-versa.\n
LOCATION:https://researchseminars.org/talk/OLS/109/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Michael Hrušák (Universidad Nacional Autónoma de México)
DTSTART;VALUE=DATE-TIME:20230216T190000Z
DTEND;VALUE=DATE-TIME:20230216T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/110
DESCRIPTION:Title: Mo
del theory and topological groups\nby Michael Hrušák (Universidad Na
cional Autónoma de México) as part of Online logic seminar\n\nInteractiv
e livestream: https://zoom.us/j/122323340\n\nAbstract\nWe shall discuss so
me recent applications of model-theoretic methods to the study of topologi
cal groups. In particular\, we shall discuss solutions to old problems of
Comfort and van Douwen and the use of Fraissé theory to the study of grou
ps of homeomorphisms.\n
LOCATION:https://researchseminars.org/talk/OLS/110/
URL:https://zoom.us/j/122323340
END:VEVENT
BEGIN:VEVENT
SUMMARY:Maribel Fernandez (Kings College London)
DTSTART;VALUE=DATE-TIME:20230202T190000Z
DTEND;VALUE=DATE-TIME:20230202T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/111
DESCRIPTION:Title: No
minal Techniques for the Specification of Languages with Binders\nby M
aribel Fernandez (Kings College London) as part of Online logic seminar\n\
n\nAbstract\nThe nominal approach to the specification of languages with b
inding operators\, introduced by Gabbay and Pitts\, has its roots in nomin
al set theory. Nominal logic is a theory of first-order logic that axiomat
izes the notions of fresh name\, name swapping and abstraction from nomina
l sets\, making it an ideal tool for the specification of the semantics of
programming languages. In this talk\, we will start by recalling the main
concepts of nominal logic\, and then we will show how to apply these idea
s to specify calculi with binders. More precisely\, we will introduce nomi
nal syntax (including the notions of fresh atoms and alpha-equivalence)\,
present matching and unification algorithms that take into account the alp
ha-equivalence relation\, define nominal rewriting (a generalisation of fi
rst-order rewriting that provides in-built support for alpha-equivalence f
ollowing the nominal approach) and give examples of application.\n
LOCATION:https://researchseminars.org/talk/OLS/111/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Adele Padgett (McMaster University)
DTSTART;VALUE=DATE-TIME:20230126T190000Z
DTEND;VALUE=DATE-TIME:20230126T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/112
DESCRIPTION:Title: Re
gular solutions of systems of transexponential polynomials\nby Adele P
adgett (McMaster University) as part of Online logic seminar\n\n\nAbstract
\nI will explain an open problem in the model theory of ordered fields and
outline a possible strategy for resolving it. The problem is whether ther
e are o-minimal fields that are “transexponential”\, i.e.\, which defi
ne functions that eventually grow faster than any tower of exponentials. I
n recent work\, I gave evidence indicating that a particular transexponent
ial expansion of the real field might be o-minimal. A possible next step w
ould be to apply a criterion of Lion which grew out of Wilkie’s proof th
at the real exponential field is o-minimal.\n
LOCATION:https://researchseminars.org/talk/OLS/112/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Rumen Dimitrov (Western Illinois University)
DTSTART;VALUE=DATE-TIME:20230420T180000Z
DTEND;VALUE=DATE-TIME:20230420T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/113
DESCRIPTION:by Rumen Dimitrov (Western Illinois University) as part of Onl
ine logic seminar\n\nInteractive livestream: https://zoom.us/j/122323340\n
Abstract: TBA\n
LOCATION:https://researchseminars.org/talk/OLS/113/
URL:https://zoom.us/j/122323340
END:VEVENT
BEGIN:VEVENT
SUMMARY:Konstantin Slutsky (Iowa State University)
DTSTART;VALUE=DATE-TIME:20230302T190000Z
DTEND;VALUE=DATE-TIME:20230302T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/114
DESCRIPTION:by Konstantin Slutsky (Iowa State University) as part of Onlin
e logic seminar\n\nInteractive livestream: https://zoom.us/j/122323340\nAb
stract: TBA\n
LOCATION:https://researchseminars.org/talk/OLS/114/
URL:https://zoom.us/j/122323340
END:VEVENT
BEGIN:VEVENT
SUMMARY:Athar Abdul-Quader (Purchase College)
DTSTART;VALUE=DATE-TIME:20230323T180000Z
DTEND;VALUE=DATE-TIME:20230323T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/115
DESCRIPTION:by Athar Abdul-Quader (Purchase College) as part of Online log
ic seminar\n\nInteractive livestream: https://zoom.us/j/122323340\nAbstrac
t: TBA\n
LOCATION:https://researchseminars.org/talk/OLS/115/
URL:https://zoom.us/j/122323340
END:VEVENT
BEGIN:VEVENT
SUMMARY:Daniel Mourad (University of Connecticut)
DTSTART;VALUE=DATE-TIME:20230504T180000Z
DTEND;VALUE=DATE-TIME:20230504T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/116
DESCRIPTION:by Daniel Mourad (University of Connecticut) as part of Online
logic seminar\n\nInteractive livestream: https://zoom.us/j/122323340\nAbs
tract: TBA\n
LOCATION:https://researchseminars.org/talk/OLS/116/
URL:https://zoom.us/j/122323340
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jenna Zomback (Williams College)
DTSTART;VALUE=DATE-TIME:20230316T180000Z
DTEND;VALUE=DATE-TIME:20230316T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/117
DESCRIPTION:by Jenna Zomback (Williams College) as part of Online logic se
minar\n\nInteractive livestream: https://zoom.us/j/122323340\nAbstract: TB
A\n
LOCATION:https://researchseminars.org/talk/OLS/117/
URL:https://zoom.us/j/122323340
END:VEVENT
BEGIN:VEVENT
SUMMARY:Liling Ko (Ohio State University)
DTSTART;VALUE=DATE-TIME:20230209T190000Z
DTEND;VALUE=DATE-TIME:20230209T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/118
DESCRIPTION:Title: Co
mputable smallness is not intrinsic smallness\nby Liling Ko (Ohio Stat
e University) as part of Online logic seminar\n\nInteractive livestream: h
ttps://zoom.us/j/122323340\n\nAbstract\nWe construct a set $A$ that is com
putably small but not intrinsically small. To understand these terms\, we
liken $A$ to a game show host playing against a class of computable contes
tants\, analogous to an infinite variant of the Monty Hall problem. The ho
st has infinitely many doors arranged in a line\, and each door hides eith
er a goat or a car. A contestant selects infinitely many doors to open and
wins if a non-zero density of the selected doors hides a car. Contestants
that are disorderly can select doors out of order\, opening door $i$ afte
r door $j>i$. Are disorderly contestants more difficult to beat than order
ly ones? This is known to be true if contestants are allowed to be adaptiv
e\, where they may choose a different door depending on the outcomes of th
e previously opened ones [1] (via the theorem that MWC-stochasticity 0 doe
s not imply Kolmogorov-Loveland-stochasticity 0). We give a constructive p
roof to show that the statement also holds in the non-adaptive setting\, s
hedding light on a disorderly structure that outperforms orderly ones. Thi
s is joint work with Justin Miller.\n\n[1] Merkle\, Wolfgang and Miller\,
Joseph S and Nies\, Andre and Reimann\, Jan and Stephan\, Frank. Kolmogoro
v--Loveland randomness and stochasticity. Annals of Pure and Applied Logic
\, vol.138 (2006)\, no.1-3\, pp.183--210.\n
LOCATION:https://researchseminars.org/talk/OLS/118/
URL:https://zoom.us/j/122323340
END:VEVENT
BEGIN:VEVENT
SUMMARY:Cian Dorr (New York University)
DTSTART;VALUE=DATE-TIME:20230427T180000Z
DTEND;VALUE=DATE-TIME:20230427T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/119
DESCRIPTION:by Cian Dorr (New York University) as part of Online logic sem
inar\n\nInteractive livestream: https://zoom.us/j/122323340\nAbstract: TBA
\n
LOCATION:https://researchseminars.org/talk/OLS/119/
URL:https://zoom.us/j/122323340
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sandra Müller (TU Wien)
DTSTART;VALUE=DATE-TIME:20230406T180000Z
DTEND;VALUE=DATE-TIME:20230406T190000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/120
DESCRIPTION:by Sandra Müller (TU Wien) as part of Online logic seminar\n\
nInteractive livestream: https://zoom.us/j/122323340\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/OLS/120/
URL:https://zoom.us/j/122323340
END:VEVENT
BEGIN:VEVENT
SUMMARY:Alexandra Soskova (Sofia University St. Kliment Ohridski)
DTSTART;VALUE=DATE-TIME:20230223T190000Z
DTEND;VALUE=DATE-TIME:20230223T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/121
DESCRIPTION:by Alexandra Soskova (Sofia University St. Kliment Ohridski) a
s part of Online logic seminar\n\nInteractive livestream: https://zoom.us/
j/122323340\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/OLS/121/
URL:https://zoom.us/j/122323340
END:VEVENT
BEGIN:VEVENT
SUMMARY:Elliot Kaplan (McMaster University)
DTSTART;VALUE=DATE-TIME:20230309T190000Z
DTEND;VALUE=DATE-TIME:20230309T200000Z
DTSTAMP;VALUE=DATE-TIME:20230205T200907Z
UID:OLS/122
DESCRIPTION:by Elliot Kaplan (McMaster University) as part of Online logic
seminar\n\nInteractive livestream: https://zoom.us/j/122323340\nAbstract:
TBA\n
LOCATION:https://researchseminars.org/talk/OLS/122/
URL:https://zoom.us/j/122323340
END:VEVENT
END:VCALENDAR