Imagen de Portada

A note on some example of NSOP1 theories

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Bossut, Yvon
Formato:	Preprint
Publicado:	2023
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Looking for stabilizers in NSOP$\_1$
por: Bossut, Yvon
Publicado: (2025)

A note on stable Kim-forking
por: Bossut, Yvon
Publicado: (2025)

On some Fraisse limits with free amalgamation
por: Bossut, Yvon
Publicado: (2024)

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

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

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

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

NSOP$_1$-like independence in AECats
por: Kamsma, Mark
Publicado: (2021)

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

Hereditary undecidability of fragments of some elementary theories
por: Karpov, Vladimir E.
Publicado: (2024)

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

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

Formalization of dependent type theory: The example of CaTT
por: Benjamin, Thibaut
Publicado: (2021)

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

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

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
por: Benedikt, Michael, et al.
Publicado: (2026)

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

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
por: Herbelin, Hugo
Publicado: (2024)

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

A note on quantitative stability in Hilbert spaces
por: Jing, Yifan
Publicado: (2026)

A note on measure-theoretic domatic partitions
por: Hou, Edward
Publicado: (2022)

Bringing closure to theory combination properties
por: Toledo, Guilherme V., et al.
Publicado: (2026)

Undecidability of theories of semirings with fixed points
por: Das, Anupam, et al.
Publicado: (2025)

On some subtheories of strong dependent choice
por: Aguilera, Juan P., et al.
Publicado: (2024)

A synthetic overview on some known characterizations of Woodin cardinals
por: Gullà, Gabriele
Publicado: (2024)

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

On proving consistency of equational theories in Bounded Arithmetic
por: Beckmann, Arnold, et al.
Publicado: (2022)

A note on transfer maps and the Morley product in NIP theories
por: Gannon, Kyle
Publicado: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
por: Das, Anupam, et al.
Publicado: (2024)

On Star operation and some ideals on the Baire space
por: Cieślak, Aleksander, et al.
Publicado: (2026)

Being polite is not enough (and other limits of theory combination)
por: Toledo, Guilherme V., et al.
Publicado: (2025)

A note on computable étale spaces
por: de Brecht, Matthew
Publicado: (2026)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
por: de Jong, Tom, et al.
Publicado: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
por: Becker, Justus, et al.
Publicado: (2026)

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

Arithmetical completeness for some extensions of the pure logic of necessitation
por: Kogure, Haruka
Publicado: (2024)

Natural Deduction systems for some weak Subintuitionistic Logics
por: Maleki, Fatemeh Shirmohammadzadeh
Publicado: (2024)

Wider systems for linear logic with fixed points: proof theory and complexity
por: Das, Anupam, et al.
Publicado: (2026)

Tarskian truth theories over set theory
por: Enayat, Ali
Publicado: (2026)

Definable coordinate geometries over fields, part 1: theory
por: Madarász, Judit, et al.
Publicado: (2025)