Aaron Anderson

The censored history displays at Independence Mall are being restored.

Is there a constructive way to exhibit a basis for $\mathbb{R}^\mathbb{N}$? Assuming the Axiom of Choice, every vector space has a basis, though it can be troublesome to show one explicitly. Is there any constructive way to exhibit a basis for $\mathbb{R}^\mathbb{N}$, the ...

In one of the more reasonable choiceless set theories (ZF + AD), it doesn't: math.stackexchange.com/questions/12...

Grand Central Market seems similarly obligatory in LA - one of the few ways in which downtown LA actually functions correctly

Remembering The Grateful Dead's Sunshine Daydream Concert - Still Grateful 50 Years Later - Nancy's Probiotic Foods

Hence the Creamery hosting the concert that became one of my favorite live albums nancysyogurt.com/blog/remembe...

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?