Embedded finite models beyond research quantifier collapse
We revisit evaluation of logical formulas that allow both uninterpreted relations, constrained to be finite, as well as interpreted vocabulary over an infinite domain: denoted in the past as embedded finite model theory. We extend the analysis of "collapse results": the ability to eliminat...
Main Authors: | Benedikt, M, Hrushovski, E |
---|---|
Format: | Conference item |
Language: | English |
Published: |
IEEE
2023
|
Similar Items
-
On finite imaginaries
by: Hrushovski, E
Published: (2009) -
Beyond: collapsible tools and gestures for computational design
by: Lee, Jinha, et al.
Published: (2013) -
Finite element analysis of the collapse and post-collapse behavior of steel pipes : applications to the oil industry /
by: Dvorkin, Eduardo N., 1951-, et al.
Published: (c201) -
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
by: 404540 Keisler, H. Jerome
Published: (1971) -
Quantifying Grover speed-ups beyond asymptotic analysis
by: Chris Cade, et al.
Published: (2023-10-01)