Cover Image

Learning Families of Algebraic Structures from Text

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bazhenov, Nikolay, Fokina, Ekaterina, Rossegger, Dino, Soskova, Alexandra, Vatev, Stefan
Format:	Preprint
Published:	2024
Subjects:	Logic 03C57, 03E15 F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Punctually Standard and Nonstandard Models of Natural Numbers
by: Bazhenov, Nikolay, et al.
Published: (2026)

Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024)

Scott sentence complexities of linear orderings
by: Gonzalez, David, et al.
Published: (2023)

Dichotomy results for classes of countable graphs
by: Cipriani, Vittorio, et al.
Published: (2025)

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

Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization
by: Ho, Meng-Che "Turbo", et al.
Published: (2024)

Classifying the complexity of models of arithmetic
by: Gonzalez, David, et al.
Published: (2025)

The Category Dichotomy for Ideals
by: Dow, Alan, et al.
Published: (2025)

The Borel complexity of the class of models of first-order theories
by: Andrews, Uri, et al.
Published: (2024)

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

Online and feasible presentability: from trees to modal algebras
by: Bazhenov, Nikolay, et al.
Published: (2025)

A Guide to Krivine Realizability for Set Theory
by: Matthews, Richard
Published: (2023)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
by: Castiglioni, José Luis, et al.
Published: (2025)

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

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

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
by: Vodrazka, Daniel
Published: (2025)

Forcing Axioms, the Uniformization and the Basis Property
by: Hoffelner, Stefan
Published: (2020)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

Relational Models for the Lambek Calculus with Intersection and Constants
by: Kuznetsov, Stepan L.
Published: (2022)

On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
by: Hoffelner, Stefan
Published: (2026)

Forcing as a Local Method of Accessing Small Extensions
by: Lau, Desmond
Published: (2024)

Proof Compression via Subatomic Logic and Guarded Substitutions
by: Barrett, Victoria, et al.
Published: (2025)

Learning Equivalence Relations on Polish Spaces
by: Rossegger, Dino, et al.
Published: (2024)

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

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

Fractal Analysis on the Real Interval: A Constructive Approach via Fractal Countability
by: Semenov, Stanislav
Published: (2025)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
by: Anttila, Aleksi, et al.
Published: (2025)

The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)

Uniformity in learning structures
by: Cipriani, Vittorio, et al.
Published: (2025)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
by: Lau, Desmond
Published: (2024)

Structural focalization
by: Simmons, Robert J.
Published: (2011)

On the learning power of Friedman-Stanley jumps
by: Cipriani, Vittorio, et al.
Published: (2025)

A Logspace Constructive Proof of L=SL
by: Buss, Sam, et al.
Published: (2025)

Sufficient conditions for local tabularity of a polymodal logic
by: Shapirovsky, Ilya B.
Published: (2022)

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
by: Knudstorp, Søren Brinck
Published: (2025)

A proof complexity conjecture and the Incompleteness theorem
by: Krajicek, Jan
Published: (2023)

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

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