User Noam Zeilberger

29 votes

Accepted

What is the manner of inconsistency of Girard's paradox in Martin Lof type theory

answered Mar 13, 2010 at 20:55

24 votes

Has philosophy ever clarified mathematics?

answered Oct 5, 2014 at 9:32

15 votes

[solved] sequent calculus as programming language

answered Jun 27, 2010 at 8:38

13 votes

Choice vs. countable choice

answered Apr 29, 2010 at 18:06

12 votes

What is the effect of adding 1/2 to a continued fraction?

answered May 12, 2014 at 15:47

8 votes

History of deletion-contraction formula

answered May 4, 2017 at 19:17

8 votes

Relation between Metalanguage and Object Language

answered Nov 13, 2013 at 13:58

8 votes

Accepted

Exponential objects in the category of measurable spaces

answered Jul 14, 2019 at 9:05

8 votes

Is there a generalization of braided monoidal category without the isomorphism requirement?

answered Dec 18, 2022 at 13:05

7 votes

Multiplication and division by a morphism under the “inner composition” in closed monoidal categories

answered Jun 30, 2019 at 11:09

7 votes

An image of the hierarchy of algebraic structures

answered Oct 18, 2013 at 8:27

7 votes

Accepted

Detailed proof that $\circ_i$ operads are the same as operads

answered Sep 2, 2016 at 13:44

7 votes

Accepted

Conservativity of multiplicative linear logic over intuitionistic multiplicative linear logic

answered Mar 31, 2015 at 16:47

7 votes

Embedding of classical into intuitionistic linear logic

answered Apr 1, 2015 at 16:13

7 votes

Accepted

The source-side-opposite of the arrow category

answered Feb 3, 2016 at 12:11

6 votes

Do you know any good introductory resource on sequent calculus?

answered Feb 21, 2010 at 12:43

6 votes

Replacing logician-constructive with combinatorist-constructive?

answered Jun 5, 2010 at 12:34

6 votes

Accepted

Symmetric monoidal category with trivial switch morphisms

answered Jul 13, 2019 at 20:11

6 votes

Early two-author math papers

answered Jan 26, 2020 at 17:54

5 votes

Extensional theorems mostly used intensionally

answered Mar 20, 2010 at 16:53

5 votes

Condition of possibility = Co-Implication

answered Mar 31, 2011 at 7:57

5 votes

What are the algebras for the double dualization monad?

answered Aug 16, 2012 at 11:52

5 votes

Categorifications of the real numbers

answered Sep 7, 2018 at 0:43

5 votes

Writing "Semi-Formal" Proofs

answered Aug 18, 2017 at 8:13

4 votes

Accepted

Functors in Isbell duality exchange $f^a$ and $f_a$

answered Jun 13, 2018 at 8:59

4 votes

A morphism-revealing category?

answered Feb 16, 2016 at 17:02

4 votes

Which graphs embedded in surfaces have symmetries acting transitively on vertex-edge flags?

answered Apr 29, 2016 at 17:04

4 votes

Are paths in HoTT perhaps just "cost-free" paths?

answered Nov 4, 2013 at 22:09

4 votes

Intro to automatic theorem proving / logical foundations?

answered Oct 23, 2009 at 0:25

4 votes

Enumerating all inequivalent planar embeddings of a planar graph

answered Sep 16, 2023 at 9:01

Stack Exchange Network

45 Answers

What is the manner of inconsistency of Girard's paradox in Martin Lof type theory

Has philosophy ever clarified mathematics?

[solved] sequent calculus as programming language

Choice vs. countable choice

What is the effect of adding 1/2 to a continued fraction?

History of deletion-contraction formula

Relation between Metalanguage and Object Language

Exponential objects in the category of measurable spaces

Is there a generalization of braided monoidal category without the isomorphism requirement?

Multiplication and division by a morphism under the “inner composition” in closed monoidal categories

An image of the hierarchy of algebraic structures

Detailed proof that $\circ_i$ operads are the same as operads

Conservativity of multiplicative linear logic over intuitionistic multiplicative linear logic

Embedding of classical into intuitionistic linear logic

The source-side-opposite of the arrow category

Do you know any good introductory resource on sequent calculus?

Replacing logician-constructive with combinatorist-constructive?

Symmetric monoidal category with trivial switch morphisms

Early two-author math papers

Extensional theorems mostly used intensionally

Condition of possibility = Co-Implication

What are the algebras for the double dualization monad?

Categorifications of the real numbers

Writing "Semi-Formal" Proofs

Functors in Isbell duality exchange $f^a$ and $f_a$

A morphism-revealing category?

Which graphs embedded in surfaces have symmetries acting transitively on vertex-edge flags?

Are paths in HoTT perhaps just "cost-free" paths?

Intro to automatic theorem proving / logical foundations?

Enumerating all inequivalent planar embeddings of a planar graph