Noah Schweber's user avatar
Noah Schweber's user avatar
Noah Schweber's user avatar
Noah Schweber
  • Member for 13 years, 8 months
  • Last seen this week

227 Offered bounties for 45,300 reputation

46 votes
0 answers
2k views
+50

Mikhalkin's tropical schemes versus Durov's tropical schemes

6 votes
0 answers
217 views
+100

Do maximal compact logics exist?

7 votes
0 answers
171 views
+100

Is the positive fragment of second-order logic compact?

12 votes
2 answers
751 views
+50

Description of p-adics tensor the reals

4 votes
0 answers
275 views
+150

Which countable sets don't drastically change the definable topologies on $\mathbb{R}$?

3 votes
0 answers
135 views
+150

Lindström's theorem part 2 for non-relativizing logics

10 votes
0 answers
196 views
+400

Do cut-length-minimizing equidissections exist?

19 votes
0 answers
791 views
+400

"Compactness for computability" - does it ever happen?

3 votes
0 answers
164 views
+250

Can the set of parafinite congruences be descriptive-set-theoretically complicated?

6 votes
1 answer
279 views
+50

A variation on pinned equivalence relations

3 votes
0 answers
164 views
+50

Can the set of parafinite congruences be descriptive-set-theoretically complicated?

7 votes
0 answers
223 views
+50

Chip firing on hypergraphs

7 votes
0 answers
146 views
+150

The space of analytic associative operations

12 votes
2 answers
470 views
+50

Conflating reals and sets of countable ordinals "nicely"

7 votes
0 answers
286 views
+200

A system with distinct infinite cardinalities but no "best" version of $\mathbb{N}$

16 votes
0 answers
560 views
+150

Snakes on a plane

11 votes
1 answer
452 views
+50

Invariant theory in universal algebra

4 votes
0 answers
236 views
+200

Cantor-Bernstein phenomena for structures (and a "moderate zigzag" property)

4 votes
0 answers
143 views
+200

On self-reference in a weak structure

14 votes
0 answers
415 views
+200

Which functions have all the common $\forall\exists$-properties of continuous functions?

4 votes
0 answers
354 views
+200

Does $e^x$ let the reals build any new ordinal functions?

32 votes
2 answers
2k views
+200

Quantifier complexity of the definition of continuity of functions

7 votes
0 answers
163 views
+150

"Minimal-ish" Dedekind-finite cardinalities of models

4 votes
0 answers
215 views
+200

On natural examples, how much stronger is this than Löwenheim–Skolem?

10 votes
0 answers
310 views
+400

Determinacy coincidence at $\omega_1$: is CH needed?

6 votes
0 answers
121 views
+200

An analogue of Scott sentences in the (mostly) computable realm?

13 votes
0 answers
311 views
+150

When does HSP reduce to SPH?

25 votes
6 answers
2k views
+500

Are there infinitely many "generalized triangle vertices"?

11 votes
1 answer
334 views
+200

Lattices of clones: is 4 worse than 3?

5 votes
0 answers
241 views
+400

How strong is this "modal definability principle"?

1
2 3 4 5
8