Question

Persistency on formulas in Kripke models

score 100 · Answer 1 · 2026-03-25 04:18:44

100

Views

Persistency on formulas in Kripke models

Published on 25 Mar 2026 - 4:18

score 395 · Answer 2 · 2015-03-29 09:52:27

395

Views

Constructing the Integers from the Naturals

Published on 29 Mar 2015 - 9:52

score 710 · Answer 3 · 2015-04-14 17:48:56

710

Views

Can I define a bounded sequence whose Banach limit is not unique?

Published on 14 Apr 2015 - 17:48

score 12.7k · Answer 4 · 2026-03-26 04:32:47

12.7k

Views

Difference between proof of negation and proof by contradiction

Published on 26 Mar 2026 - 4:32

score 501 · Answer 5 · 2026-03-26 04:34:55

501

Views

Intuitionistically, are these inequivalent? $P \rightarrow Q,\; \neg Q \rightarrow \neg P,\; P \wedge \neg Q \rightarrow \bot,\; \neg P \vee Q$

Published on 26 Mar 2026 - 4:34

score 786 · Answer 6 · 2015-05-24 22:08:09

786

Views

Explicit homeomorphism between open and closed rational intervals?

Published on 24 May 2015 - 22:08

score 841 · Answer 7 · 2015-06-04 06:34:41

841

Views

Limits and Series in Smooth Infinitesimal Analysis

Published on 04 Jun 2015 - 6:34

score 1.6k · Answer 8 · 2026-03-26 06:06:55

1.6k

Views

Constructive proof of the disjunctive syllogism in Natural Deduction for Intuitionistic Logic

Published on 26 Mar 2026 - 6:06

score 116 · Answer 9 · 2015-06-11 14:09:01

116

Views

Proving that $\alpha\approx|\alpha|$ is not constructive

Published on 11 Jun 2015 - 14:09

score 280 · Answer 10 · 2015-06-12 17:14:38

280

Views

Quantifier-free induction and comparison with $\sqrt{2}$

Published on 12 Jun 2015 - 17:14

score 86 · Answer 11 · 2015-07-21 18:26:17

86

Views

Are there sets $S\subseteq\Bbb N$ which are provably non-empty, but we don't know what is $\min S$?

Published on 21 Jul 2015 - 18:26

score 5.2k · Answer 12 · 2015-07-23 02:00:08

5.2k

Views

Why can't you prove the law of the excluded middle in intuitionistic logic (for layman)?

Published on 23 Jul 2015 - 2:00

score 80 · Answer 13 · 2015-08-05 05:22:19

80

Views

Numerical integration of functions over computable Cauchy sequences

Published on 05 Aug 2015 - 5:22

score 111 · Answer 14 · 2015-08-18 16:50:44

111

Views

What is a Cauchy sequence of definable reals whose limit is undefinable?

Published on 18 Aug 2015 - 16:50

score 325 · Answer 15 · 2015-08-28 11:32:00

325

Views

Question about Lemma (2.3) in Constructive Analysis, Bishop and Bridges

Published on 28 Aug 2015 - 11:32

List Question

Persistency on formulas in Kripke models

Constructing the Integers from the Naturals

Can I define a bounded sequence whose Banach limit is not unique?

Difference between proof of negation and proof by contradiction

Intuitionistically, are these inequivalent? $P \rightarrow Q,\; \neg Q \rightarrow \neg P,\; P \wedge \neg Q \rightarrow \bot,\; \neg P \vee Q$

Explicit homeomorphism between open and closed rational intervals?

Limits and Series in Smooth Infinitesimal Analysis

Constructive proof of the disjunctive syllogism in Natural Deduction for Intuitionistic Logic

Proving that $\alpha\approx|\alpha|$ is not constructive

Quantifier-free induction and comparison with $\sqrt{2}$

Are there sets $S\subseteq\Bbb N$ which are provably non-empty, but we don't know what is $\min S$?

Why can't you prove the law of the excluded middle in intuitionistic logic (for layman)?

Numerical integration of functions over computable Cauchy sequences

What is a Cauchy sequence of definable reals whose limit is undefinable?

Question about Lemma (2.3) in Constructive Analysis, Bishop and Bridges

Trending Questions

Popular # Hahtags

Popular Questions