April 2016 Archives by subject
Starting: Fri Apr 1 01:23:14 EDT 2016
Ending: Sat Apr 30 23:35:14 EDT 2016
Messages: 147
- [FOM] 0# and conservative new axioms
martdowd at aol.com
- [FOM] 0# over L
Harvey Friedman
- [FOM] 2-year PostDoc or 3-year PhD position at the University of Innsbruck
Georg Moser
- [FOM] 2nd announcement: Foundational Impact of Recursion Theory - May 22, 2016
Mummert, Carl
- [FOM] 668: Pi01 Incompleteness/SRP,HUGE/12
Harvey Friedman
- [FOM] 669: Pi01 Incompleteness/SRP,HUGE/13
Harvey Friedman
- [FOM] 670: Pi01 Incompleteness/SRP,HUGE/14
Harvey Friedman
- [FOM] 671: Pi01 Incompleteness/SRP,HUGE/15
Harvey Friedman
- [FOM] A Meaning Explanation for HoTT?
Dimitris Tsementzis
- [FOM] A Meaning Explanation for HoTT?
Harvey Friedman
- [FOM] A Meaning Explanation for HoTT?
Stephen Gaito
- [FOM] Arithmetic Incompleteness/Baez
Harvey Friedman
- [FOM] Artificial sweetener for ZFC
Arnon Avron
- [FOM] AUTOMATA 2016:Extension of submission deadline for exploratory Papers
Turlough Neary
- [FOM] AUTOMATA 2016 Call for Exploratory Papers
Turlough Neary
- [FOM] Barton FOM Survey
Harvey Friedman
- [FOM] Categorial Grammar/Lambek
Alice ter Meulen
- [FOM] Categoricity in f.o.m.
Harvey Friedman
- [FOM] Categoricity in f.o.m.
Joe Shipman
- [FOM] Categoricity in f.o.m.
Arnon Avron
- [FOM] Categoricity in f.o.m.
Harvey Friedman
- [FOM] Categoricity in f.o.m./2
Harvey Friedman
- [FOM] CfP - AI aspects of Reasoning, Information, and Memory 2016 (AIRIM'16)
Roussanka Loukanova
- [FOM] CfP - AIRIM'16 new deadline: AI aspects of Reasoning, Information, and Memory 2016 (AIRIM'16)
Roussanka Loukanova
- [FOM] CFP: Computationally Assisted Mathematical Discovery and Experimental Mathematics
Nicolas Fillion
- [FOM] CFPs: 12th International Workshop on Boolean Problems
Miroslav Velev
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
Dimitris Tsementzis
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
Harvey Friedman
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
Dimitris Tsementzis
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
Harvey Friedman
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
Dimitris Tsementzis
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
Harvey Friedman
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
François Dorais
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
Ben Sherman
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
Freek Wiedijk
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
Dimitris Tsementzis
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
Dimitris Tsementzis
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
Dimitris Tsementzis
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
Dimitris Tsementzis
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
Neil Barton
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
François Dorais
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
Stephen Gaito
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
Dimitris Tsementzis
- [FOM] Challenge addressed by HoTT/UF that is not addressed by ZFC
Neil Barton
- [FOM] Church's Thesis Musings
Harvey Friedman
- [FOM] Church's Thesis Musings 2
Harvey Friedman
- [FOM] Coherence:Friedman/Cody/Roberts
Harvey Friedman
- [FOM] Coherence:Friedman/Cody/Roberts
Jay Sulzberger
- [FOM] Computational Discovery/Experimental Mathematics
Harvey Friedman
- [FOM] Computational Discovery/Experimental Mathematics
Robert Moir
- [FOM] Computational Discovery/Experimental Mathematics
martdowd at aol.com
- [FOM] Easter Island: 5th World Congress on the Square of Opposition
jean-yves beziau
- [FOM] Explaining Some Goedel
Harvey Friedman
- [FOM] formalism freeness
Kennedy, Juliette
- [FOM] formalism freeness
Harvey Friedman
- [FOM] Foundational Issues: Carneiro
Alan Weir
- [FOM] Foundational issues:Friedman/Baez
Harvey Friedman
- [FOM] Foundational issues:Friedman/Baez
WILLIAM TAIT
- [FOM] Foundational issues:Friedman/Baez
Mario Carneiro
- [FOM] Foundational Issues: Friedman/Carneiro
Alan Weir
- [FOM] Foundational Issues: Friedman/Carneiro
Mario Carneiro
- [FOM] Foundational Issues: Friedman/Carneiro
Timothy Y. Chow
- [FOM] Foundational Issues: Friedman/Carneiro
Mario Carneiro
- [FOM] Foundational Issues: Friedman/Carneiro
Timothy Y. Chow
- [FOM] Foundational Issues: Friedman/Carneiro
Mario Carneiro
- [FOM] Foundational Issues: Friedman/Carneiro
tchow
- [FOM] Foundational Issues: Friedman/Carneiro
Mario Carneiro
- [FOM] Foundational Issues: Friedman/Carneiro
tchow
- [FOM] Foundational Issues: Friedman/Carneiro
Mario Carneiro
- [FOM] Foundational Issues: Friedman/Carneiro
tchow
- [FOM] Foundations
Rempe-Gillen, Lasse
- [FOM] Fourth Summer School on Formal Techniques, May 19-23, 2014, Menlo College, Atherton
Natarajan Shankar
- [FOM] Friedman's challenge on HoTT-analogs of FOL=
Dimitris Tsementzis
- [FOM] Friedman's challenge on HoTT-analogs of FOL=
Mario Carneiro
- [FOM] Friedman's challenge on HoTT-analogs of FOL=
Harvey Friedman
- [FOM] Friedman's challenge on HoTT-analogs of FOL=
Mario Carneiro
- [FOM] Friedman's challenge on HoTT-analogs of FOL=
Dimitris Tsementzis
- [FOM] Friedman's challenge on HoTT-analogs of FOL=
Mario Carneiro
- [FOM] Friedman's challenge on HoTT-analogs of FOL=
Hendrik Boom
- [FOM] Friedman's challenge on HoTT-analogs of FOL=
Dimitris Tsementzis
- [FOM] Friedman's challenge on HoTT-analogs of FOL=
Mario Carneiro
- [FOM] Friedman's challenge on HoTT-analogs of FOL=
Dimitris Tsementzis
- [FOM] Friedman's challenge on HoTT-analogs of FOL=
Mario Carneiro
- [FOM] Friedman/Baez
Harvey Friedman
- [FOM] Friedman/Baez/Bauer
Harvey Friedman
- [FOM] Friedman/Baez/getting HOT
Harvey Friedman
- [FOM] Friedman/Baez/getting HOT
Sam Sanders
- [FOM] Friedman/Baez/getting HOT
François Dorais
- [FOM] Friedman/Baez/Gowers
Harvey Friedman
- [FOM] Friedman/Campion/getting Hot
Harvey Friedman
- [FOM] Friedman/Lawvere/McLarty
Harvey Friedman
- [FOM] Fwd: 1st Call for Participation: Proofs, Justifications and Certificates, 3-4 June, Toulouse
Martin Davis
- [FOM] Fwd: Fw: formalism freeness
Martin Davis
- [FOM] Job in mathematical logic at Leeds
Nicola Gambino
- [FOM] Lambek's category of syntactic types
Fosco
- [FOM] Lambek's category of syntactic types
Obrst, Leo J.
- [FOM] Lambek's category of syntactic types
Daniil
- [FOM] LC2016: approaching deadlines
Nicola Gambino
- [FOM] Matters of Fact
Harvey Friedman
- [FOM] More Friedman/Baez
Harvey Friedman
- [FOM] More Friedman/Baez
Harvey Friedman
- [FOM] More Friedman/Baez
Harvey Friedman
- [FOM] More Friedman/Baez
Harvey Friedman
- [FOM] More Friedman/Carniero
Harvey Friedman
- [FOM] New book: Kurt Gödel. Philosopher-Scientist
Mark van Atten
- [FOM] New book: Kurt Gödel. Philosopher-Scientist
WILLIAM TAIT
- [FOM] New Logic Master's Program at the University of Gothenburg (Second Announcement)
Ali Enayat
- [FOM] PhD in Philosophical Logic in Rio de Janeiro and grants for foreign PhD students
jean-yves beziau
- [FOM] Philosophical coherence and foundational role of set and type theory
Astor, Eric P.
- [FOM] Pluralistic Foundational Crisis?/set theory
Harvey Friedman
- [FOM] Pluralistic Foundational Crisis?/set theory/completed
Harvey Friedman
- [FOM] Pluralistic Foundational Crisis?/set theory/completed
Toby Meadows
- [FOM] Pluralistic Foundational Crisis?/set theory/completed
joeshipman at aol.com
- [FOM] Pluralistic Foundational Crisis?/set theory/completed
Neil Barton
- [FOM] Pluralistic Foundational Crisis?/set theory/completed
martdowd at aol.com
- [FOM] Plural Logic/Foundations
Neil Barton
- [FOM] postdoc position in semantics and effects
Paul B Levy
- [FOM] Presentation of Alternative Foundations?
Harvey Friedman
- [FOM] Proving PD?
Harvey Friedman
- [FOM] Proving PD?/2
Harvey Friedman
- [FOM] Refuting CH?
Harvey Friedman
- [FOM] Refuting CH?/2
Harvey Friedman
- [FOM] Refuting CH?/3
Harvey Friedman
- [FOM] Refuting CH?/4
Harvey Friedman
- [FOM] Refuting CH?/5
Harvey Friedman
- [FOM] Refuting CH?/6
Harvey Friedman
- [FOM] Registration now open for the first Set Theoretic Pluralism symposium, Aberdeen, 12–17 July 2016
Benedict Eastaugh
- [FOM] re Plural Logic/Foundations
Harvey Friedman
- [FOM] re Plural Logic/Foundations
Richard Heck
- [FOM] re Plural Logic/Foundations
Stewart Shapiro
- [FOM] re Plural Logic/Foundations
Harvey Friedman
- [FOM] re Plural Logic/Foundations
Richard Heck
- [FOM] re Plural Logic/Foundations
Colin McLarty
- [FOM] re Plural Logic/Foundations
Richard Heck
- [FOM] re Plural Logic/Foundations
Harvey Friedman
- [FOM] re Plural Logic/Foundations
W.Taylor at math.canterbury.ac.nz
- [FOM] Survey results for Universism/Multiversism
Neil Barton
- [FOM] The unreasonable soundness of mathematics
Timothy Y. Chow
- [FOM] The unreasonable soundness of mathematics
Mario Carneiro
- [FOM] What are foundations for?
Martin Davis
- [FOM] What are foundations for?
katzmik at macs.biu.ac.il
- [FOM] What Foundational Issues? #1
Harvey Friedman
- [FOM] Wiki: type theoretic fnds
Harvey Friedman
- [FOM] Wiki: type theoretic fnds
Mario Carneiro
- [FOM] Wiki: type theoretic fnds
Arnold Neumaier
- [FOM] Wiki: type theoretic fnds
David McAllester
- [FOM] Wiki: type theoretic fnds
Harvey Friedman
Last message date:
Sat Apr 30 23:35:14 EDT 2016
Archived on: Sun May 1 01:39:28 EDT 2016
This archive was generated by
Pipermail 0.09 (Mailman edition).