Image de couverture de livre

A short note on model theory of C((t))

Fuente: arXiv

Enregistré dans:

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

Documents similaires

On definable J-sets
par: Zhang, Zhentao
Publié: (2025)

A note on some example of NSOP1 theories
par: Bossut, Yvon
Publié: (2023)

A note on the theory of well orders
par: Jeřábek, Emil
Publié: (2024)

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

A note on stable Kim-forking
par: Bossut, Yvon
Publié: (2025)

A note on $μ$-stabilizers in ACVF
par: Ye, Jinhe
Publié: (2019)

Some model theory of the Heisenberg group
par: Frącek, Maciej, et autres
Publié: (2025)

Some model theory of quadratic geometries
par: Kestner, Charlotte, et autres
Publié: (2024)

A note on the modal logic of symmetric extensions
par: Duncan, Hope
Publié: (2026)

A short note on the Massicot-Wagner method
par: Fanlo, Arturo Rodríguez
Publié: (2025)

Ranking theories via encoded $β$-models
par: Jeon, Hanul, et autres
Publié: (2025)

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

On the isomorphism problem for ultraproducts of $\mathrm{C}^*$-algebras in continuous model theory
par: Arai, Akihiko
Publié: (2025)

The model theory of perfectoid fields [after Jahnke and Kartas]
par: Anscombe, Sylvy
Publié: (2026)

The short exact sequence in definable Galois cohomology
par: Meretzky, David
Publié: (2024)

A note on the Ketonen order and Lipschitz reducibility between ultrafilters
par: Kaplan, Eyal
Publié: (2025)

Implicative models of set theory
par: Maschio, Samuele, et autres
Publié: (2023)

A note on quantitative stability in Hilbert spaces
par: Jing, Yifan
Publié: (2026)

A note on measure-theoretic domatic partitions
par: Hou, Edward
Publié: (2022)

Undecidability of theories of semirings with fixed points
par: Das, Anupam, et autres
Publié: (2025)

Bringing closure to theory combination properties
par: Toledo, Guilherme V., et autres
Publié: (2026)

Characterizing fragments of collection principle in set theory with model theoretic properties
par: Chen, Junhong
Publié: (2025)

Galois theory, automorphism groups of prime models, and the Picard-Vessiot closure
par: Meretzky, David, et autres
Publié: (2026)

A short nonstandard proof of the Doob-Meyer and Dol{é}ans-Dade theorems
par: Matsunaga, Takashi
Publié: (2025)

Strong negation in the theory of computable functionals TCF
par: Köpp, Nils, et autres
Publié: (2022)

On proving consistency of equational theories in Bounded Arithmetic
par: Beckmann, Arnold, et autres
Publié: (2022)

A note on transfer maps and the Morley product in NIP theories
par: Gannon, Kyle
Publié: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
par: Das, Anupam, et autres
Publié: (2024)

Being polite is not enough (and other limits of theory combination)
par: Toledo, Guilherme V., et autres
Publié: (2025)

A note on computable étale spaces
par: de Brecht, Matthew
Publié: (2026)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
par: de Jong, Tom, et autres
Publié: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
par: Becker, Justus, et autres
Publié: (2026)

A note on uniform definability of types over finite sets in partial orders of finite width
par: Krisam, Timo, et autres
Publié: (2024)

Formal model theory and higher topology
par: Ivan Di Liberti
Publié: (2024)

Wider systems for linear logic with fixed points: proof theory and complexity
par: Das, Anupam, et autres
Publié: (2026)

Tarskian truth theories over set theory
par: Enayat, Ali
Publié: (2026)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
par: Hamkins, Joel David
Publié: (2022)

A note on adding isomorphisms and the pseudointersection number
par: Switzer, Corey Bacal
Publié: (2025)

A note on the definability of genus for Zariski geometries
par: García, Darío, et autres
Publié: (2021)

A note on unlikely intersections in Shimura varieties
par: Aslanyan, Vahagn, et autres
Publié: (2022)