Image de couverture de livre

Some model theory of the Heisenberg group

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Frącek, Maciej, Kowalski, Piotr
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

Positive characteristic Ax-Schanuel
par: Kowalski, Piotr
Publié: (2023)

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

Automorphism groups of measures on the Cantor space. Part I: Good measures and Rokhlin properties
par: Doucha, Michal, et autres
Publié: (2025)

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

PAC structures as invariants of finite group actions
par: Hoffmann, Daniel Max, et autres
Publié: (2023)

The class of Krasner hyperfields is not elementary
par: Błaszkiewicz, Piotr, et autres
Publié: (2024)

Of model completeness and algebraic groups
par: Hoffmann, Daniel Max, et autres
Publié: (2023)

On generic and supertight automorphisms
par: Kowalski, Piotr, et autres
Publié: (2026)

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

An axiomatization for the universal theory of the Heisenberg group
par: Gaglione, Anthony M., et autres
Publié: (2023)

A logic of co-valuations
par: Malicki, Maciej
Publié: (2025)

Isomorphism of locally compact Polish metric structures
par: Malicki, Maciej
Publié: (2022)

Decidability of Quasi-Dense Modal Logics
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

P-measures in models without P-points
par: Borodulin-Nadzieja, Piotr, et autres
Publié: (2024)

Corrigendum to "Model Theory of Fields with Virtually Free Group Actions"
par: Beyarslan, Özlem, et autres
Publié: (2017)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

A short note on model theory of C((t))
par: Zhang, Zhentao
Publié: (2025)

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

A modular bisimulation characterisation for fragments of hybrid logic
par: Badia, Guillermo, et autres
Publié: (2023)

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

Definable groups and fields in t-minimal theories
par: Johnson, Will
Publié: (2026)

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

Some remarks on lattices of equivalences
par: Herrmann, Christian
Publié: (2025)

Fragments of Some Subintuitionistic Logics
par: Maleki, Fatemeh Shirmohammadzadeh, et autres
Publié: (2025)

Some Observations on Infinitary Complexity
par: Carl, Merlin
Publié: (2018)

Definiteness properties of first-order schemes
par: Gruza, Piotr, et autres
Publié: (2025)

On two consequences of CH established by Sierpinski. II
par: Pol, Roman, et autres
Publié: (2024)

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)

Subvarieties of pointed Abelian l-groups
par: Jankovec, Filip
Publié: (2025)

Characterizing fragments of collection principle in set theory with model theoretic properties
par: Chen, Junhong
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)

The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
par: Bahrami, Saeideh
Publié: (2026)

Some applications of fuzzy sets in residuated lattices
par: Flaut, Cristina, et autres
Publié: (2024)

Some Epistemic Extensions of Gödel Fuzzy Logic
par: Dastgheib, D., et autres
Publié: (2016)

Some contributions to presheaf model theory
par: Brunner, Andreas, et autres
Publié: (2024)

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

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

Relative model completeness of henselian valued fields with finite ramification and various value groups
par: De Mase, Anna
Publié: (2023)