Copertina

Some model theory of the Heisenberg group

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Frącek, Maciej, Kowalski, Piotr
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Positive characteristic Ax-Schanuel
di: Kowalski, Piotr
Pubblicazione: (2023)

Some model theory of quadratic geometries
di: Kestner, Charlotte, et al.
Pubblicazione: (2024)

Automorphism groups of measures on the Cantor space. Part I: Good measures and Rokhlin properties
di: Doucha, Michal, et al.
Pubblicazione: (2025)

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

PAC structures as invariants of finite group actions
di: Hoffmann, Daniel Max, et al.
Pubblicazione: (2023)

The class of Krasner hyperfields is not elementary
di: Błaszkiewicz, Piotr, et al.
Pubblicazione: (2024)

Of model completeness and algebraic groups
di: Hoffmann, Daniel Max, et al.
Pubblicazione: (2023)

On generic and supertight automorphisms
di: Kowalski, Piotr, et al.
Pubblicazione: (2026)

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

An axiomatization for the universal theory of the Heisenberg group
di: Gaglione, Anthony M., et al.
Pubblicazione: (2023)

A logic of co-valuations
di: Malicki, Maciej
Pubblicazione: (2025)

Isomorphism of locally compact Polish metric structures
di: Malicki, Maciej
Pubblicazione: (2022)

Decidability of Quasi-Dense Modal Logics
di: Ostropolski-Nalewaja, Piotr, et al.
Pubblicazione: (2024)

P-measures in models without P-points
di: Borodulin-Nadzieja, Piotr, et al.
Pubblicazione: (2024)

Corrigendum to "Model Theory of Fields with Virtually Free Group Actions"
di: Beyarslan, Özlem, et al.
Pubblicazione: (2017)

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)

A modular bisimulation characterisation for fragments of hybrid logic
di: Badia, Guillermo, et al.
Pubblicazione: (2023)

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

Definable groups and fields in t-minimal theories
di: Johnson, Will
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)

Definiteness properties of first-order schemes
di: Gruza, Piotr, et al.
Pubblicazione: (2025)

On two consequences of CH established by Sierpinski. II
di: Pol, Roman, et al.
Pubblicazione: (2024)

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

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

Subvarieties of pointed Abelian l-groups
di: Jankovec, Filip
Pubblicazione: (2025)

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

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)

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

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)

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

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