Copertina

Random expansions of finite structures with bounded degree

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Koponen, Vera
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic 03C13 03C10 03C80 03B70 68T27 60C05 F.4.1; I.2.4; G.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
di: Koponen, Vera, et al.
Pubblicazione: (2023)

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

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

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

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

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

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

Uniform Interpolation
di: van Gool, Sam
Pubblicazione: (2025)

Which are the True Defeasible Logics?
di: Maher, Michael J.
Pubblicazione: (2024)

Encoding argumentation frameworks with set attackers to propositional logic systems
di: Tang, Shuai, et al.
Pubblicazione: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
di: Tang, Shuai
Pubblicazione: (2025)

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

Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity
di: Alpay, Faruk
Pubblicazione: (2025)

Domain size asymptotics for Markov logic networks
di: Koponen, Vera
Pubblicazione: (2025)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
di: Schellhorn, Daniel Romero, et al.
Pubblicazione: (2026)

Logic families
di: Andréka, H., et al.
Pubblicazione: (2023)

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

Preservation theorems on sparse classes revisited
di: Dawar, Anuj, et al.
Pubblicazione: (2024)

Interpolation and the Exchange Rule
di: Fussner, Wesley, et al.
Pubblicazione: (2023)

Decidability of the theory of modules over Prüfer domains with infinite residue fields
di: Gregory, Lorna, et al.
Pubblicazione: (2017)

Decidability of the theory of modules over Prüfer domains with dense value groups
di: Gregory, Lorna, et al.
Pubblicazione: (2019)

Quite Complete Real Closed fields
di: Shelah, Saharon
Pubblicazione: (2001)

Encoding Argumentation Frameworks to Propositional Logic Systems
di: Tang, Shuai, et al.
Pubblicazione: (2025)

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

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

Preservation Theorems Through the Lens of Topology
di: Lopez, Aliaume
Pubblicazione: (2020)

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

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

Inclusion with repetitions and Boolean constants -- implication problems revisited
di: Häggblom, Matilda
Pubblicazione: (2025)

Axiomatization of approximate exclusion
di: Häggblom, Matilda
Pubblicazione: (2024)

Axiomatizing approximate inclusion
di: Häggblom, Matilda
Pubblicazione: (2025)

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

Generic multiplicative endomorphism of a field
di: d'Elbée, Christian
Pubblicazione: (2022)

The variety of coset relation algebras
di: Givant, Steven, et al.
Pubblicazione: (2018)

First-Order Coalition Logic
di: Catta, Davide, et al.
Pubblicazione: (2025)

Generalization of terms via universal algebra
di: Flaminio, Tommaso, et al.
Pubblicazione: (2025)

Ramsey expansions of $Λ$-ultrametric spaces
di: Braunfeld, Samuel
Pubblicazione: (2017)

Axiomatization of Compact Initial Value Problems: Open Properties
di: Platzer, André, et al.
Pubblicazione: (2024)