:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Ye, Jinhe
Format:	Preprint
Published:	2019
Subjects:	Logic
Online Access:	https://arxiv.org/abs/1910.02888
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An invitation to extension domination
by: Gannon, Kyle, et al.
Published: (2022)

Curve-excluding fields
by: Johnson, Will, et al.
Published: (2023)

Hyperbolicity and model-complete fields
by: Szachniewicz, Michał, et al.
Published: (2024)

Non-trivial higher homotopy of first-order theories
by: Campion, Tim, et al.
Published: (2023)

When is the étale open topology a field topology?
by: Dittmann, Philip, et al.
Published: (2022)

The étale open topology over the fraction field of a henselian local domain
by: Johnson, Will, et al.
Published: (2021)

Large implies henselian
by: Johnson, Will, et al.
Published: (2025)

Demystifying $μ$
by: Afshari, Bahareh, et al.
Published: (2024)

A note on quantitative stability in Hilbert spaces
by: Jing, Yifan
Published: (2026)

Zilber's Trichotomy in Hausdorff Geometric Structures
by: Castle, Benjamin, et al.
Published: (2024)

A note on $\varepsilon$-stability
by: Chavarria, Nicolas
Published: (2024)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)

A note on Stone-Čech compactification in ZFA
by: Przybyłek, Michał R.
Published: (2023)

Stable formulas in ordered structures
by: Hoffmann, Daniel Max, et al.
Published: (2020)

The étale-open topology and the stable fields conjecture
by: Johnson, Will, et al.
Published: (2020)

When is $A + x A =\mathbb{R}$
by: Ye, Jinhe, et al.
Published: (2025)

Game semantics for lattice-based modal μ-calculus
by: Ding, Yiwen, et al.
Published: (2023)

Peano Arithmetic and $μ$MALL
by: Manighetti, Matteo, et al.
Published: (2023)

Tropical functions on a skeleton
by: Ducros, Antoine, et al.
Published: (2022)

A note on stable Kim-forking
by: Bossut, Yvon
Published: (2025)

A note on the modal logic of symmetric extensions
by: Duncan, Hope
Published: (2026)

A short note on model theory of C((t))
by: Zhang, Zhentao
Published: (2025)

A note on some example of NSOP1 theories
by: Bossut, Yvon
Published: (2023)

A note on schematic validity and completeness in Prawitz's semantics
by: d'Aragona, Antonio Piccolomini
Published: (2025)

Of model completeness and algebraic groups
by: Hoffmann, Daniel Max, et al.
Published: (2023)

Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)

Beautiful pairs
by: Kovacsics, Pablo Cubides, et al.
Published: (2021)

A note on the Ketonen order and Lipschitz reducibility between ultrafilters
by: Kaplan, Eyal
Published: (2025)

A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)

A note on measure-theoretic domatic partitions
by: Hou, Edward
Published: (2022)

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
by: Spronck, Myrthe, et al.
Published: (2024)

A note on computable étale spaces
by: de Brecht, Matthew
Published: (2026)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
by: Bauer, Esaïe, et al.
Published: (2025)

A note on the definability of genus for Zariski geometries
by: García, Darío, et al.
Published: (2021)

A note on unlikely intersections in Shimura varieties
by: Aslanyan, Vahagn, et al.
Published: (2022)

A note on adding isomorphisms and the pseudointersection number
by: Switzer, Corey Bacal
Published: (2025)

Looking for stabilizers in NSOP$\_1$
by: Bossut, Yvon
Published: (2025)

A note on uniform definability of types over finite sets in partial orders of finite width
by: Krisam, Timo, et al.
Published: (2024)

Lang-Weil Type Estimates in Finite Difference Fields
by: Hils, Martin, et al.
Published: (2024)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
by: Hausmann, Daniel, et al.
Published: (2025)