Copertina

Properties preserved by classes of Chu transforms

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Parente, Francesco
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Extension preservation on dense graph classes
di: Eleftheriadis, Ioannis
Pubblicazione: (2024)

Unbalancedness of the conjugacy relation of ergodic measure-preserving transformations
di: Peng, Bo
Pubblicazione: (2025)

Universality properties of forcing
di: Parente, Francesco, et al.
Pubblicazione: (2023)

Trace definability I: preservation and characterizations
di: Walsberg, Erik
Pubblicazione: (2025)

On the preservation of unification type of Heyting algebras and interior algebras
di: Düntsch, Ivo, et al.
Pubblicazione: (2025)

Universal Horn Sentences and the Joint Embedding Property
di: Bodirsky, Manuel, et al.
Pubblicazione: (2021)

On first-order transductions of classes of graphs
di: Braunfeld, Samuel, et al.
Pubblicazione: (2022)

Epsilon-saturation for stable graphs and Littlestone classes
di: Malliaris, Maryanthe, et al.
Pubblicazione: (2025)

PBNF-transform as a formulation of Propositional Calculus, I
di: Borgeke, Pelle Brooke
Pubblicazione: (2026)

PBNF-transform as a formulation of Propositional Calculus, II
di: Borgeke, Pelle Brooke
Pubblicazione: (2026)

Almost refinement, reaping, and ultrafilter numbers
di: Brendle, Jörg, et al.
Pubblicazione: (2024)

A quasianalytic class with weakly smooth germs
di: Guénet, R.
Pubblicazione: (2025)

Algebraic characterisation of pseudo-elementary and second-order classes
di: Ivanyos, János Balázs
Pubblicazione: (2026)

Decomposition horizons and a characterization of stable hereditary classes of graphs
di: Braunfeld, Samuel, et al.
Pubblicazione: (2022)

The Gluing Property
di: Hayut, Yair, et al.
Pubblicazione: (2022)

Cauchy-completions and the rule of unique choice in relational doctrines
di: Dagnino, Francesco, et al.
Pubblicazione: (2024)

The Relational Quotient Completion
di: Dagnino, Francesco, et al.
Pubblicazione: (2024)

Structures preserved by primitive actions of $S_ω$
di: Bodirsky, Manuel, et al.
Pubblicazione: (2025)

Oscillating and nonsummable Radon-Nikodym cocycles along the forward geodesic of measure-class-preserving transformations
di: Bell, Sasha, et al.
Pubblicazione: (2024)

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

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
di: Benedikt, Michael, et al.
Pubblicazione: (2026)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
di: Coniglio, M. E., et al.
Pubblicazione: (2026)

Decidability in geometric grid classes of permutations
di: Braunfeld, Samuel
Pubblicazione: (2023)

Differentiable approximation of continuous definable maps that preserves the image
di: Carbone, Antonio
Pubblicazione: (2023)

Merges of Smooth Classes and Their Properties
di: Bryant, Morgan
Pubblicazione: (2024)

Combinatorial Properties of the Raisonnier Filter
di: Dialiatsis, Spyridon, et al.
Pubblicazione: (2026)

Results on Colored Tree Properties
di: Day, Gabriel
Pubblicazione: (2025)

Supercompact Measures and the Galvin Property
di: Benhamou, Tom, et al.
Pubblicazione: (2025)

A Direct Characterisation of Logical Grounds and a Decidability Proof
di: Genco, Francesco A.
Pubblicazione: (2025)

Connectivity notions on compatible digraphs in equational classes
di: Gyenizse, Gergő, et al.
Pubblicazione: (2026)

Existentially closed measure-preserving actions of approximately treeable groups
di: Goldbring, Isaac, et al.
Pubblicazione: (2025)

When do modal definability and preservation theorems transfer to the finite?
di: van Benthem, Johan, et al.
Pubblicazione: (2026)

Separability Properties of Monadically Dependent Graph Classes
di: Bonnet, Édouard, et al.
Pubblicazione: (2025)

A Program Logic for Abstract (Hyper)Properties
di: Baldan, Paolo, et al.
Pubblicazione: (2026)

Quasiminimality of complex powers
di: Gallinaro, Francesco, et al.
Pubblicazione: (2023)

Sequent calculi for first-order ST
di: Paoli, Francesco, et al.
Pubblicazione: (2026)

Flipper games for monadically stable graph classes
di: Gajarský, Jakub, et al.
Pubblicazione: (2023)

Saturation Properties of Ultrafilters in Canonical Inner Models
di: Benhamou, Tom
Pubblicazione: (2022)

An Intermediate Logic Contained in Medvedev's Logic with Disjunction Property
di: Chen, Zhicheng
Pubblicazione: (2025)

Property B: A Baumgartner-style Property that Applies to Preservation of $\aleph_1$ and $\aleph_2$ under Iterations with Supports of Size $\aleph_1$
di: Džamonja, Mirna
Pubblicazione: (2025)