Tootfinder

General real-valued theories with the Schr\"oder-Bernstein property are stable
Alexander Berenstein, Nicol\'as Cuervo Ovalle, Isaac Goldbring
https://arxiv.org/abs/2510.11858

General real-valued theories with the Schröder-Bernstein property are stable
We show that every general theory à la Keisler with the Schröder-Bernstein property is stable. This generalizes the corresponding result from classical logic due to John Goodrick. Our proof uses the classical result (generalized to the case that the instability is witnessed by an infinitary formula) together with a discretization technique introduced by Keisler and the third-named author. We speculate on how our techniques could be adapted to show that every continuous theory with the Schröd…

What an amazing finish at the right time by Schröder! 🤩🏀🇩🇪

"Das war dann mal weg": ZDF zeigt neue Folge
Comedians erinnern sich an Trends und Alltagsprodukte - mit Atze Schröder, Lisa Feller, Abdelkarim, Ingmar Stadelmann, Helene Bockhorst, Daphne de Luxe, Christian Schulte-Loh und Lutz van der Horst.
https://www.kabarett-news.de/News-vom-12.…

Rouven Schröder hat ohne Frage Fachverstand – aber auch ein beachtliches Sprungtuch.
Wie In den Winkel treffend schreibt: Er steht für Konsolidierung, wirkt aber wie einer mit eingebautem Absprungplan zum nächsten Club.
Die Befürchtung habe ich auch - aber er wird es wohl
#Borussia #Schröder

Combinatorial equivalence of separable elements in types $A$ and $B$
Yong Liao, Yuping Yang, Houyi Yu
https://arxiv.org/abs/2510.12046 https://arxiv.org/pd…

Combinatorial equivalence of separable elements in types $A$ and $B$
We study the combinatorial equivalence of separable elements in types $A$ and $B$. A bijection is constructed from the set of separable permutations in the symmetric group $S_{n+1}$ to the set of separable signed permutations in the hyperoctahedral group $B_n$. This bijection preserves descent statistics and induces a poset isomorphism under the left weak order. As a consequence, separable signed permutations are enumerated by the large Schröder numbers, and their descent polynomials are shown…

Ein Dank an Thorsten Schröder von der @…, der heute in der 20-Uhr-Sendung die Formulierung »kreditfinanziertes so genanntes Sondervermögen« verwendet hat, statt den vorsätzlich bevölkerungsverdummenden Neusprech der Bundesregierung einfach wiederzugeben.
Selten, dass ich mich bei denen bedanken mag.

Auf dass auch das Fediverse informiert sei: Ralf Hoffrogge postete bei Meta dies: "Linkskommunismus Open Access - die Dissertation von Rhena Stürmer kann man jetzt frei im Netz lesen:" https://www.wallstein-open-library.de/9783835359406-jenseits-des-bo…

Ein Dank an Thorsten Schröder von der @…, der heute in der 20-Uhr-Sendung die Formulierung »kreditfinanziertes so genanntes Sondervermögen« verwendet hat, statt den vorsätzlich bevölkerungsverdummenden Neusprech der Bundesregierung einfach wiederzugeben.
Selten, dass ich mich bei denen bedanken mag.

"TV total Stand-up Club" startet
Sebastian Pufpaff präsentiert neue Comedyshow im August bei ProSieben - Auftakt mit Atze Schröder, Ingmar Stadelmann, Özcan Cosar, Hendrik Brehmer (@hwieendrik) und Maria Ziffy.
https://www.kabarett-news.de/News-vom-08.0

A Proof of the Schr\"oder-Bernstein Theorem in ACL2
Grant Jurgensen (Kestrel Institute)
https://arxiv.org/abs/2507.19008 https://arxiv.org/pdf/2507.19…

A Proof of the Schröder-Bernstein Theorem in ACL2
The Schröder-Bernstein theorem states that, for any two sets P and Q, if there exists an injection from P to Q and an injection from Q to P, then there must exist a bijection between the two sets. Classically, it follows that the ordering of the cardinal numbers is antisymmetric. We describe a formulation and verification of the Schröder-Bernstein theorem in ACL2 following a well-known proof, introducing a theory of chains to define a non-computable witness.

#NDR Fernsehen Niedersachsen live
https://www.ardmediathek.de/tv-programm/68ae45e39c8b015142123981 (2017, )
Nu te zien (niet in ardmediathek.de)
22:00 – 23:30 Uhr

Ja, man sauer auf die SPD sein, aber ich glaube die CDU ist immer noch neidisch auf #HatzIV und die #Agenda2010, dass sich Gerhard Schröder sich selbst auf die Schulter klopfen konnte: „Wir haben unseren #Arbeitsmarkt

Great showing around in the #Rietveld Schröder house in #Utrecht. 1924 architecture as if it was a 1980's Star Trek discovery. Functional, functional and functional to the max.

On Ward Numbers and Increasing Schr\"oder Trees
Elena L. Wang, Guoce Xin
https://arxiv.org/abs/2507.15654 https://arxiv.org/pdf/…

On Ward Numbers and Increasing Schröder Trees
The Ward numbers $W(n,k)$ combinatorially enumerate set partitions with block sizes $\geq 2$ and phylogenetic trees (total partition trees). We prove that $W(n,k)$ also counts \emph{increasing Schröder trees} by verifying they satisfy Ward's recurrence. We construct a direct type-preserving bijection between total partition trees and increasing Schröder trees, complementing known type-preserving bijections to set partitions (including Chen's decomposition for increasing Schröder trees). Weig…

Dieter Nuhr zurück bei RTL
Neue Comedyshow am 11. Oktober u.a. mit den Gästen Atze Schröder, Tahnee und Tony Bauer.
https://www.kabarett-news.de/News-vom-08.10.2025-dieter-nuhr.html
Fotograf Dieter Nuhr

🇺🇦 #NowPlaying on BBCRadio3's #ClassicalLive
Igor Stravinsky, Julia Schröder, Anastasia Kobekina & Kammerorchester Basel:
🎵 Excerpts from 'Suite italienne'
#IgorStravinsky #JuliaSchröder #AnastasiaKobekina
https://open.spotify.com/track/3iFtDNpG0GrscW621Rwibi

Was ist denn heute mit der 20-Uhr-Tagesschau los? Normalerweise beginnt die Sendung mit einem Zoom durch die absurde Vorlesebühne im Stil mieser Science-Fiction, während im Hintergrund die schlimmsten Verbrecher des Landes und der Welt durchrollen. (Also die aus den sechs Meldungen.)
Das haben die heute weggelassen. Jingle, Ansage, harter Schnitt zum Sprecher (heute Thorsten Schröder).
Wollen die etwa wieder seriöser aussehen? Da will ich mal hoffen, dass es nicht bei der Optik …

Effective bases and notions of effective second countability in computable analysis
Vasco Brattka, Emmanuel Rauzy
https://arxiv.org/abs/2509.20266 https://…

Effective bases and notions of effective second countability in computable analysis
We investigate different notions of "computable topological base" for represented spaces. We show that several non-equivalent notions of bases become equivalent when we consider computably enumerable bases. This indicates the existence of a robust notion of computably second countable represented space. These spaces are precisely those introduced by Grubba and Weihrauch under the name "computable topological spaces". The present work thus clarifies the articulation between Schröder's approach …

🇺🇦 #NowPlaying on BBCRadio3's #ClassicalLive
Antonio Vivaldi, Julia Schröder, Anastasia Kobekina & Kammerorchester Basel:
🎵 Cello Concerto in G minor, RV 416
#AntonioVivaldi #JuliaSchröder #AnastasiaKobekina #KammerorchesterBasel