:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Bartnick, Charlotte
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2406.16586
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Embedding stable groups into algebraic groups
by: Bartnick, Charlotte
Published: (2025)

Cut-elimination for the alternation-free modal mu-calculus
by: Afshari, Bahareh, et al.
Published: (2025)

Transfer of generalized amalgamation in simple theories
by: Schilling, Baptiste
Published: (2026)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
by: Afshari, Bahareh, et al.
Published: (2024)

New simple theories from hypergraph sequences
by: Malliaris, M., et al.
Published: (2021)

An efficient quantifier elimination procedure for Presburger arithmetic
by: Haase, Christoph, et al.
Published: (2024)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
by: Oda, Yukihiro, et al.
Published: (2021)

Some model theory of quadratic geometries
by: Kestner, Charlotte, et al.
Published: (2024)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
by: Oda, Yukihiro
Published: (2025)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
by: Oda, Yukihiro, et al.
Published: (2022)

Normalization and cut-elimination theorems for some logics of evidence and truth
by: Coniglio, Marcelo E., et al.
Published: (2024)

Cut elimination for a non-wellfounded system for the master modality
by: Miranda, Borja Sierra, et al.
Published: (2025)

Almost free algebras: from the word problem to elimination of quantifiers
by: Jia, Yifan, et al.
Published: (2026)

Maximal stable quotients of invariant types in NIP theories
by: Krupiński, Krzysztof, et al.
Published: (2023)

Groupoids, imaginaries and internal covers
by: Hrushovski, Ehud
Published: (2006)

Affinization and quantifier-elimination
by: Bagheri, Seyed-Mohammad
Published: (2025)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
by: Bauer, Esaïe, et al.
Published: (2025)

Model completeness and quantifier elimination for (ordered) central simple algebras with involution
by: Astier, Vincent
Published: (2025)

Non-forking independence in stable theories
by: Martin-Pizarro, Amador
Published: (2024)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
by: Alvarez, David Quinn
Published: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
by: Hori, Hiromasa, et al.
Published: (2023)

Decomposing graphs into stable and ordered parts
by: Buffière, Hector, et al.
Published: (2025)

Definability and decidability for rings of integers in totally imaginary fields
by: Springer, Caleb
Published: (2022)

A uniform cut-elimination theorem for linear logics with fixed points and super exponentials
by: Bauer, Esaïe, et al.
Published: (2025)

Stabilized profunctors and stable species of structures
by: Fiore, Marcelo, et al.
Published: (2023)

On stable Kim-forking and rosy theories
by: Miguel-Gómez, Alberto
Published: (2025)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

Undecidability of theories of semirings with fixed points
by: Das, Anupam, et al.
Published: (2025)

Strong negation in the theory of computable functionals TCF
by: Köpp, Nils, et al.
Published: (2022)

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)

Hilbert spaces admit no finitary discrete imaginaries
by: Chen, Ruiyuan, et al.
Published: (2025)

Epsilon-saturation for stable graphs and Littlestone classes
by: Malliaris, Maryanthe, et al.
Published: (2025)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

Being polite is not enough (and other limits of theory combination)
by: Toledo, Guilherme V., et al.
Published: (2025)

On the regularity of almost stable relations
by: Girón, Marcos
Published: (2025)

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

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

A simple formalization of alpha-equivalence
by: Apinis, Kalmer, et al.
Published: (2025)

Tensor term logic for categorial grammars: simple unification of commutative and noncommutative structure
by: Slavnov, Sergey
Published: (2023)

Decomposition horizons and a characterization of stable hereditary classes of graphs
by: Braunfeld, Samuel, et al.
Published: (2022)