BEGIN:VCALENDAR
PRODID:-//PSU Mathematics Department//Seminar iCalendar Generator//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Logic Seminar
X-WR-TIMEZONE:America/New_York
BEGIN:VTIMEZONE
TZID:America/New_York
X-LIC-LOCATION:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20140826T143000
DTEND;TZID=America/New_York:20140826T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22072
SUMMARY:Logic Seminar - Organizational Meeting
DESCRIPTION:Seminar: Logic Seminar\nTitle: Organizational Meeting\nAbstract
: Meet to discuss speakers for the semester.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20140902T143000
DTEND;TZID=America/New_York:20140902T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22073
SUMMARY:Logic Seminar - An introduction to reverse mathematics
DESCRIPTION:Seminar: Logic Seminar\nTitle: An introduction to reverse mathe
matics\nSpeaker: Stephen G. Simpson\, Penn State\nAbstract: Reverse mathem
atics is a program of research in the foundations of mathematics. A basic
discovery\, emphasized by Hilbert and Bernays in the 1930s\, is that the
proofs of almost all theorems of core mathematics (analysis\, algebra\, ge
ometry\, combinatorics\, ...) are straightforwardly formalizable in subsys
tems of second-order arithmetic. Reverse mathematics is a series of case
studies\, initiated in the 1970s\, in which specific core mathematical the
orems are examined in order to determine the smallest subsystem of second-
order arithmetic in which the given theorem is provable. The program of r
everse mathematics is very rich\, with many sub-programs and many open pro
blems. Many concepts from mathematical logic come into play\, including T
uring computability\, the Turing jump operator\, basis theorems\, relative
hyperarithmeticity\, the hyperjump\, proof-theoretic ordinals\, and nonst
andard models of arithmetic. Over the past 40 years\, some interesting co
nclusions have emerged. For instance\, it turns out that many core mathem
atical theorems are logically equivalent to the axioms needed to prove the
m\, and this leads to a robust classification of such theorems up to logic
al equivalence. Indeed\, many such theorems fall into only five equivalen
ce classes\, the so-called "Big Five." An area of recent interest is the
reverse mathematics of measure theory\, which involves algorithmic randomn
ess.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20140909T143000
DTEND;TZID=America/New_York:20140909T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22074
SUMMARY:Logic Seminar - Randomness\, Riesz Capacity\, Brownian Motion\, and
Complexity
DESCRIPTION:Seminar: Logic Seminar\nTitle: Randomness\, Riesz Capacity\, Br
ownian Motion\, and Complexity\nSpeaker: Jason Rute\, Penn State\nAbstract
: - Algorithmic randomness is a topic in computability theory which invest
igates which paths in a stochastic process behave randomly (with respect t
o all computable statistical tests).\n- Riesz capacity is an important con
cept in potential theory and stochastic processes. It is used to estimate
the probability that an n-dimensional Brownian motion hits a given set or
is zero on a given set of times.\n- The a priori complexity KM(x) is a me
asure of the computational complexity of a finite bit string x.\n\nI will
present the following result which connects these three subjects. The fol
lowing are equivalent for t in (0\,1].\n1) t is Martin-Löf random with re
spect to 1/2-Reisz capacity.\n2) t is a zero of some Martin-Löf random on
e-dimensional Brownian motion.\n3) sum_n 2^{n/2 - KM(t[0\,…\,n-1])} <
\\infty where t[0\,…\,n-1] is the first n bits of the binary expansion o
f t.\n\nThis is joint work with Joseph Miller.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20140916T143000
DTEND;TZID=America/New_York:20140916T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22075
SUMMARY:Logic Seminar - Towards an Effective Theory of Levy Processes
DESCRIPTION:Seminar: Logic Seminar\nTitle: Towards an Effective Theory of L
evy Processes\nSpeaker: Adrian Maler\, Penn State\nAbstract: The Levy proc
esses constitute an interesting and important class of stochastic processe
s: basically\, the continuous time version of a random walk. We introduce
effective Skorokhod space\, which is a suitable setting in which to develo
p an effective theory of Levy processes. We present three definitions of a
"computable" Levy process\, and discuss their equivalences.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20140923T143000
DTEND;TZID=America/New_York:20140923T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22076
SUMMARY:Logic Seminar - Proving RT_2^2 doesn't imply WKL_0
DESCRIPTION:Seminar: Logic Seminar\nTitle: Proving RT_2^2 doesn't imply WKL
_0\nSpeaker: Jake Pardo\, Penn State\nAbstract: The different versions of
Ramsey's Theorem have long been significant in the study of reverse mathem
atics\, and RT_2^2 has proven to be a particularly significant version. I
t was a long standing open question whether RT_2^2 implied WKL_0 or not -
it was known that the latter doesn't imply the former - however this was r
ecently solved by Liu. I will explain a little bit of the background of t
his problem and then dive right into the intuitive yet highly technical pr
oof of Liu's great result.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20140930T143000
DTEND;TZID=America/New_York:20140930T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22077
SUMMARY:Logic Seminar - An Overview of Model Theory
DESCRIPTION:Seminar: Logic Seminar\nTitle: An Overview of Model Theory\nSpe
aker: Jan Reimann\, Penn State\nAbstract: This talk will give a brief intr
oduction to the central topics of model theory. Model theory studies mathe
matical structures and theories (such as groups\, fields\, graphs\, orders
) from the point of view of mathematical logic. Central notions are\, amon
g others\, definability (which subsets of a structures can be defined by a
formula)\, categoricity (how many structures satisfying a given set of ax
ioms are there up to isomorphism)\, and stability (how many types are real
ized).\n\nThe talk is intended to give necessary background for a series o
f talks on continuous model theory coming up this semester.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20141007T143000
DTEND;TZID=America/New_York:20141007T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22078
SUMMARY:Logic Seminar - To be announced
DESCRIPTION:Seminar: Logic Seminar\nTitle: To be announced\nSpeaker: Sankha
Basu\, Penn State
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20141014T143000
DTEND;TZID=America/New_York:20141014T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22079
SUMMARY:Logic Seminar - To be announced
DESCRIPTION:Seminar: Logic Seminar\nTitle: To be announced\nSpeaker: Manfre
d Denker\, Penn State
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20141021T143000
DTEND;TZID=America/New_York:20141021T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22080
SUMMARY:Logic Seminar - To be announced
DESCRIPTION:Seminar: Logic Seminar\nTitle: To be announced\nSpeaker: Jeremy
Avigad\, Carnegie Mellon University
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20141028T143000
DTEND;TZID=America/New_York:20141028T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22081
SUMMARY:Logic Seminar - TBA
DESCRIPTION:Seminar: Logic Seminar\nTitle: TBA\nAbstract Link: http://
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20141104T143000
DTEND;TZID=America/New_York:20141104T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22082
SUMMARY:Logic Seminar - TBA
DESCRIPTION:Seminar: Logic Seminar\nTitle: TBA\nAbstract Link: http://
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20141111T143000
DTEND;TZID=America/New_York:20141111T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22083
SUMMARY:Logic Seminar - TBA
DESCRIPTION:Seminar: Logic Seminar\nTitle: TBA\nAbstract Link: http://
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20141118T143000
DTEND;TZID=America/New_York:20141118T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22084
SUMMARY:Logic Seminar - TBA
DESCRIPTION:Seminar: Logic Seminar\nTitle: TBA\nAbstract Link: http://
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20141125T143000
DTEND;TZID=America/New_York:20141125T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22085
SUMMARY:Logic Seminar - TBA
DESCRIPTION:Seminar: Logic Seminar\nTitle: TBA\nAbstract Link: http://
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20141202T143000
DTEND;TZID=America/New_York:20141202T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22086
SUMMARY:Logic Seminar - TBA
DESCRIPTION:Seminar: Logic Seminar\nTitle: TBA\nAbstract Link: http://
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20141209T143000
DTEND;TZID=America/New_York:20141209T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22087
SUMMARY:Logic Seminar - TBA
DESCRIPTION:Seminar: Logic Seminar\nTitle: TBA\nAbstract Link: http://
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20141216T143000
DTEND;TZID=America/New_York:20141216T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=22088
SUMMARY:Logic Seminar - TBA
DESCRIPTION:Seminar: Logic Seminar\nTitle: TBA\nAbstract Link: http://
END:VEVENT
END:VCALENDAR