Joel David Hamkins's user avatar
Joel David Hamkins's user avatar
Joel David Hamkins's user avatar
Joel David Hamkins
  • Member for 14 years, 4 months
  • Last seen this week
3 votes
Accepted

Is following function a metric on the set of isomorphism classes of graphs with countably many vertices?

3 votes

Where did this presentation of Gödel's theorem appear?

3 votes

Russell's definite description and vacuous truth: a puzzle?

3 votes
Accepted

Extending a partially defined metric on a metrizable space

3 votes
Accepted

About external automorphism on non-well founded model of Finite ZF?

3 votes

Church-Turing tests and quasi-computational models

3 votes
Accepted

When is this topology compatible with the partial ordering?

3 votes
Accepted

Extending almost disjoint family in a maximal set

3 votes

Boolean prime ideal Theorem and the existence of nonmeasurable sets

3 votes

Definable closure in class-sized expansions of o-minimal groups

3 votes
Accepted

Can there be an effectively generated consistent theory that extends PA and be consistently extended by its own completeness and consistency?

3 votes

Does $(\omega, E)$ with the cycle condition have an $\omega$-path?

3 votes
Accepted

Does adding definability axiom expressed in infinitary language to ZF, let all models be pointwise definable?

3 votes

Viewing parts of $\mathbb{V}$ 'from the top down' or 'from the bottom up'

3 votes

What kind of arithmetic information does the ring of integers in an infinite extension carry?

3 votes

Strict and non-strict orderings

3 votes

Thick refinements of covers

3 votes
Accepted

Can we have a nearily unrestricted class comprehension over predicates that do not mention the class membership symbol

3 votes

Time functions of non-deterministic Turing machines (a better question)

3 votes

Another question concerning p and t

3 votes

What happens if I replace a *unique natural number* that form a commutative Monoid with *the set of integers* Z that form a commutative Ring?

3 votes

Combinatorially defined effectively closed set

3 votes

Interpreting proper elementarily equivalent end extensions?

3 votes
Accepted

A question about the "information-content" of a very simple type of Turing machine.

3 votes

Examples of two different descriptions of a set that are not obviously equivalent?

3 votes
Accepted

Constructing a "Scattered" function over the reals

3 votes
Accepted

chains and countability

3 votes
Accepted

FOL->ZF->HOL (Interpretation)

3 votes
Accepted

Symmetric Proof that Product is Well-Founded

3 votes

Preservation of properties under countable-support iterations

1
51 52
53
54 55
61