Aaron Anderson

Logic has prime ideals too en.wikipedia.org/wiki/Boolean...

If you add the divisibility axioms, they become Q-vector spaces too.

(You also need torsion-free to make it unique.)

en.wikipedia.org/wiki/Divisib...

Not to mention that Vienna's the hub for the NightJets, so you can get there from all over by night train (but book early).

The architecture in Budapest is exceptional.

The place I've been to most in that region is Vienna, which absolutely hits the "urbanist-oriented" definition - lovely by walking, biking, or tram.

One of the definitions is about not being able to put a "definable" linear order on an infinite set, but there's a nice chart with more examples here:
forkinganddividing.com#_00_2

Sounds like you prefer your theories stable.

en.wikipedia.org/wiki/Stable_...

Yeah I think this is less our invention and as per usual, more us drowning out the sound of older stories (The Smith and the Devil, Stingy Jack) with a bit less subtlety and electric amplification.

TRENTON MAKES THE WORLD TAKES

I thought the instructions said @donoteat.bsky.social

In this analogy, compact metric spaces act basically like finite sets. If you look at isomorphism classes of finite sets, that's just ℕ, which is a countable set. So it makes sense that you'd have a metric space of all compact (think finite) metric spaces, and it'll be separable (think countable).

Makes sense. In continuous logic, we focus a lot on metric density: the smallest cardinality of a dense set in a given metric space. It ends up being a better notion of "cardinality" of a metric space.

IMO it's too sweet, but the grapefruit flavor is perfect.

The point in the contexts I'm talking about is to make the complex numbers "more real", in order to use the linear ordering on the reals to build inequalities, which can express things that systems of equations over an algebraically closed field cannot.

(The starting point to get a flavor for this kind of problem is the Szemerédi-Trotter theorem) en.wikipedia.org/wiki/Szemer%...

Unless you want to know something combinatorial, about, say, incidences, in which case you often have to embed C in R^2!

Do you mind sharing the flyer file to print more?

Amtrak’s Keystone line, connecting NYC, Philly, and Harrisburg, may get axed under SEPTA cuts U.S. Rep. Brendan Boyle said Amtrak's Keystone Service line is at risk because the railroad could lose $71.1 million in annual payments from SEPTA.

www.inquirer.com/politics/sep...

Or downgrade "Starship" back to "Airplane", while upgrading the music.

My data set is small and anecdotal, but REI seems to have closed a lot of urban locations in particular.

This speech and his farewell address give the impression of a very different presidency than actually elapsed between them.

It’s in the Chance for Peace speech. en.wikisource.org/wiki/The_Cha...

Of course, in model theory, we apply it to spaces that are not necessarily Polish (under the guise of Morley rank) and thus sometimes get "lolno" as a dimension out of pretty reasonable mathematical objects anyway.

Precisely. Hence countable for all Polish spaces, which is a nice kind of dimension to have.

Yes, although they're good ads for Cantor-Bendixson rank by comparison.

I see. Then if you take a cone over a countable sequence of spaces with various countable-ordinal dimensions, you can probably get a larger countable-ordinal dimension.

Does this mean the only infinite dimensions (given those assumptions) are omega and Ord?

(There are a lot of model-theoretic dimensions that work this way.)

I've not thought much about inductive dimension, but this much makes sense.

I'm always in the market for those - hit me.

don't like that