Question

What is a selection protocol for choosing from n teams so all teams play k other teams?

score 66 · Answer 1 · 2021-09-28 14:15:16

66

Views

What is a selection protocol for choosing from n teams so all teams play k other teams?

Published on 28 Sep 2021 - 14:15

score 412 · Answer 2 · 2021-10-06 15:28:11

412

Views

Why do so few authors package up the definition of a limit into a function?

Published on 06 Oct 2021 - 15:28

score 243 · Answer 3 · 2021-10-11 07:42:39

243

Views

Is there a precise sense in which ZF is constructive

Published on 11 Oct 2021 - 7:42

score 140 · Answer 4 · 2021-10-20 13:55:02

140

Views

Generalization of Lawvere's fixed point for a bijection between $A$ and $(A\to B)\to B$

Published on 20 Oct 2021 - 13:55

score 57 · Answer 5 · 2021-10-23 16:07:10

57

Views

Gaps between intutionistic and classical arithmetic

Published on 23 Oct 2021 - 16:07

score 386 · Answer 6 · 2021-10-23 19:47:38

386

Views

Is there a definition of finite sets, such that it can be used to constructively prove that a subset and a quotient set are finite?

Published on 23 Oct 2021 - 19:47

score 192 · Answer 7 · 2026-03-27 00:03:42

192

Views

Is the Godel sentence considered true intuitionistically?

Published on 27 Mar 2026 - 0:03

score 110 · Answer 8 · 2026-03-27 00:05:24

110

Views

How to understand the Definitions of existential and disjunction of intuitionistic logic.

Published on 27 Mar 2026 - 0:05

score 185 · Answer 9 · 2021-11-04 11:39:09

185

Views

Topoi as models of constructive mathematics

Published on 04 Nov 2021 - 11:39

score 193 · Answer 10 · 2021-11-09 07:35:10

193

Views

How is the axiom of choice used (or not used) in the proof of the Lesbegue covering theorem in Andrej Bauer's paper in constructive mathematics?

Published on 09 Nov 2021 - 7:35

score 255 · Answer 11 · 2021-11-13 08:11:06

255

Views

Ordinary mathematical uses of Axiom K

Published on 13 Nov 2021 - 8:11

score 85 · Answer 12 · 2026-03-27 00:02:12

85

Views

¬(A∨¬A)⊢¬B in paracomplete systems

Published on 27 Mar 2026 - 0:02

score 256 · Answer 13 · 2026-03-27 00:01:39

256

Views

Learning roadmap for constructive mathematics

Published on 27 Mar 2026 - 0:01

score 477 · Answer 14 · 2021-12-25 08:41:34

477

Views

Maximal number of intersections within a bipartite graph

Published on 25 Dec 2021 - 8:41

score 110 · Answer 15 · 2021-12-27 21:22:01

110

Views

Defining arbitrary join on the set of complete ideals of a Heyting Algebra

Published on 27 Dec 2021 - 21:22

List Question

What is a selection protocol for choosing from n teams so all teams play k other teams?

Why do so few authors package up the definition of a limit into a function?

Is there a precise sense in which ZF is constructive

Generalization of Lawvere's fixed point for a bijection between $A$ and $(A\to B)\to B$

Gaps between intutionistic and classical arithmetic

Is there a definition of finite sets, such that it can be used to constructively prove that a subset and a quotient set are finite?

Is the Godel sentence considered true intuitionistically?

How to understand the Definitions of existential and disjunction of intuitionistic logic.

Topoi as models of constructive mathematics

How is the axiom of choice used (or not used) in the proof of the Lesbegue covering theorem in Andrej Bauer's paper in constructive mathematics?

Ordinary mathematical uses of Axiom K

¬(A∨¬A)⊢¬B in paracomplete systems

Learning roadmap for constructive mathematics

Maximal number of intersections within a bipartite graph

Defining arbitrary join on the set of complete ideals of a Heyting Algebra

Trending Questions

Popular # Hahtags

Popular Questions