Copertina

Some model theory of quadratic geometries

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kestner, Charlotte, Ramsey, Nicholas
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Classification Theory and the Construction of PAC Fields
di: Ramsey, Nicholas
Pubblicazione: (2026)

A two-sorted theory of nilpotent Lie algebras
di: d'Elbée, Christian, et al.
Pubblicazione: (2024)

Measures on bounded perfect PAC fields
di: Chatzidakis, Zoé, et al.
Pubblicazione: (2025)

A New Kim's Lemma
di: Kruckman, Alex, et al.
Pubblicazione: (2023)

Some model theory of the Heisenberg group
di: Frącek, Maciej, et al.
Pubblicazione: (2025)

Primitive pseudo-finite permutation groups of finite SU-rank
di: Karhumäki, Ulla, et al.
Pubblicazione: (2025)

Stationarity and elimination of imaginaries in stable and simple theories
di: Bartnick, Charlotte
Pubblicazione: (2024)

Model-theoretic properties of nilpotent groups and Lie algebras
di: d'Elbée, Christian, et al.
Pubblicazione: (2023)

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

Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)
di: Melleray, Julien
Pubblicazione: (2026)

Proof mining and probability theory
di: Neri, Morenikeji, et al.
Pubblicazione: (2024)

A systematic way of analysing proofs in probability theory
di: Neri, Morenikeji, et al.
Pubblicazione: (2026)

Some General Completeness Results for Propositionally Quantified Modal Logics
di: Ding, Yifeng, et al.
Pubblicazione: (2024)

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

Ranking theories via encoded $β$-models
di: Jeon, Hanul, et al.
Pubblicazione: (2025)

Embedding stable groups into algebraic groups
di: Bartnick, Charlotte
Pubblicazione: (2025)

The model theory of perfectoid fields [after Jahnke and Kartas]
di: Anscombe, Sylvy
Pubblicazione: (2026)

Implicative models of set theory
di: Maschio, Samuele, et al.
Pubblicazione: (2023)

Some remarks on lattices of equivalences
di: Herrmann, Christian
Pubblicazione: (2025)

Fragments of Some Subintuitionistic Logics
di: Maleki, Fatemeh Shirmohammadzadeh, et al.
Pubblicazione: (2025)

Some Observations on Infinitary Complexity
di: Carl, Merlin
Pubblicazione: (2018)

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

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

Characterizing fragments of collection principle in set theory with model theoretic properties
di: Chen, Junhong
Pubblicazione: (2025)

Galois theory, automorphism groups of prime models, and the Picard-Vessiot closure
di: Meretzky, David, et al.
Pubblicazione: (2026)

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

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

Some applications of fuzzy sets in residuated lattices
di: Flaut, Cristina, et al.
Pubblicazione: (2024)

Some Epistemic Extensions of Gödel Fuzzy Logic
di: Dastgheib, D., et al.
Pubblicazione: (2016)

Some contributions to presheaf model theory
di: Brunner, Andreas, et al.
Pubblicazione: (2024)

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

Definable coordinate geometries over fields, part 2: applications
di: Madarász, Judit, et al.
Pubblicazione: (2025)

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

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

Some Results on Finitely Splitting Subtrees of Aronszajn Trees
di: Krueger, John
Pubblicazione: (2024)

Some observations on a result by Bialinicki-Birula and Zelazko
di: Gullà, Gabriele
Pubblicazione: (2024)

Some results in non-monotonic proof-theoretic semantics
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)

Some contributions to presheaf model theory, II -- back and forth
di: Brunner, Andreas, et al.
Pubblicazione: (2026)

Formal model theory and higher topology
di: Ivan Di Liberti
Pubblicazione: (2024)

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