Buchumschlag

Dependent measures in independent theories

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Khanaki, Karim
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On classification of continuous first order theories
von: Khanaki, Karim
Veröffentlicht: (2022)

Generic Stability and Modes of Convergence
von: Khanaki, Karim
Veröffentlicht: (2022)

Glivenko-Cantelli classes and NIP formulas
von: Khanaki, Karim
Veröffentlicht: (2021)

Remarks on convergence of Morley sequences
von: Khanaki, Karim
Veröffentlicht: (2021)

Simple Models of Randomization and Preservation Theorems
von: Khanaki, Karim, et al.
Veröffentlicht: (2024)

Choice and independence of premise rules in intuitionistic set theory
von: Frittaion, Emanuele, et al.
Veröffentlicht: (2024)

Abstract independence relations in neostability theory
von: Miguel-Gómez, Alberto
Veröffentlicht: (2025)

Non-forking independence in stable theories
von: Martin-Pizarro, Amador
Veröffentlicht: (2024)

Properties of independence in $\mathrm{NSOP}_3$ theories
von: Mutchnik, Scott
Veröffentlicht: (2023)

An independence of the MIN principle from the PHP principle
von: Narusevych, Mykyta
Veröffentlicht: (2024)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

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

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

Bringing closure to theory combination properties
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2026)

Undecidability of theories of semirings with fixed points
von: Das, Anupam, et al.
Veröffentlicht: (2025)

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

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

On proving consistency of equational theories in Bounded Arithmetic
von: Beckmann, Arnold, et al.
Veröffentlicht: (2022)

Smooth measures and the canonical retraction in NIP theories
von: Pigé, Xavier
Veröffentlicht: (2024)

Being polite is not enough (and other limits of theory combination)
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2025)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

Imaginaries in perfect bounded pseudo algebraically closed fields with finitely many independent valuations
von: Leandro, Bryan González
Veröffentlicht: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
von: Das, Anupam, et al.
Veröffentlicht: (2026)

Tarskian truth theories over set theory
von: Enayat, Ali
Veröffentlicht: (2026)

A background independent notion of causality
von: Capolupo, Antonio, et al.
Veröffentlicht: (2023)

Separability Properties of Monadically Dependent Graph Classes
von: Bonnet, Édouard, et al.
Veröffentlicht: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
von: de Jong, Tom
Veröffentlicht: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

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

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

Dependence of functions on their variables
von: Farah, Ilijas
Veröffentlicht: (2025)

On unsuperstable theories in GDST
von: Moreno, Miguel
Veröffentlicht: (2022)

Constructive theory of ordinals
von: Coquand, Thierry, et al.
Veröffentlicht: (2022)

Gradualist descriptionalist set theory
von: Simmons, David
Veröffentlicht: (2026)

Indiscernibles in monadically NIP theories
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2024)

Conant-independence and generalized free amalgamation
von: Mutchnik, Scott
Veröffentlicht: (2022)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
von: Dreier, Jan, et al.
Veröffentlicht: (2024)

Homotopy type theory as a language for diagrams of $\infty$-logoses
von: Uemura, Taichi
Veröffentlicht: (2022)

Formalizing two-level type theory with cofibrant exo-nat
von: Uskuplu, Elif
Veröffentlicht: (2023)