logic

• 2019-02-23T16:16:25Z: How can basic arithmetic make a self-referential sentence?
• 2017-10-08T22:27:03Z: Taking Propositions as Types Seriously
• 2011-03-07T03:59:26Z: What Happens When Mathematicians Cannot Do Induction Correctly?
• 2010-01-07T03:59:02Z: Constructive Classical Completeness
• 2009-11-01T23:12:01Z: Believing In-Consistency
• 2009-02-18T02:50:48Z: James R Meyer vs Kurt Gödel
• 2006-09-04T17:54:00Z: Constructive Logic Is an Extension of Classical Logic
• 2006-08-01T13:42:00Z: C.e. sets
• 2006-05-08T17:40:00Z: ZFC + Woodin Cardinals Consistent
• 2006-04-30T11:16:00Z: Length of Proofs
• 2006-03-15T09:44:00Z: Putting the Logical in Topological
• 2005-12-16T12:52:00Z: Penguin Logic
• 2005-06-04T14:38:00Z: Intensional vs Extensional Choice