:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Benedikt, Michael, Hrushovski, Ehud
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	https://arxiv.org/abs/2406.15235
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Embedded Finite Models Beyond Restricted Quantifier Collapse
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

Approximate equivalence relations
di: Hrushovski, Ehud
Pubblicazione: (2024)

Groupoids, imaginaries and internal covers
di: Hrushovski, Ehud
Pubblicazione: (2006)

Specialization of Difference Equations and High Frobenius Powers
di: Dor, Yuval, et al.
Pubblicazione: (2022)

Valued fields, Metastable groups
di: Hrushovski, Ehud, et al.
Pubblicazione: (2017)

Revisiting virtual difference ideals
di: Chatzidakis, Zoé, et al.
Pubblicazione: (2016)

Imaginaries, products and the adele ring
di: Derakhshan, Jamshid, et al.
Pubblicazione: (2023)

Compactifications of pseudofinite and pseudo-amenable groups
di: Conant, Gabriel, et al.
Pubblicazione: (2023)

Globally valued fields: foundations
di: Yaacov, Itaï Ben, et al.
Pubblicazione: (2024)

On first order amenability
di: Hrushovski, Ehud, et al.
Pubblicazione: (2020)

Non-locally modular regular types in classifiable theories
di: Bouscaren, Elisabeth, et al.
Pubblicazione: (2019)

Tropical functions on a skeleton
di: Ducros, Antoine, et al.
Pubblicazione: (2022)

Lang-Weil Type Estimates in Finite Difference Fields
di: Hils, Martin, et al.
Pubblicazione: (2024)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
di: Benedikt, Michael, et al.
Pubblicazione: (2026)

From learnable objects to learnable random objects
di: Anderson, Aaron, et al.
Pubblicazione: (2025)

On metric approximate subgroups
di: Hrushovski, E., et al.
Pubblicazione: (2022)

Equivalents of NOTOP
di: Laskowski, Michael C., et al.
Pubblicazione: (2025)

Equivalence and Conditional Independence in Atomic Sheaf Logic
di: Simpson, Alex
Pubblicazione: (2024)

Tighter Bounds for Query Answering with Guarded TGDs
di: Amarilli, Antoine, et al.
Pubblicazione: (2022)

A logical approach to concentration
di: Benedikt, Michael, et al.
Pubblicazione: (2026)

Equivalence of multiset-based consequence relations
di: Madanshekaf, Ali, et al.
Pubblicazione: (2024)

Choiceless Computation and Symmetry: Limitations of Definability
di: Pago, Benedikt
Pubblicazione: (2024)

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
di: Benedikt, Michael, et al.
Pubblicazione: (2022)

The complexity of Presburger arithmetic with power or powers
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
di: Wolter, Frank, et al.
Pubblicazione: (2024)

Stuttering Equivalence for Parity Games
di: Cranen, Sjoerd, et al.
Pubblicazione: (2011)

Decidability of Graph Neural Networks via Logical Characterizations
di: Benedikt, Michael, et al.
Pubblicazione: (2024)

Analysis of logics with arithmetic
di: Benedikt, Michael, et al.
Pubblicazione: (2025)

Interaction Equivalence
di: Accattoli, Beniamino, et al.
Pubblicazione: (2024)

Graded Monads and Behavioural Equivalence Games
di: Ford, Chase, et al.
Pubblicazione: (2022)

Parameterized Infinite-State Reactive Synthesis
di: Maderbacher, Benedikt, et al.
Pubblicazione: (2025)

Convergence Laws for Extensions of First-Order Logic with Averaging
di: Adam-Day, Sam, et al.
Pubblicazione: (2025)

Two variable logic with ultimately periodic counting
di: Benedikt, Michael, et al.
Pubblicazione: (2020)

Optimal Lower Bounds for Symmetric Modular Circuits
di: Pago, Benedikt
Pubblicazione: (2026)

A Unifying Approach to Probabilistic Testing Equivalences
di: Chen, Weijun, et al.
Pubblicazione: (2025)

Towards Term-based Verification of Diagrammatic Equivalence
di: Cailler, Julie, et al.
Pubblicazione: (2026)

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain
di: Sevilla, Jaime, et al.
Pubblicazione: (2024)

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
di: Shapiro, Ehud
Pubblicazione: (2026)

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language
di: Shapiro, Ehud
Pubblicazione: (2025)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
di: Spreen, Dieter
Pubblicazione: (2025)