Buchumschlag

Axiomatic Theory of Independence Relations in Model Theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	d'Elbée, Christian
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

Generic multiplicative endomorphism of a field
von: d'Elbée, Christian
Veröffentlicht: (2022)

Measures and stability in a model, revisited
von: d'Elbée, Christian, et al.
Veröffentlicht: (2026)

Wilson conjecture for omega-categorical Lie algebras, the case 4-Engel characteristic 3
von: d'Elbée, Christian
Veröffentlicht: (2024)

Wilson conjecture for omega-categorical Lie algebras, the case 3-Engel characteristic 5
von: d'Elbée, Christian
Veröffentlicht: (2024)

The classification of dp-minimal integral domains
von: d'Elbée, Christian, et al.
Veröffentlicht: (2024)

Model-theoretic properties of nilpotent groups and Lie algebras
von: d'Elbée, Christian, et al.
Veröffentlicht: (2023)

A two-sorted theory of nilpotent Lie algebras
von: d'Elbée, Christian, et al.
Veröffentlicht: (2024)

Arboreal Categories: An Axiomatic Theory of Resources
von: Abramsky, Samson, et al.
Veröffentlicht: (2021)

An Axiomatic Theory for Reversible Computation
von: Lanese, Ivan, et al.
Veröffentlicht: (2023)

Axiomatization and Forcing in Set Theory with Urelements
von: Yao, Bokai
Veröffentlicht: (2022)

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

Axiomatization of Büchi arithmetic
von: Kovalyov, Konstantin
Veröffentlicht: (2024)

Dynamic Probability Logics: Axiomatization & Definability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

Axiomatizing logics of finite Gödel-Kripke models
von: Vidal, Amanda, et al.
Veröffentlicht: (2026)

Axiomatic theories of supervaluational truth: completing the picture
von: Dopico, Pablo, et al.
Veröffentlicht: (2024)

Axiomatizing Rumsfeld Ignorance
von: Fan, Jie
Veröffentlicht: (2025)

Axiomatizing the Logic of Ordinary Discourse
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Collusion Relations and their Applications to Balance Theory
von: Joinet, Jean-Baptiste, et al.
Veröffentlicht: (2026)

Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities
von: Jarmuzek, Tomasz, et al.
Veröffentlicht: (2024)

Partial Model Theory -- Ultraproducts and Compactness
von: Carnier, Rodolfo Cunha
Veröffentlicht: (2024)

Relative consistency of Set Matrix Theory with ZF
von: Cabbolet, Marcoen J. T. F.
Veröffentlicht: (2024)

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)

(Pointed) Univalence in Universe Category Models of Type Theory
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

Verifying SQL Queries using Theories of Tables and Relations
von: Mohamed, Mudathir, et al.
Veröffentlicht: (2024)

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

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

An Introduction to Categorical Proof Theory
von: Tabatabai, Amirhossein Akbar
Veröffentlicht: (2024)

The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra
von: Backhouse, Roland, et al.
Veröffentlicht: (2023)

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)

Axiomatization of approximate exclusion
von: Häggblom, Matilda
Veröffentlicht: (2024)

Axiomatizing approximate inclusion
von: Häggblom, Matilda
Veröffentlicht: (2025)

A Relational Theory of Grounding and a new Grounder for SMT
von: Carbonnelle, Pierre
Veröffentlicht: (2026)

On Approximate Classification of Theories
von: Burka, Alexander
Veröffentlicht: (2025)

Groupoidal Realizability for Intensional Type Theory
von: Speight, Sam
Veröffentlicht: (2024)

Coslice Colimits in Homotopy Type Theory
von: Hart, Perry, et al.
Veröffentlicht: (2024)