:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Brown, L. C.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	https://arxiv.org/abs/2508.09375
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
di: Narusevych, Mykyta
Pubblicazione: (2026)

Uniform Bounds in D-Minimal Structures
di: Farris, Madie, et al.
Pubblicazione: (2026)

On Definably Compact Semigroups in o-Minimal Structures
di: Magalhães, Eduardo
Pubblicazione: (2025)

Tho Modal Logic of Minimal Upper Bounds
di: Knudstorp, Søren Brinck
Pubblicazione: (2024)

On Lower Bounding Minimal Model Count
di: Kabir, Mohimenul, et al.
Pubblicazione: (2024)

Uniform Local Weak o‐Minimality and ∗$*$‐Local Weak o‐Minimality
di: Masato Fujita
Pubblicazione: (2025)

Naturality and Definability III
di: Asgharzadeh, Mohsen, et al.
Pubblicazione: (2023)

T-Convexity, Tame Extensions and Definability of Hausdorff Limits in O-minimal Structures with Generic Derivations
di: Wang, Xiaoduo
Pubblicazione: (2025)

Defining implication relation for classical logic
di: Fu, Li
Pubblicazione: (2013)

Definable sets in Skolem arithmetic
di: Kamiński, Łukasz
Pubblicazione: (2025)

Definability in affine continuous logic
di: Bagheri, Seyed-Mohammad
Pubblicazione: (2024)

Hanf Locality and Invariant Elementary Definability
di: Lindell, Steven, et al.
Pubblicazione: (2025)

Dynamic Probability Logics: Axiomatization & Definability
di: Chopoghloo, Somayeh, et al.
Pubblicazione: (2024)

Definable Coherent Ultrapowers and Elementary Extensions
di: Boney, Will
Pubblicazione: (2016)

Construction Defining Functionality:A Constructive Perspective on Functions through Their Generated Structures
di: Nishiyama, Yumiko
Pubblicazione: (2025)

FO-Query Enumeration over SLP-Compressed Structures of Bounded Degree
di: Lohrey, Markus, et al.
Pubblicazione: (2025)

On $Σ_1$-Definable Closed Unbounded Sets
di: Ben-Neria, Omer, et al.
Pubblicazione: (2023)

Definability and Scott rank in separable Metric structures
di: Bejarano, Diego
Pubblicazione: (2024)

Definability and Interpolation in Philosophy
di: van Benthem, Johan
Pubblicazione: (2026)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
di: Nechesov, Andrey
Pubblicazione: (2024)

On proving consistency of equational theories in Bounded Arithmetic
di: Beckmann, Arnold, et al.
Pubblicazione: (2022)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Tolerance and the Bounds
di: Rohan French
Pubblicazione: (2021)

Definable coordinate geometries over fields, part 1: theory
di: Madarász, Judit, et al.
Pubblicazione: (2025)

Definable coordinate geometries over fields, part 2: applications
di: Madarász, Judit, et al.
Pubblicazione: (2025)

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

Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations
di: Bueri, Lucas, et al.
Pubblicazione: (2024)

Bounded Structural Model Finding with Symbolic Data Constraints
di: Boronat, Artur
Pubblicazione: (2026)

Choiceless Computation and Symmetry: Limitations of Definability
di: Pago, Benedikt
Pubblicazione: (2024)

There is no Definable Grauert Direct Image Theorem
di: Esnault, Hélène, et al.
Pubblicazione: (2026)

Full Definability in a Profunctorial Model
di: Tsukada, Takeshi, et al.
Pubblicazione: (2026)

A Theory for Probabilistic Polynomial-Time Reasoning
di: Chen, Lijie, et al.
Pubblicazione: (2026)

Polynomial Lawvere Logic
di: Bacci, Giorgio, et al.
Pubblicazione: (2024)

Definability of some $k$-ary Relations Over Second Order kinds of Logics
di: Costa, Simone, et al.
Pubblicazione: (2025)

Stable Canonical Rules and Formulas for Pre-transitive Logics via Definable Filtration
di: Takahashi, Tenyo
Pubblicazione: (2025)

Lower Bounds in Algebraic Complexity via Symmetry and Homomorphism Polynomials
di: Dwivedi, Prateek, et al.
Pubblicazione: (2026)

Probabilistic Strategies: Definability and the Tensor Completeness Problem
di: Bowler, Nathan, et al.
Pubblicazione: (2025)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
di: Desmond, Harry
Pubblicazione: (2026)

Every Feedforward Neural Network Definable in an o-Minimal Structure Has Finite Sample Complexity
di: Kratsios, Anastasis, et al.
Pubblicazione: (2026)

Polynomial Fingerprinting for Trees and Formulas
di: Prunescu, Mihai
Pubblicazione: (2025)