Top network posts

• 19 Categories of recursive functions
• 12 A continuous notion of realizability
• 11 Au revoir, law of excluded middle?
• 8 Is every context free language equivalent to one whose grammar has only one non-terminal symbol?
• 8 What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?
• 7 Degree choice -- Math or physics
• 7 Small categories and completeness
• View more network posts →