:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Pol, Roman, Zakrzewski, Piotr
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	https://arxiv.org/abs/2403.03110
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

Probabilistic consequence relations
por: Égré, Paul, et al.
Publicado: (2024)

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

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

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

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

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

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

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

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

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

Operations on Fixpoint Equation Systems
por: Neele, Thomas, et al.
Publicado: (2023)

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

Positive characteristic Ax-Schanuel
por: Kowalski, Piotr
Publicado: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

Analogical proportions II
por: Antić, Christian
Publicado: (2024)

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

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

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

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

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

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

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