Cover Image

Looking for stabilizers in NSOP$\_1$

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Bossut, Yvon
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

On some Fraisse limits with free amalgamation
by: Bossut, Yvon
Published: (2024)

An $\mathrm{NSOP}_{1}$ theory without the existence axiom
by: Mutchnik, Scott
Published: (2024)

Existence in NSOP$_1$ theories
by: Kim, Byunghan, et al.
Published: (2024)

A note on one-variable theorems for NSOP
by: Johnson, Will
Published: (2025)

Properties of independence in $\mathrm{NSOP}_3$ theories
by: Mutchnik, Scott
Published: (2023)

NSOP$_1$-like independence in AECats
by: Kamsma, Mark
Published: (2021)

A note on $μ$-stabilizers in ACVF
by: Ye, Jinhe
Published: (2019)

Measures and stability in a model, revisited
by: d'Elbée, Christian, et al.
Published: (2026)

Higher arity stability and the functional order property
by: Abd-Aldaim, A., et al.
Published: (2023)

Higher-order generalizations of stability and arithmetic regularity
by: Terry, C., et al.
Published: (2021)

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

Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm
by: Stevens, Lukas, et al.
Published: (2025)

When does $\aleph_1$-categoricity imply $ω$-stability?
by: Baldwin, John T., et al.
Published: (2023)

Proofs that Modify Proofs, 1/2
by: Towsner, Henry
Published: (2025)

Prime Factorization in Models of PV$_1$
by: Ježil, Ondřej
Published: (2025)

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
by: Hanisch, Philipp, et al.
Published: (2026)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
by: Suzuki, Yudai, et al.
Published: (2024)

$\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals
by: Hoffelner, Stefan
Published: (2025)

The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
by: Hoffelner, Stefan
Published: (2024)

$Σ_1$-Stationary logic as an $\aleph_1$-Abstract Elementary Class
by: Boney, Will
Published: (2024)

Measuring the complexity of characterizing $[0, 1]$, $S^1$, and $\mathbb{R}$ up to homeomorphism
by: Harrison-Trainor, Matthew, et al.
Published: (2024)

Certified $Σ_1$-sentences
by: Kurahashi, Taishi, et al.
Published: (2023)

Indiscernible extraction at small large cardinals from a higher-arity stability notion
by: Hanson, James E.
Published: (2025)

Topologically 1-based T-minimal Structures
by: Castle, Benjamin, et al.
Published: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
by: Livson, Ori, et al.
Published: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
by: Oda, Yukihiro
Published: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
by: Hansen, Helle Hvid, et al.
Published: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
by: Ayhan, Sara, et al.
Published: (2025)

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)

Basis-Sensitive Quantum Typing via Realisability
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)

Skolemization In Intermediate Logics
by: Baaz, Matthias, et al.
Published: (2025)

Shininess, strong politeness, and unicorns
by: Przybocki, Benjamin, et al.
Published: (2025)

Quantum modal logic
by: Tokuo, Kenji
Published: (2025)