Infinitely More
Subscribe
Sign in
Home
The Book of Infinity
A Panorama of Logic
Infinite Games
Proof and the Art
Philosophy of Mathematics
My books
Music videos
About
Latest
Top
Discussions
The Axiom of Choice
Can we choose an element from each set in a family of nonempty sets? Does every set have a well order? Is the axiom of choice arrogant overreach or does…
Jul 21
•
Joel David Hamkins
9
Share this post
The Axiom of Choice
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
2
Least upper bound principle and continuous induction
The least-upper-bound principle The subject of real analysis can be founded upon the least-upper-bound principle, a version of Dedekind completeness…
Jul 13
•
Joel David Hamkins
12
Share this post
Least upper bound principle and continuous induction
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
1
Quantifier elimination — Presburger arithmetic
The elementary theory of addition in the natural numbers admits a certain logical triviality—every assertion is equivalent to a simple combination of…
Jul 6
6
Share this post
Quantifier elimination — Presburger arithmetic
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
3
June 2024
Quantifier elimination — theory of successor
Every assertion about the structure ⟨ℕ,S,0⟩ of the natural-number successor is trivial, being equivalent to a quantifier-free assertion in this…
Jun 29
8
Share this post
Quantifier elimination — theory of successor
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
Continuity, instantaneous change, infinitesimals
How we faced the ghosts of departed quantities
Jun 22
•
Joel David Hamkins
9
Share this post
Continuity, instantaneous change, infinitesimals
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
4
Quantifier elimination — dense linear orders
In certain special theories, every assertion is equivalent to a trivial combination of atomic facts. Proving this for a given theory typically both…
Jun 15
•
Joel David Hamkins
7
Share this post
Quantifier elimination — dense linear orders
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
Equality as logical
Do we take the identity relation x = y as logically primitive? Must we?
Jun 8
•
Joel David Hamkins
5
Share this post
Equality as logical
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
11
Are the imaginary numbers real?
What are the complex numbers, really?
Jun 1
14
Share this post
Are the imaginary numbers real?
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
4
May 2024
Reference de re versus de dicto
Subtle semantical issues arise when we refer to an object or individual directly, to the thing itself, or instead under a description, which may find a…
May 25
•
Joel David Hamkins
8
Share this post
Reference de re versus de dicto
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
2
Definite descriptions
Definite descriptions, such as "the badly juggling clown," succeed when the intended individual is indeed characterized by the property. But how does…
May 18
•
Joel David Hamkins
6
Share this post
Definite descriptions
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
5
What are the real numbers, really?
The real real numbers—what are they? Must we answer?
May 12
•
Joel David Hamkins
12
Share this post
What are the real numbers, really?
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
Stipulative definitions
The logic of expanding a formal language by introducing defined terms and relations
May 5
•
Joel David Hamkins
5
Share this post
Stipulative definitions
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
Share
Copy link
Facebook
Email
Note
Other
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts