:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Schembecker, Lukas
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2505.04462
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Coanalytic families of functions
von: Millhouse, Julia, et al.
Veröffentlicht: (2025)

Isomorphism types of definable (maximal) cofinitary groups
von: Schembecker, Lukas
Veröffentlicht: (2025)

Partitions of Baire space into compact sets
von: Fischer, Vera, et al.
Veröffentlicht: (2023)

Cofinitary groups and projective well-orders
von: Fischer, Vera, et al.
Veröffentlicht: (2023)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
von: Chrysafis, et al.
Veröffentlicht: (2025)

The Directed Van Kampen Theorem in Lean
von: Basold, Henning, et al.
Veröffentlicht: (2023)

A new ultrafilter proof of Van der Waerden's theorem
von: Di Nasso, Mauro
Veröffentlicht: (2026)

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

Coalgebraic proof translations for non-wellfounded proofs
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2025)

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

Asymptotic truth-value laws in many-valued logics
von: Badia, Guillermo, et al.
Veröffentlicht: (2023)

Modular many-valued semantics for combined logics
von: Caleiro, Carlos, et al.
Veröffentlicht: (2022)

Rigid many-one degrees contain infinite antichains of $1$-degrees
von: Cintioli, Patrizio
Veröffentlicht: (2026)

There are only countably many locally tabular bi-intermediate logics of co-trees
von: Martins, Miguel
Veröffentlicht: (2026)

Imaginaries in perfect bounded pseudo algebraically closed fields with finitely many independent valuations
von: Leandro, Bryan González
Veröffentlicht: (2026)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

Full mad families of vector spaces and two local Ramsey theories
von: Yung, Clement
Veröffentlicht: (2025)

Mad families of Gowers' infinite block sequences
von: Yung, Clement
Veröffentlicht: (2024)

Combinatorial properties of MAD families
von: Brendle, Jörg, et al.
Veröffentlicht: (2022)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
von: Oda, Yukihiro
Veröffentlicht: (2025)

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

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

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

Operational semantics and program verification using many-sorted hybrid modal logic
von: Leustean, Ioana, et al.
Veröffentlicht: (2019)

Limits of definable families and dilations in nilmanifolds
von: Peterzil, Ya'acov, et al.
Veröffentlicht: (2024)

Protocol insecurity with finitely many sessions and XOR
von: Ramanujam, R, et al.
Veröffentlicht: (2025)

An algebra modality admitting countably many deriving transformations
von: Vienney, Jean-Baptiste
Veröffentlicht: (2025)

Intuitionistic Common Knowledge
von: Zenger, Lukas
Veröffentlicht: (2026)

On verification and constraint generation for families of similar hybrid automata
von: Sofronie-Stokkermans, Viorica, et al.
Veröffentlicht: (2025)

Relative to any non-arithmetic set
von: Harrison-Trainor, Matthew
Veröffentlicht: (2025)

Regular non-normal modal classicalities
von: Freire, Alfredo Roque, et al.
Veröffentlicht: (2026)

A non-sequential arithmetical theory with pairing
von: Murwanashyaka, Juvenal
Veröffentlicht: (2025)

From translations to non-collapsing logic combinations
von: Rasga, João, et al.
Veröffentlicht: (2025)

On variable non-dependence of first-order formulas
von: Lefever, Koen, et al.
Veröffentlicht: (2025)

There are more non-Cantorian sets than are Cantorian
von: Al-Johar, Zuhair
Veröffentlicht: (2025)

Some results in non-monotonic proof-theoretic semantics
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

Superamalgamation for modal lattices via non-distributive dualities
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2026)

A note on the cardinality of definable families of sets in o‐minimal structures
von: Pablo Andújar Guerrero
Veröffentlicht: (2024)

The Chase in Lean -- Crafting a Formal Library for Existential Rule Research
von: Gerlach, Lukas
Veröffentlicht: (2026)

Cut elimination for a non-wellfounded system for the master modality
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2025)