Juan Atacama

Member for 1 year, 7 months
Last seen this week

Summary

Reputation

307

307
174
41

Mar
Jun
Sep
Dec

Top tag

metamathematics

Next privilege

500 Rep.

Access review queues

Badges

1

10

Newest

Teacher

Next badge

4/5

Curious

Impact

~2k

people reached

0

posts edited

0

helpful flags

22

votes cast

Questions

11

Is every recursively axiomatizable and consistent theory interpretable in the true arithmetic (TA)?

Aug 27

9

Is it possible to prove that any two points of a convex complete metric space are connected by some metric segment without the axiom of choice?

Aug 19

6

Is the statement that every convex complete metric space has midpoints equivalent to the axiom of dependent choice (DC)?

Aug 29

4

Are the relations of being homeomorphic or being homotopy equivalent on the compact polyhedra definable in the structure of the natural numbers?

May 2, 2023

Answers

1

Essential reads in the philosophy of mathematics and set theory

Sep 8

Tags

View all 10 tags

lo.logic

0

Score

3

posts

metamathematics

0

Score

3

posts

set-theory

0

Score

3

posts

reference-request

0

Score

2

posts

metric-spaces

0

Score

2

posts

Reputation

This user has no recent positive reputation changes.

Badges

View all badges

This user doesn’t have any gold badges yet.

1

silver badge

Yearling

Aug 28

10

bronze badges

Peer Pressure

Aug 31
Critic

Aug 30
Commentator

Aug 29

Accounts

307
1
10

Active bounties (0)

This user has no active bounties

Votes cast

20

upvotes

2

downvotes

5

question votes

17

answer votes