Domain closure conditions and definability preservation
Logic
2007-05-23 v1
Authors:
Karl Schlechta
Abstract
We examine problems due to lack of domain closure and definability preservation
Cite
@article{arxiv.math/0607189,
title = {Domain closure conditions and definability preservation},
author = {Karl Schlechta},
journal= {arXiv preprint arXiv:math/0607189},
year = {2007}
}
Related papers
View all related →
Programming Languages · Computer Science
Domain Analysis & Description - The Implicit and Explicit Semantics Problem
Dines Bjørner
2018-05-16
Analysis of PDEs · Mathematics
On the absence of solutions of differential inequalities with $\infty$-Laplacian
A. A. Kon'kov
2023-01-02
Probability · Mathematics
Concerns with functional depth
James Kuelbs, Joel Zinn
2013-10-02
Analysis of PDEs · Mathematics
Continuity results with respect to domain perturbation for the fractional $p-$laplacian
Carla Baroncini, Julian Fernandez Bonder, Juan F. Spedaletti
2017-04-19
Artificial Intelligence · Computer Science
Domain Concretization from Examples: Addressing Missing Domain Knowledge via Robust Planning
Akshay Sharma, Piyush Rajesh Medikeri, Yu Zhang
2020-11-19
Logic · Mathematics
Trace definability I: preservation and characterizations
Erik Walsberg
2026-05-13
Artificial Intelligence · Computer Science
A Diversity-Aware Domain Development Methodology
Mayukh Bagchi
2022-08-30
Computation and Language · Computer Science
Identifying Domain Adjacent Instances for Semantic Parsers
James Ferguson, Janara Christensen, Edward Li, Edgar Gonzàlez
2018-08-28
Analysis of PDEs · Mathematics
Well-posed elliptic Neumann problems involving irregular data and domains
A. Alvino, A. Cianchi, V. Maz'ya, A. Mercaldo
2015-05-13
Analysis of PDEs · Mathematics
On Continuity Equations in Space-time Domains
Yuming Zhang
2018-06-12
Complex Variables · Mathematics
On boundary non-preserving mappings with integral constraints
Victoria Desyatka, Oleksandr Dovhopiatyi, Evgeny Sevost'yanov
2026-03-03
Quantum Physics · Physics
Open quantum dynamics without Complete Positivity: a criticism
Fabio Benatti, Dariusz Chruściński, Saverio Pascazio
2026-05-19
Machine Learning · Computer Science
Domain Knowledge Uncertainty and Probabilistic Parameter Constraints
Yi Mao, Guy Lebanon
2012-05-14
Logic in Computer Science · Computer Science
Continuous Domains for Function Spaces Using Spectral Compactification
Amin Farjudian, Achim Jung
2024-12-18
Machine Learning · Statistics
Support and Invertibility in Domain-Invariant Representations
Fredrik D. Johansson, David Sontag, Rajesh Ranganath
2019-07-05
Logic in Computer Science · Computer Science
Enriched closure spaces as a novel framework for domain theory
Paul Poncet
2017-05-16
Machine Learning · Computer Science
Practicality of generalization guarantees for unsupervised domain adaptation with neural networks
Adam Breitholtz, Fredrik D. Johansson
2023-03-16
Logic in Computer Science · Computer Science
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2025-05-28
Exactly Solvable and Integrable Systems · Physics
Singularity confinement and algebraic integrability
S. Lafortune, A. Goriely
2015-06-26
Artificial Intelligence · Computer Science
Reasoning about multiple aspects in DLs: Semantics and Closure Construction
Laura Giordano, Valentina Gliozzi
2018-01-23
Analysis of PDEs · Mathematics
Non Local Conservation Laws in Bounded Domains
Elena Rossi, Rinaldo M. Colombo
2017-11-15
Complex Variables · Mathematics
On equicontinuity of mappings in a case of variable domains
E. A. Sevost'yanov, S. A. Skvortsov
2017-01-18
Digital Libraries · Computer Science
La conservazione dei documenti informatici nel contesto sanitario italiano: indagine su stato di attuazione e criticit\`a
M. T. Guaglianone, E. Sorrentino, E. Cardillo, M. T. Chiaravalloti +2
2025-03-19
Computers and Society · Computer Science
Assigning Creative Commons Licenses to Research Metadata: Issues and Cases
Marta Poblet, Amir Aryani, Paolo Manghi, Kathryn Unsworth +6
2016-09-20
Artificial Intelligence · Computer Science
Modeling Complex Domains of Actions and Change
Antonis Kakas, Loizos Michael
2007-05-23