Live Roundups Editor's Desk Insights Executive Ops Weather About 🔍
Home › Science › Bringing closure to theory combination properties
Science

Bringing closure to theory combination properties

arXiv CS Monday 01 June 2026, 04:00 UTC By Guilherme V. Toledo, Benjamin Przybocki, Yoni Zohar 1 min read
Key Points

Announce Type: new Abstract: We consider the closure of three classical combination properties, namely, stable infiniteness, gentleness and shininess (or, equivalently for decidable theories, strong politeness), under intersection and combinability. We compute every possible intersection, and then compute the maximal set of theories that can be combined with each resulting intersection. We iterate this process until no new sets are identified.

arXiv:2605.30762v1 Announce Type: new Abstract: We consider the closure of three classical combination properties, namely, stable infiniteness, gentleness and shininess (or, equivalently for decidable theories, strong politeness), under intersection and combinability. We compute every possible intersection, and then compute the maximal set of theories that can be combined with each resulting intersection. We iterate this process until no new sets are identified. How many properties will we end up with?
Originally published by arXiv CS Read original →

Related Stories

'Voltron: Legendary Defender' turns 10 today, and we think this mecha robot reboot was just as good as 'Power Rangers' and 'Transformers'

'Voltron: Legendary Defender' turns 10 today, and we think this mecha robot reboot was just as good as 'Power Rangers' and 'Transformers' Voltron may sound like an ointment for back pain, but the reboot Legendary Defender demonstrates that there's more to the big stompy robots concept than meets the eye. Reboot is a dirty word when it comes to TV. Very rarely does a remade show receive its due.

Space.com 25m ago

Exclusive-GM may ditch LFP batteries for future EVs

Exclusive-GM may ditch LFP batteries for future EVs SAN FRANCISCO, June 10 : General Motors may scrap plans to use a lower-cost, iron-based battery chemistry that many automakers are using to cut electric-vehicle costs, GM's head of battery technology said. The Detroit automaker had said it planned to develop lithium-iron phosphate, or LFP, batteries for use in future EV models, and would begin making those batteries in late 2027 at a jointly owned plant in Tennessee. But GM battery chief...

Channel News Asia 36m ago

Claude Fable won’t answer basic biology questions

Anthropic just released Claude Fable 5, calling it the most powerful AI model it has ever made widely available and praising its skills in biology, among others. But the model won't answer basic biology questions - the kind you'd expect a high schooler to handle. Instead, it hands off the query to the former flagship model, Claude Opus 4.8.

The Verge 42m ago

Musk Stock Fans Say ‘The More, The Better’ in SpaceX IPO Frenzy

A SpaceX Falcon 9 rocket launched from Cape Canaveral Space Force Station in Florida.

Bloomberg Technology 42m ago