Skip to main content

New answers tagged

0 votes
Accepted

Do stably-infinite theories exclude finite sorts?

Yes. In "Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic" by Ranise et al (1), they state on page 1: One way to reason about data structures over elements ...
bobismijnnaam's user avatar
1 vote

Is stable infinity required of theories combined with model-based theory combination?

A possible indirect answer can be found in slides (1) for a presentation for the 2008 Oregon Summer School on Logic and Theorem Proving by Leonardo de Moura, who worked on Z3 extensively: Essentially,...
bobismijnnaam's user avatar
0 votes

Do stably-infinite theories exclude finite sorts?

"Stably infinite" is a mathematical concept with a precise definition. You are trying to reason about a precise mathematical concept with imprecise vague English language / analogies (e.g., ...
D.W.'s user avatar
  • 162k

Top 50 recent answers are included