December 2010 Archives by author
Starting: Wed Dec 1 09:12:54 EDT 2010
Ending: Fri Dec 31 09:10:23 EDT 2010
Messages: 74
- [FOM] Interpretations
Marc Alcobé
- [FOM] From Compactness to Completeness
G. Aldo Antonelli
- [FOM] From Compactness to Completeness
G. Aldo Antonelli
- [FOM] Compactness and (weak) completeness
G. Aldo Antonelli
- [FOM] From Compactness to Completeness
David Auerbach
- [FOM] Second CfP: Special Issue APAL on "Classical Logic and Computation"
Steffen van Bakel
- [FOM] Unique readability-- history
John Baldwin
- [FOM] From Compactness to Completeness
Alex Blum
- [FOM] Cardinals and Choice
William Boshuck
- [FOM] CiE Newsletter No.41, December 13, 2010
Olivier Bournez
- [FOM] New book
Torben Brauner
- [FOM] From Compactness to Completeness
John Burgess
- [FOM] PSI'11: 3d Call for Papers
PSI2011 Conference
- [FOM] [CiE] CiE 2011 - 2nd call for papers: Deadline 14 January 2011
S Barry Cooper
- [FOM] TAMC 2011, Tokyo, Japan - SECOND CALL FOR PAPERS
S Barry Cooper
- [FOM] query about ZFC + (a global choice function)
Martin Davis
- [FOM] A few observations on probability, cardinality, and the continuum
Tom Dunion
- [FOM] interpretations
Ali Enayat
- [FOM] Global Choice
Ali Enayat
- [FOM] Cardinals and Choice
Ali Enayat
- [FOM] BW7 - Paradoxes of truth and denotation - Call for Papers
JOSE MARTINEZ FERNANDEZ
- [FOM] Quine's logic
Thomas Forster
- [FOM] Gamma_0
Thomas Forster
- [FOM] Interpretations
Thomas Forster
- [FOM] signature
Thomas Forster
- [FOM] 448: Naturalness/PA Independence
Harvey Friedman
- [FOM] 449: Maximal Sets and Large Cardinals I
Harvey Friedman
- [FOM] Grothendieck fdns, query on weak set theories
Harvey Friedman
- [FOM] 450: Maximal Sets and Large Cardinals II
Harvey Friedman
- [FOM] Grothendieck fdns, query on weak set theories
Harvey Friedman
- [FOM] Numbered Postings 1-449
Harvey Friedman
- [FOM] 451: Rational Graphs and Large Cardinals I
Harvey Friedman
- [FOM] ICLA 2011: 4th Indian Conference on logic and its applications, New Delhi, Jan 9-11, 2011: Call for Participation
Sujata Ghosh
- [FOM] Logicism Today: reminder, with a correction
Brice Halimi
- [FOM] Cardinals and Choice
Richard Heck
- [FOM] Unique readability-- history
Richard Heck
- [FOM] FOM: Quine's Logic
Irving
- [FOM] query about ZFC + (a global choice function)
Aatu Koskensilta
- [FOM] LICS 2011 - Call for Workshop Proposals (extended deadline)
Stephan Kreutzer
- [FOM] LICS 2011 Call for Papers
Stephan Kreutzer
- [FOM] query regarding omega-completeness of ZFC for Th(L(R))
Paul Larson
- [FOM] Perfect Powers
A. Mani
- [FOM] query regarding omega-completeness of ZFC for Th(L(R))
Rupert McCallum
- [FOM] query about Woodin's 1983 proof of AD^L(R)
Rupert McCallum
- [FOM] Grothendieck fdns, query on weak set theories
Colin McLarty
- [FOM] Grothendieck fdns, classes in weak set theories
Colin McLarty
- [FOM] impredicative definitions/paper announcement
Daniel Mehkeri
- [FOM] Perfect Powers
Vaughan Pratt
- [FOM] CfP: FCT 2011 - Fundamentals of Computer Theory, 18th International Symposium
Cristian Prisacariu
- [FOM] WoLLIC 2011 - CFP - DEADLINE APPROACHING (Jan 1, 2011)
Ruy de Queiroz
- [FOM] From Compactness to Completeness
Panu Raatikainen
- [FOM] Reducibility and relative consistency
Panu Raatikainen
- [FOM] impredicative definitions/paper announcement
Walt Read
- [FOM] NPR
Schmerl, James
- [FOM] CADE-23: Second Call for Papers
Carsten Schuermann
- [FOM] From Compactness to Completeness
Stephen G Simpson
- [FOM] From Compactness to Completeness
Stephen G Simpson
- [FOM] From Compactness to Completeness
Stephen G Simpson
- [FOM] TABLEAUX 2011: Second Call for Papers
Viorica Sofronie-Stokkermans
- [FOM] Grothendieck fdns, query on weak set theories
Robert Solovay
- [FOM] Cardinals and Choice
Robert Solovay
- [FOM] CADE 2011: last call for workshops, tutorials
Aaron Stump
- [FOM] Gamma_0
T.Forster at dpmms.cam.ac.uk
- [FOM] Cardinals and Choice
T.Forster at dpmms.cam.ac.uk
- [FOM] From Compactness to Completeness
T.Forster at dpmms.cam.ac.uk
- [FOM] From Compactness to Completeness
T.Forster at dpmms.cam.ac.uk
- [FOM] IJCAI-11 Workshop ARCOE - First Call for Papers
Ivan José Varzinczak
- [FOM] Reducibility and relative consistency
Albert Visser
- [FOM] Gamma_0
Nik Weaver
- [FOM] Quine's logic
Max Weiss
- [FOM] The Reasoner 5(1) available for download
Jon Williamson
- [FOM] Compactness, completeness and the axiom of choice
jean-yves beziau
- [FOM] LATA 2011: final call for papers
carlos.martin at urv.cat
- [FOM] A few observations on probability, cardinality, and the continuum
joeshipman at aol.com
Last message date:
Fri Dec 31 09:10:23 EDT 2010
Archived on: Fri Dec 31 18:34:28 EDT 2010
This archive was generated by
Pipermail 0.09 (Mailman edition).