February 2012 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Wed Feb 1 01:09:28 EST 2012
Ending: Wed Feb 29 21:04:43 EST 2012
Messages: 99

• [FOM] Multi-level Discrimination   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Multi-level Discrimination   Zuhair Abdul Ghafoor Al-Johar
• [FOM] N-tuples, Ordered Pairs and Sequences   Zuhair Abdul Ghafoor Al-Johar
• [FOM] fom documentary   Irving Anellis
• [FOM] Ruth Marcus   G. Aldo Antonelli
• [FOM] Elsevier boycott   Jeremy Avigad
• [FOM] 481:Complementation and Incompleteness   Arnon Avron
• [FOM] Weak logic axioms   Arnon Avron
• [FOM] Call for papers: special issue of MSCS   Steve Awodey
• [FOM] Announcement: Fourth Workshop on Formal Topology (4WFTop) and Workshop on higher dimensional algebra, categories and types (HDACT)   Andrej Bauer
• [FOM] f.o.m. documentary 2   Andrej Bauer
• [FOM] Call for Participation: Newton Institute Workshop "Logical Approaches to Barriers in Complexity II"   Arnold Beckmann
• [FOM] MFPS 28 Final Call for Papers   Ulrich Berger
• [FOM] f.o.m. documentary 2   Michael Blackmon
• [FOM] iterative conception/cumulative hierarchy   Hendrik Boom
• [FOM] CFP   Torben Braüner
• [FOM] Call for Journal Papers: STVR Special Issue on Tests and Proofs   Achim D. Brucker
• [FOM] Ordinal notation calculator   Paul Budnik
• [FOM] Kripke's outline of a theory of truth   Timothy Y. Chow
• [FOM] Kripke's outline of a theory of truth   Timothy Y. Chow
• [FOM] [CiE 2012] Call for Informal Presentations for Turing Centenary Conference in Cambridge   S B Cooper
• [FOM] Alan Turing Centenary Conference, University of Manchester, 22-25 June, 2012   S B Cooper
• [FOM] Seventh International Conference on Computability, Complexity and Randomness (CCR 2012) [for Elvira Mayordomo]   Martin Davis
• [FOM] What are foundations for?   Martin Davis
• [FOM] Kripke's outline of a theory of truth   Harry Deutsch
• [FOM] Kripke's Outline of a Theory of Truth   Harry Deutsch
• [FOM] f.o.m. documentary 2   Michael Lee Finney
• [FOM] 481:Complementation and Incompleteness   Michael Lee Finney
• [FOM] f.o.m. documentary 2   Michael Lee Finney
• [FOM] Pratt on categorical foundations   Michael Lee Finney
• [FOM] f.o.m. documentary 2   Michael Lee Finney
• [FOM] Friedman/Pratt reversed   Michael Lee Finney
• [FOM] iterative conception/cumulative hierarchy   Michael Lee Finney
• [FOM] Weak logic axioms   Michael Lee Finney
• [FOM] iterative conception/cumulative hierarchy   Michael Lee Finney
• [FOM] iterative conception/cumulative hierarchy   Thomas Forster
• [FOM] 478:Maximality, Choice, and Incompleteness   Harvey Friedman
• [FOM] 479:Explicitly Pi01 Incompleteness   Harvey Friedman
• [FOM] 480:Order Equivalence and Incompleteness   Harvey Friedman
• [FOM] f.o.m. documentary 1   Harvey Friedman
• [FOM] f.o.m. documentary 2   Harvey Friedman
• [FOM] 481:Complementation and Incompleteness   Harvey Friedman
• [FOM] 482:Maximality, Choice, and Incompleteness 2   Harvey Friedman
• [FOM] 483:Invariance in Q[0,n]^k   Harvey Friedman
• [FOM] f.o.m. documentary 2   Harvey Friedman
• [FOM] 484:Finite Choice and Incompleteness   Harvey Friedman
• [FOM] Pratt on categorical foundations   Harvey Friedman
• [FOM] 485:Large Large Cardinals   Harvey Friedman
• [FOM] three upcoming talks   Harvey Friedman
• [FOM] Kripke's outline of a theory of truth   Richard Heck
• [FOM] iterative conception/cumulative hierarchy   Richard Heck
• [FOM] f.o.m. documentary 1   Abolfazl Karimi
• [FOM] Kripke's outline of a theory of truth   Aatu Koskensilta
• [FOM] f.o.m. documentary 2   Adam Lesnikowski
• [FOM] f.o.m. documentary 2   Margaret MacDougall
• [FOM] f.o.m. documentary 2   Christopher Menzel
• [FOM] f.o.m. documentary 2   Christopher Menzel
• [FOM] iterative conception/cumulative hierarchy   Christopher Menzel
• [FOM] iterative conception/cumulative hierarchy   Christopher Menzel
• [FOM] iterative conception/cumulative hierarchy   Christopher Menzel
• [FOM] iterative conception/cumulative hierarchy   Christopher Menzel
• [FOM] iterative conception/cumulative hierarchy   Christopher Menzel
• [FOM] Call for Papers: 8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK   Erik Palmgren
• [FOM] f.o.m. documentary 2   Peter Percival
• [FOM] f.o.m. documentary 2   Vaughan Pratt
• [FOM] 481:Complementation and Incompleteness   Vaughan Pratt
• [FOM] 481:Complementation and Incompleteness   Panu Raatikainen
• [FOM] Pratt on categorical foundations   David Roberts
• [FOM] Friedman/Pratt reversed   David Roberts
• [FOM] iterative conception/cumulative hierarchy   David Roberts
• [FOM] f.o.m. documentary 1   Sam Sanders
• [FOM] FOM: What are FOM for?   Sam Sanders
• [FOM] What are foundations for?   Robert Solovay
• [FOM] f.o.m. documentary 2   Donald Stahl
• [FOM] HAI2012 (Hypercomputation and Artificial Intelligence 2012)   Apostolos Syropoulos
• [FOM] First announcement for First International Conference on Logic and Relativity: honoring István Németi's 70th birthday   Gergely Székely
• [FOM] Question on Pi-0-1 Degrees   Dmytro Taranovsky
• [FOM] Definability and Natural Sets of Real Numbers   Dmytro Taranovsky
• [FOM] Determinacy and Sequences of Turing Degrees   Dmytro Taranovsky
• [FOM] Measures on Arbitrary Sets of Reals   Dmytro Taranovsky
• [FOM] iterative conception/cumulative hierarchy   Nik Weaver
• [FOM] iterative conception/cumulative hierarchy   Nik Weaver
• [FOM] iterative conception/cumulative hierarchy   Nik Weaver
• [FOM] iterative conception/cumulative hierarchy   Nik Weaver
• [FOM] iterative conception/cumulative hierarchy   Nik Weaver
• [FOM] job opportunity (tenure track) at Ghent University   Andreas Weiermann
• [FOM] The Reasoner 6(3) available for download   Jon Williamson
• [FOM] iterative conception/cumulative hierarchy   MartDowd at aol.com
• [FOM] iterative conception/cumulative hierarchy   d_obrien
• [FOM] iterative conception/cumulative hierarchy   T.Forster at dpmms.cam.ac.uk
• [FOM] iterative conception/cumulative hierarchy   T.Forster at dpmms.cam.ac.uk
• [FOM] CfPs in the area of History and Philosophy of Computing   gprimiero at libero.it
• [FOM] Classification theory of abstract elementary classes by Shelah   pax0 at seznam.cz
• [FOM] Classification theory of abstract elementary classes by Shelah   pax0 at seznam.cz
• [FOM] MFPS 28: paper submission deadline extended by one week   U.Berger at swansea.ac.uk
• [FOM] iterative conception/cumulative hierarchy   kremer at uchicago.edu
• [FOM] iterative conception/cumulative hierarchy   kremer at uchicago.edu
• [FOM] iterative conception/cumulative hierarchy   kremer at uchicago.edu
• [FOM] iterative conception/cumulative hierarchy   kremer at uchicago.edu

Last message date: Wed Feb 29 21:04:43 EST 2012
Archived on: Fri Mar 2 21:16:23 EST 2012

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...