Buchumschlag

Dividing Lines between Positive Theories

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dmitrieva, Anna, Gallinaro, Francesco, Kamsma, Mark
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Positive Logic: An Introduction for Model Theorists
von: Kamsma, Mark
Veröffentlicht: (2025)

Positive indiscernibles
von: Kamsma, Mark
Veröffentlicht: (2023)

Quasiminimality of complex powers
von: Gallinaro, Francesco, et al.
Veröffentlicht: (2023)

On Some Systems of Equations in Abelian Varieties
von: Gallinaro, Francesco
Veröffentlicht: (2022)

Unstable independence from the categorical point of view
von: Kamsma, Mark, et al.
Veröffentlicht: (2023)

Exponential sums equations and the Exponential Closedness conjecture
von: Aslanyan, Vahagn, et al.
Veröffentlicht: (2024)

Exponential Sums Equations and Tropical Geometry
von: Gallinaro, Francesco
Veröffentlicht: (2022)

Generalised Indiscernibles, Dividing Lines, and Products of Structures
von: Meir, Nadav, et al.
Veröffentlicht: (2023)

Corrigendum to "Kim-independence in positive logic"
von: Dobrowolski, Jan, et al.
Veröffentlicht: (2024)

NSOP$_1$-like independence in AECats
von: Kamsma, Mark
Veröffentlicht: (2021)

On the elementary theory of the real exponential field
von: Berarducci, Alessandro, et al.
Veröffentlicht: (2026)

Lifting independence along functors
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

Projective curves and weak second-order logic
von: Berarducci, Alessandro, et al.
Veröffentlicht: (2025)

Existentially closed models and locally zero-dimensional toposes
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

Likely intersections in powers of the multiplicative group
von: Dill, Gabriel Andreas, et al.
Veröffentlicht: (2025)

Consequences of Dependent Dividing on Burden
von: Takahashi, Yuki
Veröffentlicht: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2025)

Automorphisms of valued fields: amalgamation and existential closedness
von: Dobrowolski, Jan, et al.
Veröffentlicht: (2025)

Rings and Boolean Algebras as Algebraic Theories
von: De Faveri, Arturo
Veröffentlicht: (2025)

Primitive Recursive Dependent Type Theory
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2024)

Fixed Point Theorems in Computability Theory
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2024)

Inexpressibility in Exp-Minus-Log
von: Carney, Mark
Veröffentlicht: (2026)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
von: Hermes, Marc, et al.
Veröffentlicht: (2023)

The Pebble-Relation Comonad in Finite Model Theory
von: Montacute, Yoàv, et al.
Veröffentlicht: (2021)

Characterizing Sets of Theories That Can Be Disjointly Combined
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

Universal Proof Theory, TACL 2022 Lecture Notes
von: Iemhoff, Rosalie, et al.
Veröffentlicht: (2023)

Proof Theory and Decision Procedures for Deontic STIT Logics
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
von: Geuvers, Herman
Veröffentlicht: (2026)

A Naive Encoding of Russell's Paradox in Type Theory
von: Qu, Zhuoyuan
Veröffentlicht: (2025)

Existential Positive Transductions of Sparse Graphs
von: Mählmann, Nikolas, et al.
Veröffentlicht: (2026)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2018)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2018)

Notes on Interpretability between Weak First-order Theories: Theories of Sequences
von: Kristiansen, Lars, et al.
Veröffentlicht: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
von: Sabelli, Pietro
Veröffentlicht: (2024)

Axiomatic Theory of Independence Relations in Model Theory
von: d'Elbée, Christian
Veröffentlicht: (2023)

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

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
von: Takahashi, Yuta
Veröffentlicht: (2024)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
von: Ma, Zhifeng, et al.
Veröffentlicht: (2024)