Cover Image

Merges of Smooth Classes and Their Properties

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Bryant, Morgan
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Simple Classes of Automatic Structures
by: Blumensath, Achim
Published: (2025)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
by: Almeida, Rodrigo Nicolau
Published: (2023)

Smooth measures and the canonical retraction in NIP theories
by: Pigé, Xavier
Published: (2024)

Erdős-Rado Classes
by: Boney, Will
Published: (2018)

Isomorphism Classes of Generating Sets
by: Benhamou, Tom, et al.
Published: (2025)

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

Logical Characterizations of Weighted Complexity Classes
by: Badia, Guillermo, et al.
Published: (2024)

Cofinality quantifiers in Abstract Elementary Classes and beyond
by: Boney, Will
Published: (2022)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
by: Fuchser, Janne, et al.
Published: (2025)

A Class of Generalised Quantifiers for k-Variable Logics
by: Härtter, Janek, et al.
Published: (2026)

Limit Models in Strictly Stable Abstract Elementary Classes
by: Boney, Will, et al.
Published: (2015)

Class choice and the surprising weakness of Kelley-Morse set theory
by: Gitman, Victoria, et al.
Published: (2026)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
by: Dreier, Jan, et al.
Published: (2024)

The Gluing Property
by: Hayut, Yair, et al.
Published: (2022)

$Σ_1$-Stationary logic as an $\aleph_1$-Abstract Elementary Class
by: Boney, Will
Published: (2024)

QBF Merge Resolution is powerful but unnatural
by: Mahajan, Meena, et al.
Published: (2022)

Asymptotic Theories of Classes Defined by Forbidden Homomorphisms
by: Bodirsky, Manuel, et al.
Published: (2022)

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

Results on Colored Tree Properties
by: Day, Gabriel
Published: (2025)

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

Sets and Classes: Operational Theory
by: Warner, Garth
Published: (2024)

Properties preserved by classes of Chu transforms
by: Parente, Francesco
Published: (2024)

Methods of Class Field Theory to Separate Logics over Finite Residue Classes and Circuit Complexity
by: Arratia, Argimiro, et al.
Published: (2015)

Verifying Numerical Methods with Isabelle/HOL
by: Bryant, Dustin, et al.
Published: (2025)

Numerical Considerations in Weighted Model Counting
by: Bryant, Randal E.
Published: (2025)

Local-Order-Invariant Logic on Classes of Bounded Degree
by: Aoki, Derek
Published: (2025)

Saturation Properties of Ultrafilters in Canonical Inner Models
by: Benhamou, Tom
Published: (2022)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
by: Incer, Inigo
Published: (2024)

An Intermediate Logic Contained in Medvedev's Logic with Disjunction Property
by: Chen, Zhicheng
Published: (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$
by: Džamonja, Mirna
Published: (2025)

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
by: Bryant, Dustin, et al.
Published: (2025)

Class of extensions of real field and their topological properties
by: Alexandrov, E. V.
Published: (2025)

Classical Set Theory: Theory of Sets and Classes
by: Banakh, Taras
Published: (2020)

Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section
by: Kesting, Christoph
Published: (2024)

Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"
by: Enayat, Ali, et al.
Published: (2026)

The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
by: Hoffelner, Stefan
Published: (2024)

Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property
by: Winter, Michael
Published: (2023)

Towards Counting Markov Equivalence Classes with Logical Constraints
by: Bizzaro, Davide, et al.
Published: (2024)

A Module-theoretic Introduction to Abstract Elementary Classes
by: Boney, Will
Published: (2025)