User Joel David Hamkins

1 vote

Absoluteness of definability

answered Feb 18, 2014 at 14:45

1 vote

The existence of an algebra whose set of identities and first order theory are equivalent

answered Jan 10, 2014 at 14:56

1 vote

Accepted

A question on cofinite topology.

answered Apr 23, 2013 at 13:04

1 vote

Accepted

Closure-complement-union: countable space, finite seed, infinite family, space unique?

answered Apr 7, 2013 at 18:08

1 vote

If M is an inner model containing all the reals, might every game in M be determined in V?

answered Apr 3, 2013 at 3:43

1 vote

Closure of one relation w.r.t other

answered May 25, 2013 at 2:22

1 vote

Accepted

A question on collection and replacement in Sigma(n)-KP

answered Jul 19, 2013 at 16:25

1 vote

Size-limited oracles

answered Feb 26, 2013 at 15:11

1 vote

Accepted

Stationary many subsets of $\kappa^+$ whose order type is a cardinal and whose intersection with $\kappa$ is an inaccessible cardinal

answered Mar 21, 2013 at 1:16

1 vote

galois correspondence for hyperimaginaries

answered Dec 8, 2012 at 23:02

1 vote

Minimal (semi)lattice containing a given poset

answered Nov 9, 2012 at 3:16

1 vote

Existential-universal quadratic arithmetic

answered Oct 17, 2012 at 13:35

1 vote

iterating ultrapowers of C*-algebras

answered May 2, 2012 at 0:15

1 vote

What classes of functions are closed under all rescalings?

answered Apr 23, 2012 at 11:49

0 votes

Indices of r.e. sets

answered Mar 15, 2013 at 17:45

0 votes

Accepted

An axiomatic system with a set of constants that form a complete ordered field

answered Nov 14, 2014 at 20:42

0 votes

Are sums of 0-1 Pareto efficient vectors Pareto efficient?

answered Oct 23, 2014 at 2:03

0 votes

Accepted

To which of the known definitions of 'finite set' this graphical definition is equivalent?

answered Dec 31, 2017 at 16:50

0 votes

function application

answered Apr 12, 2018 at 23:26

0 votes

An inequality concerning formulas and Boolean functions

answered Mar 27, 2017 at 0:34

0 votes

Accepted

Quantifier elimination, subgroups of modules

answered Apr 7, 2017 at 11:08

0 votes

Is there any name in the literature of functions satisfying this order property?

answered Aug 24, 2016 at 12:57

0 votes

Accepted

Proving satisfiability in modal logic

answered May 16, 2016 at 15:02

Stack Exchange Network

1,913 Answers

Absoluteness of definability

The existence of an algebra whose set of identities and first order theory are equivalent

A question on cofinite topology.

Closure-complement-union: countable space, finite seed, infinite family, space unique?

If M is an inner model containing all the reals, might every game in M be determined in V?

Closure of one relation w.r.t other

A question on collection and replacement in Sigma(n)-KP

Size-limited oracles

Stationary many subsets of $\kappa^+$ whose order type is a cardinal and whose intersection with $\kappa$ is an inaccessible cardinal

galois correspondence for hyperimaginaries

Minimal (semi)lattice containing a given poset

Existential-universal quadratic arithmetic

iterating ultrapowers of C*-algebras

What classes of functions are closed under all rescalings?

Indices of r.e. sets

An axiomatic system with a set of constants that form a complete ordered field

Are sums of 0-1 Pareto efficient vectors Pareto efficient?

To which of the known definitions of 'finite set' this graphical definition is equivalent?

function application

An inequality concerning formulas and Boolean functions

Quantifier elimination, subgroups of modules

Is there any name in the literature of functions satisfying this order property?

Proving satisfiability in modal logic