:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Malicki, Maciej
Format:	Preprint
Published:	2022
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2209.05903
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Isomorphism of almost locally compact Polish metric structures
by: Malicki, Maciej
Published: (2025)

A logic of co-valuations
by: Malicki, Maciej
Published: (2025)

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

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

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

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

Homeomorphisms of the Pseudoarc
by: Bice, Tristan, et al.
Published: (2024)

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

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

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

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

Isomorphism Classes of Generating Sets
by: Benhamou, Tom, et al.
Published: (2025)

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

Isomorphism types of definable (maximal) cofinitary groups
by: Schembecker, Lukas
Published: (2025)

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

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

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

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

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

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

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

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

Formalising the local compactness of the adele ring
by: Mercuri, Salvatore
Published: (2024)

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

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

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

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

Outward compactness
by: Holy, Peter, et al.
Published: (2024)

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

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

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

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

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

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

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

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

Approximation of structures:local and global
by: Zilber, Boris
Published: (2026)

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

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

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