User Mohammad tahmasbi zade

6 votes

1 answer

301 views

How to construct a nonzero real number between two given nonzero real numbers?

asked Apr 23 at 3:34

3 votes

0 answers

50 views

In RCA0, Prove that for all n, fⁿ(i) exists

asked Jun 28, 2022 at 14:27

2 votes

2 answers

189 views

Finding an irrational number between two given irrational numbers constructively

asked Apr 2 at 2:10

2 votes

0 answers

57 views

A Peano system with an infinite initial segment

asked Jul 3, 2022 at 10:53

1 vote

0 answers

40 views

Peano categoricity is equivalent to weak konig lemma

asked Jun 15, 2022 at 14:13

1 vote

0 answers

114 views

What is the importance of Peano categoricity?

asked Jun 16, 2022 at 14:09

0 votes

1 answer

63 views

Does Z₂ Prove the iteration theorem?

asked Jun 23, 2022 at 11:15

0 votes

0 answers

61 views

The set of all finite sequences in RCA0

asked Jul 1, 2022 at 10:29

0 votes

0 answers

135 views

A tree with a lexicographic order is a linear ordered structure

asked Jul 7, 2022 at 11:54

Stack Exchange Network

9 Questions

How to construct a nonzero real number between two given nonzero real numbers?

In RCA0, Prove that for all n, fⁿ(i) exists

Finding an irrational number between two given irrational numbers constructively

A Peano system with an infinite initial segment

Peano categoricity is equivalent to weak konig lemma

What is the importance of Peano categoricity?

Does Z₂ Prove the iteration theorem?

The set of all finite sequences in RCA0

A tree with a lexicographic order is a linear ordered structure