Image de couverture de livre

Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Kesting, Christoph
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The Klein j-Function is not Pfaffian over the Real Exponential Field
par: Kesting, Christoph
Publié: (2023)

Generic derivations, differential largeness, and NTP$_2$
par: Kaplan, Elliot, et autres
Publié: (2025)

A dichotomy for $T$-convex fields with a monomial group
par: Kaplan, Elliot, et autres
Publié: (2023)

Taming Koepke's Zoo II: Register Machines
par: Carl, Merlin
Publié: (2019)

Residually Dominated Groups in Henselian Valued Fields of Equicharacteristic Zero
par: Mutlu, Dicle, et autres
Publié: (2025)

Tame pairs of transseries fields
par: Pynn-Coates, Nigel
Publié: (2024)

Contracting Endomorphisms of Valued Fields
par: Dor, Yuval, et autres
Publié: (2023)

The Value Problem for Multiple-Environment MDPs with Parity Objective
par: Chatterjee, Krishnendu, et autres
Publié: (2025)

T-Convexity, Tame Extensions and Definability of Hausdorff Limits in O-minimal Structures with Generic Derivations
par: Wang, Xiaoduo
Publié: (2025)

Model-theoretic Tameness in finite extensions of groups
par: Halevi, Yatir, et autres
Publié: (2026)

$ε$-Distance via Lévy-Prokhorov Lifting
par: Desharnais, Josée, et autres
Publié: (2025)

Difference-restriction algebras with operators
par: Borlido, Célia, et autres
Publié: (2025)

The Tameness of Quantum Field Theory, Part I -- Amplitudes
par: Douglas, Michael R., et autres
Publié: (2022)

A Toolkit for Structured Lifts
par: Kapulkin, Chris, et autres
Publié: (2025)

A Dual-Threshold Probabilistic Knowing Value Logic
par: Wang, Shanxia
Publié: (2026)

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
par: D'Angelo, Keri, et autres
Publié: (2024)

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
par: Barbarossa, Davide
Publié: (2024)

Tame Complexity of Effective Field Theories in the Quantum Gravity Landscape
par: Grimm, Thomas W., et autres
Publié: (2026)

Cross-Sections of Divisible Abelian $o$-Groups via Tame Pairs
par: Piepenborn, Ricardo Palomino
Publié: (2025)

Universal Horn Sentences and the Joint Embedding Property
par: Bodirsky, Manuel, et autres
Publié: (2021)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

Strictly Monotone Numerosity on Tame Sets via the Steiner Polynomial
par: Previdi, Joseph T.
Publié: (2020)

Faster Lifting for Ordered Domains with Predecessor Relations
par: Zou, Kuncheng, et autres
Publié: (2025)

Valued fields, Metastable groups
par: Hrushovski, Ehud, et autres
Publié: (2017)

Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
par: Bao, Jialu, et autres
Publié: (2024)

Propositional Calculus with Multiple Negations
par: Ramírez, Oscar
Publié: (2024)

Boolean basis, formula size, and number of modal operators
par: Berkholz, Christoph, et autres
Publié: (2024)

The Gluing Property
par: Hayut, Yair, et autres
Publié: (2022)

Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Lifted Inference beyond First-Order Logic
par: Malhotra, Sagar, et autres
Publié: (2023)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
par: Liang, Xiaolong, et autres
Publié: (2024)

Deep Learning as the Disciplined Construction of Tame Objects
par: Bareilles, Gilles, et autres
Publié: (2025)

Merges of Smooth Classes and Their Properties
par: Bryant, Morgan
Publié: (2024)

Combinatorial Properties of the Raisonnier Filter
par: Dialiatsis, Spyridon, et autres
Publié: (2026)

Results on Colored Tree Properties
par: Day, Gabriel
Publié: (2025)

Supercompact Measures and the Galvin Property
par: Benhamou, Tom, et autres
Publié: (2025)

Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them
par: Jamroga, Wojciech, et autres
Publié: (2020)

Three Topics in Non-decomposability of Generalized Multiplicative Connectives
par: Nishimuta, Yuki
Publié: (2018)

Quantifier Reasoning and Multiple Generality in Aristotle and Ancient Logic
par: Protin, Clarence Lewis
Publié: (2022)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
par: Pinsker, Michael, et autres
Publié: (2025)