List questions from constructive-mathematics

Published on 01 Jan 2022 - 2:37

299

Views

Is there a decision procedure for monadic intuitionist first-order logic?

Published on 27 Mar 2026 - 0:02

474

Views

Impredicative Definitions (CZF)

Published on 06 Jan 2022 - 0:58

97

Views

Order Properties of Constructive Reals (Bishop)

Published on 07 Jan 2022 - 5:45

55

Views

Order relation on the geometric line as defined in Kock's synthetic differential geometry

Published on 24 Mar 2026 - 4:46

134

Views

Constructive IVT: Question about initial step

Published on 14 Jan 2022 - 1:27

197

Views

Type Theory: we cannot prove double negation, but can we prove it is unprovable?

Published on 26 Mar 2026 - 22:14

379

Views

Existence elimination in Lean 3

Published on 25 Mar 2026 - 14:20

379

Views

Proof intuition of Positive Linear Operators are Bounded.

Published on 09 Feb 2022 - 5:31

402

Views

Externalizing A Concrete Application of Double Negation Toposes

Published on 23 Feb 2026 - 19:19

64

Views

Instantaneously changing non differentiable function

Published on 27 Feb 2022 - 7:29

43

Views

Equal subsquare sums

Published on 02 Mar 2022 - 19:33

224

Views

Is there a constructive presentation of the Henstock-Kurzweil integral?

Published on 25 Mar 2026 - 9:49

188

Views

Real Numbers Cannot be Constructed: Question about Constructive Mathematics

Published on 14 Mar 2022 - 1:36

198

Views

Using generating functions to construct or solve differential equations

Published on 26 Mar 2026 - 22:19

List Question

Prove that a construction exists: is this a constructive proof or existential proof?

Is there a decision procedure for monadic intuitionist first-order logic?

Impredicative Definitions (CZF)

Order Properties of Constructive Reals (Bishop)

Order relation on the geometric line as defined in Kock's synthetic differential geometry

Constructive IVT: Question about initial step

Type Theory: we cannot prove double negation, but can we prove it is unprovable?

Existence elimination in Lean 3

Proof intuition of Positive Linear Operators are Bounded.

Externalizing A Concrete Application of Double Negation Toposes

Instantaneously changing non differentiable function

Equal subsquare sums

Is there a constructive presentation of the Henstock-Kurzweil integral?

Real Numbers Cannot be Constructed: Question about Constructive Mathematics

Using generating functions to construct or solve differential equations

Trending Questions

Popular # Hahtags

Popular Questions