:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Grynets, Oleg, Babarytskyi, Dmytro, Lyashkevych, Vasyl
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Artificial Intelligence 53A45 (Primary) C.4; E.4; H.1
Online Access:	https://arxiv.org/abs/2605.28557
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Unified Architecture Metamodel of Information Systems Developed by Generative AI
by: Grynets, Oleg, et al.
Published: (2026)

Fine-tuned LLM-based Code Migration Framework
by: Grynets, Oleg, et al.
Published: (2025)

Corrigendum to "Model Theory of Fields with Virtually Free Group Actions"
by: Beyarslan, Özlem, et al.
Published: (2017)

Inner models from extended logics and the Delta-operation
by: Väänänen, Jouko, et al.
Published: (2025)

Towards Constructing Geodesic Nets with Four Boundary Vertices and an Increasing Number of Balanced Vertices
by: Parsch, Fabian, et al.
Published: (2025)

Methods and Tools for Secure Quantum Clouds with a specific Case Study on Homomorphic Encryption
by: Kusumastuti, Aurelia, et al.
Published: (2025)

Pre-Channel Entanglement Shaping Achieves Fundamental Superiority over Post-Distillation: A Geometric Entropy Perspective
by: Lyu, Gang, et al.
Published: (2026)

Rank-based linkage I: triplet comparisons and oriented simplicial complexes
by: Darling, R. W. R., et al.
Published: (2023)

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

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
by: Jaakkola, Reijo, et al.
Published: (2024)

Decision Tree Algorithm Moderately Coupled to PostgreSQL DBMS
by: Ricardo Timarán-Pereira
Published: (2023)

PAC structures as invariants of finite group actions
by: Hoffmann, Daniel Max, et al.
Published: (2023)

NTP2 topological structures
by: Guerrero, Pablo Andújar
Published: (2026)

Rotation Numbers and Geometric Invariants in Bicycle Dynamics
by: Li, Diantong, et al.
Published: (2025)

Fano 3-folds and classification of constantly curved holomorphic $2$-spheres of degree $6$ in the complex Grassmannian $G(2,5)$
by: Chi, Quo-Shin, et al.
Published: (2022)

On distance logics of Euclidean spaces
by: Agnew, Gabriel, et al.
Published: (2025)

On idempotent measure conjecture and decomposition of invariant measures
by: Hoffmann, Daniel Max, et al.
Published: (2025)

Topological dynamics and the complexity of strong types
by: Krupiński, Krzysztof, et al.
Published: (2015)

Hybrid logic for strict betweenness
by: Gruszczyński, Rafał, et al.
Published: (2024)

Constructibility real degrees in the side-by-side Sacks model
by: Notaro, Lorenzo
Published: (2025)

The breadth of constructibility degrees and definable Sierpiński's coverings
by: Andretta, Alessandro, et al.
Published: (2024)

Derived Models in PFA
by: Levinson, Derek, et al.
Published: (2025)

Weakly binary expansions of dense meet-trees
by: Mennuni, Rosario
Published: (2020)

Computable vs Descriptive Combinatorics of Local Problems on Trees
by: Weilacher, Felix
Published: (2022)

Logical Dependence of Physical Determinism on Set-theoretic Metatheory
by: Clarke-Doane, Justin
Published: (2025)

Model theory, differential algebra and functional transcendence
by: Martin-Pizarro, Amador
Published: (2025)

Twins: non-isomorphic models forced to be isomorphic. Part I
by: Shelah, Saharon
Published: (2025)

The total absolute curvature of closed curves with singularities
by: Honda, Atsufumi, et al.
Published: (2024)

Some remarks on real minimal nilpotent orbits and symmetric pairs
by: Okuda, Takayuki
Published: (2024)

Agent Interpolation for Knowledge
by: Bílková, Marta, et al.
Published: (2025)

Locally tabular products of modal logics
by: Shapirovsky, Ilya B., et al.
Published: (2024)

Geometry of horospheres in Kobayashi hyperbolic domains
by: Chandel, Vikramjeet Singh, et al.
Published: (2024)

Semantic Rate-Distortion for Bounded Multi-Agent Communication: Capacity-Derived Semantic Spaces and the Communication Cost of Alignment
by: Nixon, Anthony T.
Published: (2026)

Building Models of Determinacy from Below
by: Kasum, Obrad, et al.
Published: (2024)

Iterated club shooting and the stationary-logic constructible model
by: Ya'ar, Ur
Published: (2022)

Monoidal Symmetric Models
by: Basak, Dianthe
Published: (2024)

Any function I can actually write down is measurable, right?
by: Hanson, James E.
Published: (2025)

Large cardinals beyond HOD
by: Aguilera, Juan Pablo, et al.
Published: (2025)

Logics of polyhedral reachability
by: Bezhanishvili, Nick, et al.
Published: (2024)

On an ordinary expansion of first-order Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2023)