Buchumschlag

Coanalytic families of functions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Millhouse, Julia, Schembecker, Lukas
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Van Douwen and many non Van Douwen families
von: Schembecker, Lukas
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)

Strong Projective Witnesses
von: Fischer, Vera, et al.
Veröffentlicht: (2026)

Univalence without function extensionality
von: Cavallo, Evan, et al.
Veröffentlicht: (2026)

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

On matrix rank function over bounded arithmetics
von: Ken, Eitetsu, et al.
Veröffentlicht: (2023)

Complete representation by partial functions for signatures containing antidomain restriction
von: McLean, Brett
Veröffentlicht: (2023)

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)

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

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

Computable Scott Sentences and the Friedman-Stanley embedding
von: Gonzalez, David, et al.
Veröffentlicht: (2026)

A Variant Of Chaitin's Omega function
von: Li, Yuxuan, et al.
Veröffentlicht: (2025)

Primitive recursive categoricity spectra of functional structures
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2026)

Computable classifications of continuous, transducer, and regular functions
von: Franklin, Johanna N. Y., et al.
Veröffentlicht: (2020)

Martin's conjecture for regressive functions on the hyperarithmetic degrees
von: Lutz, Patrick
Veröffentlicht: (2023)

Higher arity stability and the functional order property
von: Abd-Aldaim, A., et al.
Veröffentlicht: (2023)

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

Scott analysis, linear orders and almost periodic functions
von: Gonzalez, David, et al.
Veröffentlicht: (2024)

A rank function for Fra\"ıssé classes and the rank property
von: López-Callejas, Carlos, et al.
Veröffentlicht: (2026)

Dependence of functions on their variables
von: Farah, Ilijas
Veröffentlicht: (2025)

Intuitionistic Common Knowledge
von: Zenger, Lukas
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)

Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm
von: Stevens, Lukas, et al.
Veröffentlicht: (2025)

Cyclic proof theory of positive inductive definitions
von: Curzi, Gianluca, et al.
Veröffentlicht: (2025)

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

Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
von: Bilkova, Marta, et al.
Veröffentlicht: (2024)

New construction methods for uninorms via functions with q and uninorms on bounded lattices
von: Xiu, Zhen-Yu, et al.
Veröffentlicht: (2024)

Torsion-free abelian groups of finite rank and fields of finite transcendence degree
von: Ho, Meng-Che "Turbo", et al.
Veröffentlicht: (2024)

Ramsey regularity implies no MAD families without uniformization
von: He, Jialiang, et al.
Veröffentlicht: (2025)

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

The projective Fra\"ıssé limit of the family of all connected finite graphs with confluent epimorphisms
von: Charatonik, Włodzimierz J., et al.
Veröffentlicht: (2022)

Exploiting Instantiations from Paramodulation Proofs in Isabelle/HOL
von: Bartl, Lukas, et al.
Veröffentlicht: (2025)

Continuous Algebras with Hypotheses
von: Mulder, Lukas, et al.
Veröffentlicht: (2026)

Computability of Brjuno-like functions
von: Shevchenko, Ivan O., et al.
Veröffentlicht: (2025)

An implicit function theorem for the stream calculus
von: Boreale, Michele, et al.
Veröffentlicht: (2023)

From Herbrand schemes to functional interpretation
von: Enqvist-Pyk, Sebastian
Veröffentlicht: (2026)