Cover Image

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Koponen, Vera, Weitkämper, Felix
Format:	Preprint
Published:	2023
Subjects:	Logic Logic in Computer Science O3C13, 03B50, 03C10, 03C80 F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Notions of rank and independence in countably categorical theories
by: Koponen, Vera
Published: (2025)

Random expansions of finite structures with bounded degree
by: Koponen, Vera
Published: (2024)

On the relative asymptotic expressivity of inference frameworks
by: Koponen, Vera, et al.
Published: (2022)

Two strong undefinability results in inquisitive and team semantics
by: Barbero, Fausto
Published: (2024)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

Hereditary First-Order Logic: the tractable quantifier prefix classes
by: Bodirsky, Manuel, et al.
Published: (2024)

Random expansions of trees with bounded height
by: Koponen, Vera, et al.
Published: (2024)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
by: Puljujärvi, Joni, et al.
Published: (2026)

Team Semantics and Independence Notions in Quantum Physics
by: Abramsky, Samson, et al.
Published: (2021)

On the Computational Power of Extensional ESO
by: Bodirsky, Manuel, et al.
Published: (2025)

A convergence law for continuous logic and continuous structures with finite domains
by: Koponen, Vera
Published: (2025)

A Tame Generic Structure with Non-Algebraic Geometric Closure
by: Jalili, Somaye, et al.
Published: (2020)

Local-Order-Invariant Logic on Classes of Bounded Degree
by: Aoki, Derek
Published: (2025)

Affinization and quantifier-elimination
by: Bagheri, Seyed-Mohammad
Published: (2025)

Preservation Theorems Through the Lens of Topology
by: Lopez, Aliaume
Published: (2020)

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory
by: Bodirsky, Manuel, et al.
Published: (2020)

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)

Interpolation and the Exchange Rule
by: Fussner, Wesley, et al.
Published: (2023)

A vector logic for extensional formal semantics
by: Quigley, Daniel
Published: (2024)

Adding an Implication to Logics of Perfect Paradefinite Algebras
by: Greati, Vitor, et al.
Published: (2023)

The reverse mathematics of the pigeonhole hierarchy
by: Houérou, Quentin Le, et al.
Published: (2024)

Learning Families of Algebraic Structures from Text
by: Bazhenov, Nikolay, et al.
Published: (2024)

Failure Modes for Structural Highness Notions
by: Calvert, Wesley, et al.
Published: (2025)

Internal Effectful Forcing in System T
by: Escardo, Martin H., et al.
Published: (2025)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
by: Galliani, Pietro
Published: (2025)

A declarative approach to specifying distributed algorithms using three-valued modal logic
by: Gabbay, Murdoch J., et al.
Published: (2025)

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
Published: (2025)

Ramsey expansions of $Λ$-ultrametric spaces
by: Braunfeld, Samuel
Published: (2017)

Quantifier elimination for lovely pairs of strongly geometric fields
by: Kovacsics, Pablo Cubides, et al.
Published: (2026)

Generating proof systems for three-valued propositional logics
by: Greati, Vitor, et al.
Published: (2024)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
by: Stanković, Marko, et al.
Published: (2025)

Restricted analytic valued fields with partial exponentiation
by: Ángel, Leonardo, et al.
Published: (2023)

More conservativity for weak Kőnig's lemma
by: Freund, Anton, et al.
Published: (2024)

Thoughts on sub-Turing interactive computability
by: Japaridze, Giorgi
Published: (2024)

Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence
by: Khani, Mohsen, et al.
Published: (2025)

A Lopez-Escobar Theorem for Continuous Domains
by: Bazhenov, Nikolay, et al.
Published: (2023)

Cut elimination for propositional cyclic proof systems with fixed-point operators
by: Hori, Hiromasa, et al.
Published: (2023)

Affine logic with the integration operator
by: Bagheri, Seyed-Mohammad
Published: (2026)

A vector logic for intensional formal semantics
by: Quigley, Daniel
Published: (2026)

Glivenko's theorems from an ecumenical perspective
by: Pereira, Luiz Carlos, et al.
Published: (2026)