:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pol, Roman, Zakrzewski, Piotr
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2403.03110
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On Sierpiński sets, Hurewicz spaces and Hilgers functions
von: Marciszewski, Witold, et al.
Veröffentlicht: (2025)

A note on uniform continuity of monotone functions
von: Pol, Roman, et al.
Veröffentlicht: (2025)

Geometric duality, perfect graphs, and the Sierpiński space
von: Borodulin-Nadzieja, Piotr, et al.
Veröffentlicht: (2026)

Strong partition relations below the power set: consistency, was Sierpinski right, II?
von: Shelah, Saharon
Veröffentlicht: (1991)

The Synthetic Sierpiński Cone
von: Bakke, Fredrik, et al.
Veröffentlicht: (2026)

Mazurkiewicz Sets and Containment of Sierpiński-Zygmund Functions under Rotations
von: Pan, Cheng-Han
Veröffentlicht: (2025)

Probabilistic consequence relations
von: Égré, Paul, et al.
Veröffentlicht: (2024)

Equivalence of multiset-based consequence relations
von: Madanshekaf, Ali, et al.
Veröffentlicht: (2024)

When is the partial map classifier a Sierpiński cone?
von: Pugh, Leoni, et al.
Veröffentlicht: (2025)

Decidability of Quasi-Dense Modal Logics
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)

The breadth of constructibility degrees and definable Sierpiński's coverings
von: Andretta, Alessandro, et al.
Veröffentlicht: (2024)

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

Consistent Update Synthesis via Privatized Beliefs
von: Schlögl, Thomas, et al.
Veröffentlicht: (2024)

Definiteness properties of first-order schemes
von: Gruza, Piotr, et al.
Veröffentlicht: (2025)

Some model theory of the Heisenberg group
von: Frącek, Maciej, et al.
Veröffentlicht: (2025)

On the local consequence of modal Product logic: standard completeness and decidability
von: Vidal, Amanda
Veröffentlicht: (2023)

Operations on Fixpoint Equation Systems
von: Neele, Thomas, et al.
Veröffentlicht: (2023)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
von: Lyon, Tim S., et al.
Veröffentlicht: (2023)

Positive characteristic Ax-Schanuel
von: Kowalski, Piotr
Veröffentlicht: (2023)

Interpolation for the two-way modal mu-calculus
von: Kloibhofer, Johannes, et al.
Veröffentlicht: (2025)

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

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

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

P-measures in models without P-points
von: Borodulin-Nadzieja, Piotr, et al.
Veröffentlicht: (2024)

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

Decidability of Querying First-Order Theories via Countermodels of Finite Width
von: Feller, Thomas, et al.
Veröffentlicht: (2023)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
von: van der Giessen, Iris, et al.
Veröffentlicht: (2023)

Smart Health Software to Support Rescue Personnel in Emergency Situations
von: Ahammed, Abu Shad, et al.
Veröffentlicht: (2024)

On Ramsey-type properties of the distance in nonseparable spheres
von: Koszmider, Piotr
Veröffentlicht: (2023)

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

Formalizing two-level type theory with cofibrant exo-nat
von: Uskuplu, Elif
Veröffentlicht: (2023)

Analogical proportions II
von: Antić, Christian
Veröffentlicht: (2024)

A Complete Equational Theory for Real-Clifford+CH Quantum Circuits
von: Clément, Alexandre
Veröffentlicht: (2026)

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

On the Subspace Orbit Problem and the Simultaneous Skolem Problem
von: Bacik, Piotr, et al.
Veröffentlicht: (2026)

New consequences of PFA($T^*$)
von: Martínez-Ranero, Carlos, et al.
Veröffentlicht: (2025)

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

On masas of the Calkin algebra generated by projections
von: Koszmider, Piotr
Veröffentlicht: (2025)

On a Generalization of Heyting Algebras II
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2024)

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