:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Malicki, Maciej
Format:	Preprint
Publié:	2022
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/2209.05903
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

The rational Gurarii space and its linear isometry group
par: Kurka, Ondřej, et autres
Publié: (2025)

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

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
par: Guzmán, Manuel Vargas, et autres
Publié: (2025)

On equivalence relations induced by locally compact abelian Polish groups
par: Ding, Longyun, et autres
Publié: (2022)

Homeomorphisms of the Pseudoarc
par: Bice, Tristan, et autres
Publié: (2024)

Degree spectra of homeomorphism types of compact Polish spaces
par: Hoyrup, Mathieu, et autres
Publié: (2020)

The set of distances in a Polish metric space
par: Clemens, John D.
Publié: (2025)

Universal homogeneous two-sorted ultrametric spaces
par: Bartoš, Adam, et autres
Publié: (2026)

Barely alternating real almost chains and extension operators for compact lines
par: Avilés, Antonio, et autres
Publié: (2024)

Isomorphism Classes of Generating Sets
par: Benhamou, Tom, et autres
Publié: (2025)

Computably totally disconnected locally compact groups
par: Melnikov, Alexander, et autres
Publié: (2022)

Isomorphism types of definable (maximal) cofinitary groups
par: Schembecker, Lukas
Publié: (2025)

Isomorphic Subtypes in a Finite Generalized Ordered Type
par: Joseph, Jean S.
Publié: (2025)

Effective weak convergence and tightness of measures in computable Polish spaces
par: Rojas, Diego A.
Publié: (2024)

Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
par: Bezhanishvili, Nick, et autres
Publié: (2025)

Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories
par: Ulrich, Danielle
Publié: (2024)

Type Isomorphisms for Multiplicative-Additive Linear Logic
par: Di Guardia, Rémi, et autres
Publié: (2024)

Isomorphism of pointed minimal systems is not classifiable by countable structures
par: Li, Ruiwen, et autres
Publié: (2024)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
par: Kaneko, Yuzuki, et autres
Publié: (2026)

Cube-based Isomorph-free Finite Model Finding
par: Chow, Choiwah, et autres
Publié: (2025)

Formalising the local compactness of the adele ring
par: Mercuri, Salvatore
Publié: (2024)

On equivalence relations induced by locally compact TSI Polish groups admitting open identity component
par: Zheng, Yang
Publié: (2024)

A hierarchy on non-archimedean Polish groups admitting a compatible complete left-invariant metric
par: Ding, Longyun, et autres
Publié: (2023)

Computably locally compact groups and their closed subgroups
par: Melnikov, Alexander G., et autres
Publié: (2024)

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

Outward compactness
par: Holy, Peter, et autres
Publié: (2024)

Dynamic Planar Graph Isomorphism is in DynFO
par: Datta, Samir, et autres
Publié: (2026)

Subgraph Isomorphism: Prolog vs. Conventional
par: Yin, Claire Y., et autres
Publié: (2025)

SB-property on metric structures
par: Argoty, Camilo, et autres
Publié: (2023)

On the complexity of extensions of non-archimedean Polish groups admitting a compatible complete left-invariant metric
par: Ding, Longyun, et autres
Publié: (2026)

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

Isomorphism relations on classes of c.e. algebras
par: Ho, Meng-Che "Turbo", et autres
Publié: (2026)

Partitions of Baire space into compact sets
par: Fischer, Vera, et autres
Publié: (2023)

Complete orbit equivalence relation and non-universal Polish groups
par: Ding, Longyun, et autres
Publié: (2026)

Approximation of structures:local and global
par: Zilber, Boris
Publié: (2026)

Borel Complexity of the Isomorphism Relation of Archimedean Orders in Finitely Generated Groups
par: Poulin, Antoine
Publié: (2024)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
par: Konečný, Michal, et autres
Publié: (2024)

Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism
par: Berkholz, Christoph, et autres
Publié: (2024)