:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Fischer, Vera, Millhouse, Julia
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2601.08718
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Coanalytic families of functions
by: Millhouse, Julia, et al.
Published: (2025)

Parallelism and Adaptivity in Student-Teacher Witnessing
by: Ježil, Ondřej, et al.
Published: (2026)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
by: Lichter, Moritz
Published: (2022)

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

Witnessing Flows in Arithmetic
by: Tabatabai, Amirhossein Akbar
Published: (2024)

Witnesses for Fixpoint Games on Lattices
by: König, Barbara, et al.
Published: (2026)

Cofinitary groups and projective well-orders
by: Fischer, Vera, et al.
Published: (2023)

Computing Witnesses Using the SCAN Algorithm
by: Achammer, Fabian, et al.
Published: (2026)

Constructing Witnesses for Lower Bounds on Behavioural Distances
by: Turkenburg, Ruben, et al.
Published: (2025)

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
by: Achammer, Fabian, et al.
Published: (2025)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
by: Baier, Christel, et al.
Published: (2024)

Strong negation in the theory of computable functionals TCF
by: Köpp, Nils, et al.
Published: (2022)

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
by: Baier, Christel, et al.
Published: (2025)

Effective Versions of Strong Measure Zero
by: Rayman, Matthew
Published: (2025)

Strong Rigidity and Elementary Embeddings
by: Mohammd, Marwan Salam
Published: (2025)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
by: Chatterjee, Krishnendu, et al.
Published: (2024)

Strong quasi-MV* algebras and their logics
by: Cai, Lei, et al.
Published: (2025)

On Modal Companions of Logics with Strong Negation
by: Anishchenko, Dmitry M.
Published: (2025)

Strongly Minimal Relics of T-convex Fields
by: Castle, Benjamin, et al.
Published: (2024)

On the Intermediate Models of Strongly Compact Prikry Forcing
by: Benhamou, Tom, et al.
Published: (2026)

Strong Completeness of Provability Logic for Uncountable Languages
by: Golshani, Mohammad, et al.
Published: (2026)

Strong completeness for the predicate logic of the continuous t-norms
by: Castaño, Diego, et al.
Published: (2024)

Visualising CTL Witnesses and Counterexamples -- Extended Version
by: Rensink, Arend
Published: (2026)

Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems
by: Maxa, Martin
Published: (2026)

Strongly minimal group relics of algebraically closed valued fields
by: Onshuus, Alf, et al.
Published: (2024)

Strong Measure Zero Sets on $2^κ$ for $κ$ Inaccessible
by: Chapman, Nick Steven, et al.
Published: (2019)

Strong standard completeness theorems for S5-modal Lukasiewicz logics
by: Castaño, Diego, et al.
Published: (2024)

Pixelating Relations and Functions Without Adding Substructures
by: Fischer, Eldar
Published: (2024)

Tight Eventually Different Families
by: Fischer, Vera, et al.
Published: (2021)

Projective Fraïssé limits and generalized Ważewski dendrites
by: Codenotti, Alessandro, et al.
Published: (2022)

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

Strongly increasing sequences
by: Larson, Paul B., et al.
Published: (2025)

Strong Faithfulness for ELH Ontology Embeddings
by: Lacerda, Victor, et al.
Published: (2023)

Good projective witnesses
by: Fischer, Vera, et al.
Published: (2019)

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
by: Mojtahedi, Mojtaba, et al.
Published: (2024)

Preservation of Topological Properties by Strongly Proper Forcings
by: Gilton, Thomas, et al.
Published: (2024)

Strong Nominal Semantics for Fixed-Point Constraints
by: Caires-Santos, Ali K., et al.
Published: (2024)

Note on the Splitting Property in Strongly Dense Posets of Size $\aleph_0$
by: Džamonja, Mirna
Published: (2026)

Strong marker sets and applications
by: Gao, Su, et al.
Published: (2025)

Weak, Strong and Mixed Extensions of Relations to Spaces of Ultrafilters
by: Leonardo Raffaello Maximilian Gasparro, et al.
Published: (2026)