:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Schembecker, Lukas
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2505.04462
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)

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

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

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

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
by: Chrysafis, et al.
Published: (2025)

The Directed Van Kampen Theorem in Lean
by: Basold, Henning, et al.
Published: (2023)

A new ultrafilter proof of Van der Waerden's theorem
by: Di Nasso, Mauro
Published: (2026)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
by: Przybocki, Benjamin, et al.
Published: (2024)

Coalgebraic proof translations for non-wellfounded proofs
by: Miranda, Borja Sierra, et al.
Published: (2025)

A characterization of the $n$-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
by: Vidal, Juan Climent, et al.
Published: (2017)

Asymptotic truth-value laws in many-valued logics
by: Badia, Guillermo, et al.
Published: (2023)

Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)

Rigid many-one degrees contain infinite antichains of $1$-degrees
by: Cintioli, Patrizio
Published: (2026)

There are only countably many locally tabular bi-intermediate logics of co-trees
by: Martins, Miguel
Published: (2026)

Imaginaries in perfect bounded pseudo algebraically closed fields with finitely many independent valuations
by: Leandro, Bryan González
Published: (2026)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

Full mad families of vector spaces and two local Ramsey theories
by: Yung, Clement
Published: (2025)

Mad families of Gowers' infinite block sequences
by: Yung, Clement
Published: (2024)

Combinatorial properties of MAD families
by: Brendle, Jörg, et al.
Published: (2022)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
by: Oda, Yukihiro
Published: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
by: Gaßner, Christine
Published: (2025)

Operational semantics and program verification using many-sorted hybrid modal logic
by: Leustean, Ioana, et al.
Published: (2019)

Limits of definable families and dilations in nilmanifolds
by: Peterzil, Ya'acov, et al.
Published: (2024)

Protocol insecurity with finitely many sessions and XOR
by: Ramanujam, R, et al.
Published: (2025)

An algebra modality admitting countably many deriving transformations
by: Vienney, Jean-Baptiste
Published: (2025)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

On verification and constraint generation for families of similar hybrid automata
by: Sofronie-Stokkermans, Viorica, et al.
Published: (2025)

Relative to any non-arithmetic set
by: Harrison-Trainor, Matthew
Published: (2025)

Regular non-normal modal classicalities
by: Freire, Alfredo Roque, et al.
Published: (2026)

A non-sequential arithmetical theory with pairing
by: Murwanashyaka, Juvenal
Published: (2025)

From translations to non-collapsing logic combinations
by: Rasga, João, et al.
Published: (2025)

On variable non-dependence of first-order formulas
by: Lefever, Koen, et al.
Published: (2025)

There are more non-Cantorian sets than are Cantorian
by: Al-Johar, Zuhair
Published: (2025)

Some results in non-monotonic proof-theoretic semantics
by: d'Aragona, Antonio Piccolomini
Published: (2025)

Superamalgamation for modal lattices via non-distributive dualities
by: Almeida, Rodrigo Nicolau, et al.
Published: (2026)

A note on the cardinality of definable families of sets in o‐minimal structures
by: Pablo Andújar Guerrero
Published: (2024)

The Chase in Lean -- Crafting a Formal Library for Existential Rule Research
by: Gerlach, Lukas
Published: (2026)

Cut elimination for a non-wellfounded system for the master modality
by: Miranda, Borja Sierra, et al.
Published: (2025)