Image de couverture de livre

Merges of Smooth Classes and Their Properties

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Bryant, Morgan
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Separability Properties of Monadically Dependent Graph Classes
par: Bonnet, Édouard, et autres
Publié: (2025)

Simple Classes of Automatic Structures
par: Blumensath, Achim
Publié: (2025)

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

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

Erdős-Rado Classes
par: Boney, Will
Publié: (2018)

Isomorphism Classes of Generating Sets
par: Benhamou, Tom, et autres
Publié: (2025)

Universal Horn Sentences and the Joint Embedding Property
par: Bodirsky, Manuel, et autres
Publié: (2021)

Logical Characterizations of Weighted Complexity Classes
par: Badia, Guillermo, et autres
Publié: (2024)

Cofinality quantifiers in Abstract Elementary Classes and beyond
par: Boney, Will
Publié: (2022)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
par: Fuchser, Janne, et autres
Publié: (2025)

A Class of Generalised Quantifiers for k-Variable Logics
par: Härtter, Janek, et autres
Publié: (2026)

Limit Models in Strictly Stable Abstract Elementary Classes
par: Boney, Will, et autres
Publié: (2015)

Class choice and the surprising weakness of Kelley-Morse set theory
par: Gitman, Victoria, et autres
Publié: (2026)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
par: Dreier, Jan, et autres
Publié: (2024)

The Gluing Property
par: Hayut, Yair, et autres
Publié: (2022)

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

QBF Merge Resolution is powerful but unnatural
par: Mahajan, Meena, et autres
Publié: (2022)

Asymptotic Theories of Classes Defined by Forbidden Homomorphisms
par: Bodirsky, Manuel, et autres
Publié: (2022)

Combinatorial Properties of the Raisonnier Filter
par: Dialiatsis, Spyridon, et autres
Publié: (2026)

Results on Colored Tree Properties
par: Day, Gabriel
Publié: (2025)

Supercompact Measures and the Galvin Property
par: Benhamou, Tom, et autres
Publié: (2025)

Sets and Classes: Operational Theory
par: Warner, Garth
Publié: (2024)

Properties preserved by classes of Chu transforms
par: Parente, Francesco
Publié: (2024)

Methods of Class Field Theory to Separate Logics over Finite Residue Classes and Circuit Complexity
par: Arratia, Argimiro, et autres
Publié: (2015)

Verifying Numerical Methods with Isabelle/HOL
par: Bryant, Dustin, et autres
Publié: (2025)

Numerical Considerations in Weighted Model Counting
par: Bryant, Randal E.
Publié: (2025)

Local-Order-Invariant Logic on Classes of Bounded Degree
par: Aoki, Derek
Publié: (2025)

Saturation Properties of Ultrafilters in Canonical Inner Models
par: Benhamou, Tom
Publié: (2022)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
par: Incer, Inigo
Publié: (2024)

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

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
par: Bryant, Dustin, et autres
Publié: (2025)

Class of extensions of real field and their topological properties
par: Alexandrov, E. V.
Publié: (2025)

Classical Set Theory: Theory of Sets and Classes
par: Banakh, Taras
Publié: (2020)

Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section
par: Kesting, Christoph
Publié: (2024)

Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"
par: Enayat, Ali, et autres
Publié: (2026)

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

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

Towards Counting Markov Equivalence Classes with Logical Constraints
par: Bizzaro, Davide, et autres
Publié: (2024)

A Module-theoretic Introduction to Abstract Elementary Classes
par: Boney, Will
Publié: (2025)