:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Pol, Roman, Zakrzewski, Piotr
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2403.03110
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Sierpiński sets, Hurewicz spaces and Hilgers functions
by: Marciszewski, Witold, et al.
Published: (2025)

A note on uniform continuity of monotone functions
by: Pol, Roman, et al.
Published: (2025)

Geometric duality, perfect graphs, and the Sierpiński space
by: Borodulin-Nadzieja, Piotr, et al.
Published: (2026)

Strong partition relations below the power set: consistency, was Sierpinski right, II?
by: Shelah, Saharon
Published: (1991)

The Synthetic Sierpiński Cone
by: Bakke, Fredrik, et al.
Published: (2026)

Mazurkiewicz Sets and Containment of Sierpiński-Zygmund Functions under Rotations
by: Pan, Cheng-Han
Published: (2025)

Probabilistic consequence relations
by: Égré, Paul, et al.
Published: (2024)

Equivalence of multiset-based consequence relations
by: Madanshekaf, Ali, et al.
Published: (2024)

When is the partial map classifier a Sierpiński cone?
by: Pugh, Leoni, et al.
Published: (2025)

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

The breadth of constructibility degrees and definable Sierpiński's coverings
by: Andretta, Alessandro, et al.
Published: (2024)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
by: Suzuki, Yudai, et al.
Published: (2024)

Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)

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

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

On the local consequence of modal Product logic: standard completeness and decidability
by: Vidal, Amanda
Published: (2023)

Operations on Fixpoint Equation Systems
by: Neele, Thomas, et al.
Published: (2023)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
by: Lyon, Tim S., et al.
Published: (2023)

Positive characteristic Ax-Schanuel
by: Kowalski, Piotr
Published: (2023)

Interpolation for the two-way modal mu-calculus
by: Kloibhofer, Johannes, et al.
Published: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

The homeomorphisms of the Sierpiński carpet are not classifiable by countable structures
by: Kulshreshtha, Dhruv, et al.
Published: (2024)

A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization
by: Hoffelner, Stefan
Published: (2025)

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

Almost disjoint families and some automorphic and injective properties of $\ell_\infty/c_0$
by: Koszmider, Piotr, et al.
Published: (2025)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
by: Feller, Thomas, et al.
Published: (2023)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
by: van der Giessen, Iris, et al.
Published: (2023)

Smart Health Software to Support Rescue Personnel in Emergency Situations
by: Ahammed, Abu Shad, et al.
Published: (2024)

On Ramsey-type properties of the distance in nonseparable spheres
by: Koszmider, Piotr
Published: (2023)

On the entailment problem for DL-Lite$_{core}$ ontologies and conjunctive queries with negation
by: Marcinkowski, Jerzy, et al.
Published: (2025)

Formalizing two-level type theory with cofibrant exo-nat
by: Uskuplu, Elif
Published: (2023)

Analogical proportions II
by: Antić, Christian
Published: (2024)

A Complete Equational Theory for Real-Clifford+CH Quantum Circuits
by: Clément, Alexandre
Published: (2026)

Products of C*-algebras that do not embed into the Calkin algebra
by: Głodkowski, Damian, et al.
Published: (2024)

On the Subspace Orbit Problem and the Simultaneous Skolem Problem
by: Bacik, Piotr, et al.
Published: (2026)

New consequences of PFA($T^*$)
by: Martínez-Ranero, Carlos, 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)

On masas of the Calkin algebra generated by projections
by: Koszmider, Piotr
Published: (2025)

On a Generalization of Heyting Algebras II
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2024)

Simple tableaux for two expansions of Gödel modal logic
by: Bilkova, Marta, et al.
Published: (2024)