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:20150825T143000
DTEND;TZID=America/New_York:20150825T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27011
SUMMARY:Logic Seminar - Organizational Meeting
DESCRIPTION:Seminar: Logic Seminar\nTitle: Organizational Meeting\nAbstract
: This is an organizational meeting to plan the seminar for the semester.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20150901T143000
DTEND;TZID=America/New_York:20150901T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27015
SUMMARY:Logic Seminar - Degrees of unsolvability. Part 1: introduction
DESCRIPTION:Seminar: Logic Seminar\nTitle: Degrees of unsolvability. Part
1: introduction\nSpeaker: Stephen G. Simpson\, Penn State\nAbstract: This
series of talks is based on my recent 3-hour tutorial at the Computability
in Europe conference in Bucharest. An important 20th century discovery i
s that there are algorithmically unsolvable problems in virtually every br
anch of mathematics. Degrees of unsolvability are an attempt to measure t
he "amount" or "extent" of the unsolvability of such problems. They are b
ased on the idea of "reducibility" of one problem to another. In this int
roductory talk we define and discuss two particular degree structures: the
Turing degrees\, and the Muchnik degrees. We point out that the Muchnik
degrees are the completion of the Turing degrees\, similarly to how the re
al numbers are the completion of the rational numbers. We discuss specifi
c examples of Turing degrees\, and we give at least one specific example o
f a Muchnik degree which is not a Turing degree. (There are many more suc
h examples\, and we shall discuss some of them in later talks in this seri
es.) We point out how the Muchnik degrees provide a rigorous implementati
on of Kolmogorov's calculus of problems.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20150908T143000
DTEND;TZID=America/New_York:20150908T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27019
SUMMARY:Logic Seminar - No seminar this week
DESCRIPTION:Seminar: Logic Seminar\nTitle: No seminar this week
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20150915T143000
DTEND;TZID=America/New_York:20150915T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27023
SUMMARY:Logic Seminar - Degrees of unsolvability. Part 2: examples
DESCRIPTION:Seminar: Logic Seminar\nTitle: Degrees of unsolvability. Part
2: examples\nSpeaker: Stephen G. Simpson\, Penn State\nAbstract: This seri
es of talks is based on my recent 3-hour tutorial at the Computability in
Europe conference in Bucharest. An important 20th century discovery is tha
t there are algorithmically unsolvable problems in virtually every branch
of mathematics. Degrees of unsolvability are an attempt to measure the "am
ount" or "extent" of the unsolvability of such problems. They are based on
the idea of "reducibility" of one problem to another. We focus on two par
ticular degree structures: (1) the Turing degrees\, and (2) the lattice-th
eoretic completion of the Turing degrees\, also known as the Muchnik degre
es. In this talk I survey the known specific\, natural examples of Turing
degrees\, and I exhibit many specific\, natural examples of Muchnik degree
s which are not Turing degrees. I also point out how the Muchnik degrees p
rovide a rigorous implementation of Kolmogorov's nonrigorous 1932 calculus
of problems.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20150922T143000
DTEND;TZID=America/New_York:20150922T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27027
SUMMARY:Logic Seminar - An Introduction to Fine Structure Theory
DESCRIPTION:Seminar: Logic Seminar\nTitle: An Introduction to Fine Structur
e Theory\nSpeaker: Jan Reimann\, Penn State\nAbstract: In his proof of the
(relative) consistency of the Continuum Hypothesis (CH)\, Gödel defined
the constructible universe L\, in which the introduction of new sets happe
ns at a "tamer" rate\, compared to the Von-Neumann universe. \n\nIn 1972\,
introduced a sophisticated technical apparatus\, fine structure theory\,
to study in detail the way new sets are defined in L. Fine structure has b
ecome one of the central components of modern set theory\, particularly th
e inner model program\, which seeks to find L-like models for large cardin
als.\n\nIt is also closely related to computability theory\, as Jensen's n
otion of projectum behaves in many ways like a Turing jump. \n\nIn a serie
s of talks\, I will give an introduction to fine structure theory\, starti
ng with a brief review of Gödel's fundamental ideas\, as well as Boolos'
and Putnam's predecessor to fine structure. In later talks\, I will cover
Jensen's J-hierarchy\, projecta and master codes\, and an application to a
lgorithmic randomness due to Reimann and Slaman.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20150929T143000
DTEND;TZID=America/New_York:20150929T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27031
SUMMARY:Logic Seminar - Gambling against some Odds
DESCRIPTION:Seminar: Logic Seminar\nTitle: Gambling against some Odds\nSpea
ker: Jake Pardo\, Penn State\nAbstract: In their paper How to Gamble Again
st All Odds\, Bavly and Peretz discuss opposing betting strategies and com
pare their relative strengths. In particular\, we have two gambler each b
etting with different sets\, A and B: when is it possible for the gambler
with set A to make infinite money in the long-term while the gambler with
set B does not? What if there are infinitely many gamblers with set B tha
t all have to be kept from making infinite money? I will discuss some of
the results of Bavly and Peretz\, as well as present some open problems on
the topic. This is the first in a two part talk series.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20151006T143000
DTEND;TZID=America/New_York:20151006T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27036
SUMMARY:Logic Seminar - Gambling Against Some Other Odds
DESCRIPTION:Seminar: Logic Seminar\nTitle: Gambling Against Some Other Odds
\nSpeaker: Jake Pardo\, Penn State\nAbstract: In the results we saw last w
eek regarding the relative strengths of gambling strategies\, we saw that
the proofs relied on the fact that the strategy to beat had a least positi
ve value it could bet - using this the strategy could be beaten by forcing
its gambler to either give up betting or to go broke. However\, there is
n't much known when the strategy to beat is able to make arbitrarily small
bets. I will discuss some personal work on this topic\, as well as menti
on potential future directions for this problem.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20151013T143000
DTEND;TZID=America/New_York:20151013T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27040
SUMMARY:Logic Seminar - Degrees of unsolvability. Part 3: Muchnik degrees
of effectively closed sets
DESCRIPTION:Seminar: Logic Seminar\nTitle: Degrees of unsolvability. Part
3: Muchnik degrees of effectively closed sets\nSpeaker: Stephen G. Simpson
\, Penn State\nAbstract: This series of talks is based on my recent 3-hour
tutorial at the Computability in Europe conference in Bucharest. The latt
ice of all Muchnik degrees is large and complicated\, but in this talk I d
iscuss two sublattices which are smaller and hopefully more manageable. N
amely\, let E_w and S_w be the sublattices consisting of the Muchnik degre
es of nonempty\, effectively closed sets in the Cantor space and the Baire
space respectively. I prove that E_w is an initial segment of S_w\, and
I use this fact to obtain many specific\, natural examples of degrees in E
_w. I note that there is a strong analogy between E_w and E_T\, the upper
semilattice of recursively enumerable Turing degrees. I argue that E_w i
s more interesting than E_T\, because E_T contains no specific\, natural e
xamples of degrees other than the top and bottom degrees\, 0' and 0.
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20151020T143000
DTEND;TZID=America/New_York:20151020T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27044
SUMMARY:Logic Seminar - TBA
DESCRIPTION:Seminar: Logic Seminar\nTitle: TBA\nSpeaker: Jan Reimann\, Penn
State
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20151027T143000
DTEND;TZID=America/New_York:20151027T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27048
SUMMARY:Logic Seminar - TBA
DESCRIPTION:Seminar: Logic Seminar\nTitle: TBA\nSpeaker: Jason Rute\, Penn
State
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20151103T143000
DTEND;TZID=America/New_York:20151103T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27052
SUMMARY:Logic Seminar - TBA
DESCRIPTION:Seminar: Logic Seminar\nTitle: TBA\nSpeaker: Jason Rute\, Penn
State
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20151110T143000
DTEND;TZID=America/New_York:20151110T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27056
SUMMARY:Logic Seminar - TBA
DESCRIPTION:Seminar: Logic Seminar\nTitle: TBA\nSpeaker: Mingyang Li\, Penn
State
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20151117T143000
DTEND;TZID=America/New_York:20151117T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27060
SUMMARY:Logic Seminar - TBA
DESCRIPTION:Seminar: Logic Seminar\nTitle: TBA\nSpeaker: Mingyang Li\, Penn
State
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20151124T143000
DTEND;TZID=America/New_York:20151124T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27064
SUMMARY:Logic Seminar - No Seminar This Week
DESCRIPTION:Seminar: Logic Seminar\nTitle: No Seminar This Week
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20151201T143000
DTEND;TZID=America/New_York:20151201T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27068
SUMMARY:Logic Seminar - TBA
DESCRIPTION:Seminar: Logic Seminar\nTitle: TBA\nSpeaker: Stephen Simpson\,
Penn State
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20151208T143000
DTEND;TZID=America/New_York:20151208T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27072
SUMMARY:Logic Seminar - TBA
DESCRIPTION:Seminar: Logic Seminar\nTitle: TBA\nAbstract Link: http://
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20151215T143000
DTEND;TZID=America/New_York:20151215T154500
LOCATION:MB315
URL:http://www.math.psu.edu/seminars/meeting.php?id=27076
SUMMARY:Logic Seminar - No Seminar This Week
DESCRIPTION:Seminar: Logic Seminar\nTitle: No Seminar This Week
END:VEVENT
END:VCALENDAR