en 1answer
Joel David Hamkins's questions - English 1answer
73 questions.
Questions
Answers
Does every model of ZF-foundation have an extension, with no new well-founded sets, where every set is bijective with a well-founded set?
14
1
answers,
1
favourites,
485
views
set-theory
lo.logic
axiom-of-choice
mathematical-philosophy
The Sudoku game: Solver-Spoiler variation
9
3
answers,
2
favourites,
676
views
combinatorial-game-theory
sudoku
infinite-games
The arithmetic progression game and its variations: can you find optimal play?
19
3
answers,
7
favourites,
453
views
nt.number-theory
co.combinatorics
combinatorial-game-theory
infinite-games
Is there a universal countable group? (a countable group containing every countable group as a subgroup)
35
4
answers,
16
favourites,
2.861
views
gr.group-theory
Is the ultraproduct concept fundamentally category-theoretic?
47
7
answers,
23
favourites,
3.656
views
ct.category-theory
lo.logic
model-theory
set-theory
How big is the smallest nontrivial partition of the unit interval into closed disjoint closed sets? [duplicate]
5
0
answers,
0
favourites,
106
views
set-theory
gn.general-topology
Which graphs are Cayley graphs?
61
6
answers,
30
favourites,
6.193
views
gr.group-theory
graph-theory
set-theory
computability-theory
cayley-graphs
What are the most attractive Turing undecidable problems in mathematics?
110
44
answers,
98
favourites,
26.055
views
computability-theory
big-list
examples
lo.logic
Is the axiom $\Diamond\Box\varphi\to\Box\Diamond\varphi$ in c.c.c. forcing potentialism equivalent to the productivity of c.c.c. forcing?
22
1
answers,
7
favourites,
707
views
set-theory
lo.logic
forcing
modal-logic
Does every set $X$ have a topology for which the only continuous self-surjection is the identity map?
15
3
answers,
2
favourites,
602
views
set-theory
gn.general-topology
For a computable binary tree, is having no computable branches the same as having no probabilistic algorithm for producing branches?
17
2
answers,
5
favourites,
738
views
lo.logic
computability-theory
When is a game tree the game tree of a board game?
17
5
answers,
6
favourites,
837
views
game-theory
combinatorial-game-theory
Finding a PA cut in a nonstandard model of PA
7
1
answers,
2
favourites,
402
views
lo.logic
model-theory
models-of-pa
Do all countable $\omega$-standard models of ZF with an amorphous set have the same inclusion relation up to isomorphism?
15
0
answers,
0
favourites,
417
views
lo.logic
set-theory
axiom-of-choice
Can there be an almost-special not-fully-special Aronszajn tree?
13
2
answers,
5
favourites,
764
views
set-theory
forcing
lo.logic
What is the spectrum of possible cofinality types for cuts in an ordered field? Or in a model of the hyperreals? Or in a nonstandard model of arithmetic?
21
6
answers,
6
favourites,
1.034
views
nonstandard-analysis
set-theory
lo.logic
models-of-pa
model-theory
Can the symmetric groups on sets of different cardinalities be isomorphic?
48
5
answers,
12
favourites,
3.536
views
gr.group-theory
set-theory
Does ZF+AD settle the original Suslin hypothesis?
24
3
answers,
7
favourites,
1.406
views
lo.logic
set-theory
Is $n$ uniformly computable from an oracle for the $n^{\rm th}$ jump $0^{(n)}$?
4
1
answers,
0
favourites,
205
views
lo.logic
computability-theory
Can $V\neq\text{HOD}$ if every $\Sigma_2$-definable set has an ordinal-definable element?
7
1
answers,
3
favourites,
528
views
lo.logic
set-theory
definability
Does War have infinite expected length?
66
10
answers,
11
favourites,
14.385
views
co.combinatorics
pr.probability
recreational-mathematics
game-theory
Given a polynomial-time algorithm, can we compute an explicit polynomial time bound just from the program?
28
3
answers,
6
favourites,
1.830
views
computability-theory
computational-complexity
lo.logic
np
Are the definable hyper-reals, using quantifiers only over the standard reals and natural numbers, the same as the algebraic numbers?
8
1
answers,
0
favourites,
341
views
lo.logic
model-theory
nonstandard-analysis
definability
Is there a dense subset of the real plane with all pairwise distances rational?
83
5
answers,
29
favourites,
7.167
views
discrete-geometry
How should the Math Subject Classification (MSC) be revised or improved?
17
9
answers,
6
favourites,
2.506
views
msc
soft-question
big-list
Is the sphere the only surface all of whose projections are circles? Or: Can we deduce a spherical Earth by observing that its shadows on the Moon are always circular?
70
4
answers,
35
favourites,
7.387
views
geometry
mg.metric-geometry
What is the optimal size in the finite axiom of symmetry?
10
3
answers,
1
favourites,
637
views
co.combinatorics
Is there a class of mathematical structures with non-isomorphic natural representations as a standard Borel space?
14
1
answers,
5
favourites,
563
views
lo.logic
set-theory
measure-theory
descriptive-set-theory
mathematical-philosophy
What is the large cardinal strength of the assertion that every $\kappa$-complete filter on $\kappa$ extends to a $\kappa$-complete ultrafilter?
17
1
answers,
2
favourites,
555
views
lo.logic
set-theory
large-cardinals
Does the exact pair phenomenon for partial orders occur in your area of mathematics?
28
5
answers,
9
favourites,
949
views
lo.logic
order-theory
computability-theory
1
2
3
Language
English
French
Spanish
German
Portuguese
Turkish
Vietnamese
Malay
Italian
Dutch
Danish
Indonesian
Norwegian
Filipino
Polish
Finnish
Swedish
Russian
Japanese
Korean
Hindi
Thai
Chinese
Greek
Ukrainian
Popular Tags
android
android-ndk
android-studio
firebase
google-play-games
kotlin
android-things
google-maps
google-play
google-play-services
admob
intellij-idea
android-tv
servicestack-text
pycharm
google-chrome
go
android-ui
google-cloud-storage
google-drive-android-api
google-api-java-client
google-oauth
elasticsearch
openthread
google-drive-api
google-drive-sdk
sql-server
azure
azure-functions
phpstorm
webstorm
android-instant-apps
google-plus
google-bigquery
google-app-engine
google-cloud-platform
google-cloud-datalab
google-cloud-datastore
google-api-nodejs-client
gcp
google-cloud-dataproc
google-compute-engine
google-chrome-extension
google-cloud-dataflow
actions-on-google
youtube-api
google-analytics-api
google-api-js-client
google-tv
artifactory
google-maps-api-3
azure-active-directory
jetty
google-apps-script
google-analytics
google-places-api
google-chrome-devtools
google-api-python-client
google-api-php-client
google-api-dotnet-client
google-drive-realtime-api
google-slides-api
google-custom-search
gmail-api
google-cloud-endpoints
google-tag-manager
vs-team-services
resharper
azure-documentdb
aspose
google-cloud-messaging
teamcity
rider
rubymine
google-cloud-pubsub
bintray
jcenter
google-assistant-sdk
google-cloud-sql
google-api-ruby-client
google-search
kubernetes
google-translate
google-fusion-tables
google-geocoding-api
google-chrome-app
google-container-engine
gcloud-cli
gce
google-hadoop
azure-virtual-machine
azure-web-sites
clion
google-cloud-spanner
google-maps-android-api-2
google-cloud-bigtable
gcloud-node
google-prediction
gcloud-python
nest-api
sql-server-2017
dart
flutter
google-nativeclient
servicestack
google-cloud-dns
vsts
google-apps-marketplace
google-openid
google-classroom
google-cloud-kms
google-chrome-arc
google-api-objc-client
google-fit
google-search-appliance
google-earth-plugin
google-static-maps
google-latitude
eddystone
google-beacon-platform
azure-webjobs
azure-table-storage
jfrog-mission-control
google-project-tango
google-cast
android-pay
azure-sql-database
google-cloud-trace
appcode
google-glass
google-gdk
google-mirror-api
android-framework
azure-cosmosdb
newrelic-platform
youtrack
upsource
ormlite-servicestack
azure-storage
google-cloud-platform
google-app-engine
google-compute-engine
mod-pagespeed
github
servicestack-auth
servicestack-autoquery
autoquery-servicestack
google-api-cpp-client
aspose-slides
prior-art-request
rejected
pocodynamo