:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Malicki, Maciej
Formato:	Preprint
Publicado:	2022
Materias:	Logic
Acceso en línea:	https://arxiv.org/abs/2209.05903
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Isomorphism of almost locally compact Polish metric structures
por: Malicki, Maciej
Publicado: (2025)

A logic of co-valuations
por: Malicki, Maciej
Publicado: (2025)

The rational Gurarii space and its linear isometry group
por: Kurka, Ondřej, et al.
Publicado: (2025)

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

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
por: Guzmán, Manuel Vargas, et al.
Publicado: (2025)

On equivalence relations induced by locally compact abelian Polish groups
por: Ding, Longyun, et al.
Publicado: (2022)

Homeomorphisms of the Pseudoarc
por: Bice, Tristan, et al.
Publicado: (2024)

Degree spectra of homeomorphism types of compact Polish spaces
por: Hoyrup, Mathieu, et al.
Publicado: (2020)

The set of distances in a Polish metric space
por: Clemens, John D.
Publicado: (2025)

Universal homogeneous two-sorted ultrametric spaces
por: Bartoš, Adam, et al.
Publicado: (2026)

Barely alternating real almost chains and extension operators for compact lines
por: Avilés, Antonio, et al.
Publicado: (2024)

Isomorphism Classes of Generating Sets
por: Benhamou, Tom, et al.
Publicado: (2025)

Computably totally disconnected locally compact groups
por: Melnikov, Alexander, et al.
Publicado: (2022)

Isomorphism types of definable (maximal) cofinitary groups
por: Schembecker, Lukas
Publicado: (2025)

Isomorphic Subtypes in a Finite Generalized Ordered Type
por: Joseph, Jean S.
Publicado: (2025)

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

Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
por: Bezhanishvili, Nick, et al.
Publicado: (2025)

Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories
por: Ulrich, Danielle
Publicado: (2024)

Type Isomorphisms for Multiplicative-Additive Linear Logic
por: Di Guardia, Rémi, et al.
Publicado: (2024)

Isomorphism of pointed minimal systems is not classifiable by countable structures
por: Li, Ruiwen, et al.
Publicado: (2024)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
por: Kaneko, Yuzuki, et al.
Publicado: (2026)

Cube-based Isomorph-free Finite Model Finding
por: Chow, Choiwah, et al.
Publicado: (2025)

Formalising the local compactness of the adele ring
por: Mercuri, Salvatore
Publicado: (2024)

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

A hierarchy on non-archimedean Polish groups admitting a compatible complete left-invariant metric
por: Ding, Longyun, et al.
Publicado: (2023)

Computably locally compact groups and their closed subgroups
por: Melnikov, Alexander G., et al.
Publicado: (2024)

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

Outward compactness
por: Holy, Peter, et al.
Publicado: (2024)

Dynamic Planar Graph Isomorphism is in DynFO
por: Datta, Samir, et al.
Publicado: (2026)

Subgraph Isomorphism: Prolog vs. Conventional
por: Yin, Claire Y., et al.
Publicado: (2025)

SB-property on metric structures
por: Argoty, Camilo, et al.
Publicado: (2023)

On the complexity of extensions of non-archimedean Polish groups admitting a compatible complete left-invariant metric
por: Ding, Longyun, et al.
Publicado: (2026)

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

Isomorphism relations on classes of c.e. algebras
por: Ho, Meng-Che "Turbo", et al.
Publicado: (2026)

Partitions of Baire space into compact sets
por: Fischer, Vera, et al.
Publicado: (2023)

Complete orbit equivalence relation and non-universal Polish groups
por: Ding, Longyun, et al.
Publicado: (2026)

Approximation of structures:local and global
por: Zilber, Boris
Publicado: (2026)

Borel Complexity of the Isomorphism Relation of Archimedean Orders in Finitely Generated Groups
por: Poulin, Antoine
Publicado: (2024)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
por: Konečný, Michal, et al.
Publicado: (2024)

Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism
por: Berkholz, Christoph, et al.
Publicado: (2024)