:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Dmitrieva, Anna, Gallinaro, Francesco, Kamsma, Mark
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2304.07557
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Positive Logic: An Introduction for Model Theorists
by: Kamsma, Mark
Published: (2025)

Positive indiscernibles
by: Kamsma, Mark
Published: (2023)

On Some Systems of Equations in Abelian Varieties
by: Gallinaro, Francesco
Published: (2022)

Quasiminimality of complex powers
by: Gallinaro, Francesco, et al.
Published: (2023)

Unstable independence from the categorical point of view
by: Kamsma, Mark, et al.
Published: (2023)

Exponential sums equations and the Exponential Closedness conjecture
by: Aslanyan, Vahagn, et al.
Published: (2024)

Exponential Sums Equations and Tropical Geometry
by: Gallinaro, Francesco
Published: (2022)

Corrigendum to "Kim-independence in positive logic"
by: Dobrowolski, Jan, et al.
Published: (2024)

NSOP$_1$-like independence in AECats
by: Kamsma, Mark
Published: (2021)

On the elementary theory of the real exponential field
by: Berarducci, Alessandro, et al.
Published: (2026)

Generalised Indiscernibles, Dividing Lines, and Products of Structures
by: Meir, Nadav, et al.
Published: (2023)

Lifting independence along functors
by: Kamsma, Mark, et al.
Published: (2024)

Projective curves and weak second-order logic
by: Berarducci, Alessandro, et al.
Published: (2025)

Existentially closed models and locally zero-dimensional toposes
by: Kamsma, Mark, et al.
Published: (2024)

Likely intersections in powers of the multiplicative group
by: Dill, Gabriel Andreas, et al.
Published: (2025)

Automorphisms of valued fields: amalgamation and existential closedness
by: Dobrowolski, Jan, et al.
Published: (2025)

Consequences of Dependent Dividing on Burden
by: Takahashi, Yuki
Published: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
by: Santiago-Fernández, Sofía, et al.
Published: (2025)

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
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)

Inexpressibility in Exp-Minus-Log
by: Carney, Mark
Published: (2026)

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

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

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

Existential Positive Transductions of Sparse Graphs
by: Mählmann, Nikolas, et al.
Published: (2026)

Notes on Interpretability between Weak First-order Theories: Theories of Sequences
by: Kristiansen, Lars, et al.
Published: (2024)

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

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)

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

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
by: Sabelli, Pietro
Published: (2024)

Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)

The Relational Quotient Completion
by: Dagnino, Francesco, et al.
Published: (2024)

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