Some model theory of the Heisenberg group
Fuente:
arXiv
Salvato in:
| Autori principali: | Frącek, Maciej, Kowalski, Piotr |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Positive characteristic Ax-Schanuel
di: Kowalski, Piotr
Pubblicazione: (2023)
di: Kowalski, Piotr
Pubblicazione: (2023)
Some model theory of quadratic geometries
di: Kestner, Charlotte, et al.
Pubblicazione: (2024)
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)
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)
di: Melleray, Julien
Pubblicazione: (2026)
PAC structures as invariants of finite group actions
di: Hoffmann, Daniel Max, et al.
Pubblicazione: (2023)
di: Hoffmann, Daniel Max, et al.
Pubblicazione: (2023)
The class of Krasner hyperfields is not elementary
di: Błaszkiewicz, Piotr, et al.
Pubblicazione: (2024)
di: Błaszkiewicz, Piotr, et al.
Pubblicazione: (2024)
Of model completeness and algebraic groups
di: Hoffmann, Daniel Max, et al.
Pubblicazione: (2023)
di: Hoffmann, Daniel Max, et al.
Pubblicazione: (2023)
On generic and supertight automorphisms
di: Kowalski, Piotr, et al.
Pubblicazione: (2026)
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)
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)
di: Gaglione, Anthony M., et al.
Pubblicazione: (2023)
A logic of co-valuations
di: Malicki, Maciej
Pubblicazione: (2025)
di: Malicki, Maciej
Pubblicazione: (2025)
Isomorphism of locally compact Polish metric structures
di: Malicki, Maciej
Pubblicazione: (2022)
di: Malicki, Maciej
Pubblicazione: (2022)
Decidability of Quasi-Dense Modal Logics
di: Ostropolski-Nalewaja, Piotr, et al.
Pubblicazione: (2024)
di: Ostropolski-Nalewaja, Piotr, et al.
Pubblicazione: (2024)
P-measures in models without P-points
di: Borodulin-Nadzieja, Piotr, et al.
Pubblicazione: (2024)
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)
di: Beyarslan, Özlem, et al.
Pubblicazione: (2017)
Some General Completeness Results for Propositionally Quantified Modal Logics
di: Ding, Yifeng, et al.
Pubblicazione: (2024)
di: Ding, Yifeng, et al.
Pubblicazione: (2024)
A short note on model theory of C((t))
di: Zhang, Zhentao
Pubblicazione: (2025)
di: Zhang, Zhentao
Pubblicazione: (2025)
Ranking theories via encoded $β$-models
di: Jeon, Hanul, et al.
Pubblicazione: (2025)
di: Jeon, Hanul, et al.
Pubblicazione: (2025)
A modular bisimulation characterisation for fragments of hybrid logic
di: Badia, Guillermo, et al.
Pubblicazione: (2023)
di: Badia, Guillermo, et al.
Pubblicazione: (2023)
The model theory of perfectoid fields [after Jahnke and Kartas]
di: Anscombe, Sylvy
Pubblicazione: (2026)
di: Anscombe, Sylvy
Pubblicazione: (2026)
Definable groups and fields in t-minimal theories
di: Johnson, Will
Pubblicazione: (2026)
di: Johnson, Will
Pubblicazione: (2026)
Implicative models of set theory
di: Maschio, Samuele, et al.
Pubblicazione: (2023)
di: Maschio, Samuele, et al.
Pubblicazione: (2023)
Some remarks on lattices of equivalences
di: Herrmann, Christian
Pubblicazione: (2025)
di: Herrmann, Christian
Pubblicazione: (2025)
Fragments of Some Subintuitionistic Logics
di: Maleki, Fatemeh Shirmohammadzadeh, et al.
Pubblicazione: (2025)
di: Maleki, Fatemeh Shirmohammadzadeh, et al.
Pubblicazione: (2025)
Some Observations on Infinitary Complexity
di: Carl, Merlin
Pubblicazione: (2018)
di: Carl, Merlin
Pubblicazione: (2018)
Definiteness properties of first-order schemes
di: Gruza, Piotr, et al.
Pubblicazione: (2025)
di: Gruza, Piotr, et al.
Pubblicazione: (2025)
On two consequences of CH established by Sierpinski. II
di: Pol, Roman, et al.
Pubblicazione: (2024)
di: Pol, Roman, et al.
Pubblicazione: (2024)
Undecidability of theories of semirings with fixed points
di: Das, Anupam, et al.
Pubblicazione: (2025)
di: Das, Anupam, et al.
Pubblicazione: (2025)
Bringing closure to theory combination properties
di: Toledo, Guilherme V., et al.
Pubblicazione: (2026)
di: Toledo, Guilherme V., et al.
Pubblicazione: (2026)
Subvarieties of pointed Abelian l-groups
di: Jankovec, Filip
Pubblicazione: (2025)
di: Jankovec, Filip
Pubblicazione: (2025)
Characterizing fragments of collection principle in set theory with model theoretic properties
di: Chen, Junhong
Pubblicazione: (2025)
di: Chen, Junhong
Pubblicazione: (2025)
Strong negation in the theory of computable functionals TCF
di: Köpp, Nils, et al.
Pubblicazione: (2022)
di: Köpp, Nils, et al.
Pubblicazione: (2022)
On proving consistency of equational theories in Bounded Arithmetic
di: Beckmann, Arnold, et al.
Pubblicazione: (2022)
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)
di: Bahrami, Saeideh
Pubblicazione: (2026)
Some applications of fuzzy sets in residuated lattices
di: Flaut, Cristina, et al.
Pubblicazione: (2024)
di: Flaut, Cristina, et al.
Pubblicazione: (2024)
Some Epistemic Extensions of Gödel Fuzzy Logic
di: Dastgheib, D., et al.
Pubblicazione: (2016)
di: Dastgheib, D., et al.
Pubblicazione: (2016)
Some contributions to presheaf model theory
di: Brunner, Andreas, et al.
Pubblicazione: (2024)
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)
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)
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)
di: De Mase, Anna
Pubblicazione: (2023)
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)