:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Berenstein, Alexander, Pérez, Juan Manuel
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2409.03923
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Model theory of Hilbert spaces expanded by normal operators
by: Berenstein, Alexander, et al.
Published: (2025)

General real-valued theories with the Schröder-Bernstein property are stable
by: Berenstein, Alexander, et al.
Published: (2025)

SB-property on metric structures
by: Argoty, Camilo, et al.
Published: (2023)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
by: De Domenico, Andrea, et al.
Published: (2024)

Elementarity of Subgroups and Complexity of Theories for Profinite Groups
by: Block, Jason
Published: (2024)

On Approximate Classification of Theories
by: Burka, Alexander
Published: (2025)

Bounded depth in Hilbert algebras
by: Carai, Luca, et al.
Published: (2026)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

A Study on Actions for Atomic Logics
by: Espejo-Boix, Raül
Published: (2024)

Extending Action Logic with Omega Iteration
by: Pshenitsyn, Tikhon
Published: (2025)

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

On a form of intrinsic optimism in Set Theory
by: Pérez, M. Muñoz
Published: (2025)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
by: Pshenitsyn, Tikhon
Published: (2023)

Negation and Identity in a Modal Mode Theory
by: Afanador, Juan
Published: (2023)

Asymptotic Theories of Classes Defined by Forbidden Homomorphisms
by: Bodirsky, Manuel, et al.
Published: (2022)

Axiomatic Theory of Independence Relations in Model Theory
by: d'Elbée, Christian
Published: (2023)

Finite Hilbert systems for Weak Kleene logics
by: Greati, Vitor, et al.
Published: (2024)

Continuous Edge Chromatic Numbers of Abelian Group Actions
by: Gao, Su, et al.
Published: (2024)

The Cardinalities of Intervals of Equational Theories and Logics
by: Aguilera, Juan P., et al.
Published: (2026)

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

Linear Logic and the Hilbert Scheme
by: Troiani, William, et al.
Published: (2025)

A note on quantitative stability in Hilbert spaces
by: Jing, Yifan
Published: (2026)

A Model Companion for Abelian Lattice-Ordered Groups with a Valuation
by: Stokes-Waters, John
Published: (2026)

From Actions to Obligations: A Deontic Action Model Logic
by: Cignarale, Giorgio
Published: (2026)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

Primitive Recursive Dependent Type Theory
by: Buchholtz, Ulrik, et al.
Published: (2024)

Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
by: Przybocki, Benjamin, et al.
Published: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

Partial Model Theory -- Ultraproducts and Compactness
by: Carnier, Rodolfo Cunha
Published: (2024)

Model Theory of General von Neumann Algebras II: Group Actions and Crossed Products
by: Arulseelan, Jananan
Published: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)

Universal Proof Theory, TACL 2022 Lecture Notes
by: Iemhoff, Rosalie, et al.
Published: (2023)

A Naive Encoding of Russell's Paradox in Type Theory
by: Qu, Zhuoyuan
Published: (2025)

Paraconsistent Existential Graphs Gamma Peirce System
by: Sierra-Aristizabal, Manuel
Published: (2023)

Hilbert's tenth problem via additive combinatorics
by: Koymans, Peter, et al.
Published: (2024)

Hilbert's tenth problem for finitely generated rings
by: Koymans, Peter, et al.
Published: (2026)

The Latent Space of Equational Theories
by: Berlioz, Luis, et al.
Published: (2026)