Tootfinder

#Cats
Via Why you should have a cat @ShouldHaveCat
·
22h
sometimes Noodle prefers to have his existential crisis in the fridge

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
Oskar Fiuk, Emanuel Kieronski
https://arxiv.org/abs/2404.03377

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
The uniform one-dimensional fragment of first-order logic was introduced a few years ago as a generalization of the two-variable fragment to contexts involving relations of arity greater than two. Quantifiers in this logic are used in blocks, each block consisting only of existential quantifiers or only of universal quantifiers. In this paper we consider the possibility of mixing both types of quantifiers in blocks. We show the finite (exponential) model property and NExpTime-completeness of th…

Fresh from The End:
**The End Issue #86. Fix Your Feelings Of Existential Dread With Finished Audio Fiction**
https://www.theend.fyi/newsletter/fix-your-feelings-of-existential-dread-with-finished-audio-fiction…

Issue #86: Fix Your Feelings Of Existential Dread With Finished Audio Fiction
Featuring THE HACKER CHRONICLES & UNDERWOOD AND FLINCH, +5 complete series, 6 season finales, and 7 new seasons coming soon! Published on Apr 25, 2024.

🏈 @… #CFB #CollegeFootball
Via Andrew Marchand 🤖 @…

Homomorphism Preservation Theorems for Many-Valued Structures
James Carr
https://arxiv.org/abs/2403.00217 https://arxiv.org/pdf/2403.…

Homomorphism Preservation Theorems for Many-Valued Structures
A canonical result in model theory is the homomorphism preservation theorem which states that a first-order formula is preserved under homomorphisms on all structures if and only if it is equivalent to an existential-positive formula, standardly proved compactness. Rossman (2008) established that the h.p.t. remains valid when restricted to finite structures. This is a significant result in the field of finite model theory, standing in contrast to other preservation theorems and as an theorem wh…

Da is @…‘ neues Dingen! Existential Post Hardcore vom Feinsten!
https://youtu.be/c4qDn6YgTTs

🎬 The Life and Death of Hollywood:
Film and television writers face an existential threat
https://harpers.org/archive/2024/05/the-life-and-death-of-hollywood-daniel-bessner/

The Life and Death of Hollywood, by Daniel Bessner
Film and television writers face an existential threat

"The modeller’s quest to pin the organism down and preserve it in aspic destroys the very thing that makes it living."
Subtle critique of the Free Energy Principle and other forms of "invariantist" modeling.
https://www.

Macaw - Season 1 finale 🚢😒🎲
Dramatized scifi comedy series | Total listening time: 2h 34m
A stick-in-the-mud cruise ship guest would be happier continuing the monotonous 9-5 he cherishes. Instead, Ron Ahmanson ends up in a revelatory existential crisis kicked off by the discovery of an unlikely superpower - he always rolls...

Macaw - Season 1 finale 🚢😒🎲
Dramatized scifi comedy series | Total listening time: 2h 34m A stick-in-the-mud cruise ship guest would be happier continuing the monotonous 9-5 he cherishes. Instead, Ron Ahmanson ends up in a revelatory existential crisis kicked off by the discovery of an unlikely superpower - he always rolls “snake eyes” at the craps table. Lance Reddick's final project (very sad). Also stars Jonathan Silverman from Weekend at Bernie's and Danielle Savre from Station 19. 1 seasons, 6 episodes as of…

Complexities of Theories of Profinite Subgroups of $S_\omega$ via Tree Presentations
Jason Block
https://arxiv.org/abs/2405.00840 https://

Complexities of Theories of Profinite Subgroups of $S_ω$ via Tree Presentations
Although $S_ω$ (the group of all permutations of $\mathbb{N}$) is size continuum, both it and its closed subgroups can be presented as the set of paths through a countable tree. The subgroups of $S_ω$ that can be presented this way with finite branching trees are exactly the profinite ones. We use these tree presentations to find upper bounds on the complexity of the existential theories of profinite subgroups of $S_ω$, as well as to prove sharpness for these bounds. These complexity results…