Aaron Anderson
@awainverse.bsky.social
Model theory postdoc at UPenn
Grand Central Market seems similarly obligatory in LA - one of the few ways in which downtown LA actually functions correctly
November 10, 2025 at 2:53 PM
Grand Central Market seems similarly obligatory in LA - one of the few ways in which downtown LA actually functions correctly
Hence the Creamery hosting the concert that became one of my favorite live albums nancysyogurt.com/blog/remembe...
Remembering The Grateful Dead's Sunshine Daydream Concert - Still Grateful 50 Years Later - Nancy's Probiotic Foods
nancysyogurt.com
November 7, 2025 at 6:27 PM
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...
Boolean prime ideal theorem - Wikipedia
en.wikipedia.org
October 18, 2025 at 1:46 AM
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...
(You also need torsion-free to make it unique.)
en.wikipedia.org/wiki/Divisib...
Divisible group - Wikipedia
en.wikipedia.org
October 11, 2025 at 12:16 AM
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...
(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).
October 7, 2025 at 11:58 AM
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.
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.
October 7, 2025 at 11:56 AM
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.
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
forkinganddividing.com#_00_2
Map of the Universe
Map of dividing lines in classification theory
forkinganddividing.com
October 4, 2025 at 5:29 PM
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
forkinganddividing.com#_00_2
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.
October 2, 2025 at 12:08 PM
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
September 26, 2025 at 3:51 PM
TRENTON MAKES THE WORLD TAKES
I thought the instructions said @donoteat.bsky.social
September 13, 2025 at 2:03 PM
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).
September 5, 2025 at 11:24 AM
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.
September 5, 2025 at 11:21 AM
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.
August 28, 2025 at 5:15 PM
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.
August 25, 2025 at 5:53 PM
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%...
Szemerédi–Trotter theorem - Wikipedia
en.wikipedia.org
August 25, 2025 at 5:28 PM
(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!
August 25, 2025 at 5:27 PM
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?
August 19, 2025 at 12:51 AM
Do you mind sharing the flyer file to print more?
Or downgrade "Starship" back to "Airplane", while upgrading the music.
August 13, 2025 at 12:07 PM
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.
July 17, 2025 at 12:11 AM
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.
June 23, 2025 at 2:08 AM
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...
The Chance for Peace - Wikisource, the free online library
en.m.wikisource.org
June 23, 2025 at 2:04 AM
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.
June 14, 2025 at 6:33 AM
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.
June 14, 2025 at 6:31 AM
Precisely. Hence countable for all Polish spaces, which is a nice kind of dimension to have.