Domain closure conditions and definability preservation
Karl Schlechta
math.LOarXiv:math/0607189
Abstract
We examine problems due to lack of domain closure and definability preservation
Create a lesson
Related papers
Classification complexity of homeomorphism group actions
Michal Hevessy, Benjamin Vejnar
A Borel Concept Class of VC Dimension One with a Non-PAC Consistent Learner in ZFC
Mateus Jesus de Arruda Campos, Gabriel Fernandes, Vinicius de Oliveira Rodrigues
Fixed points in abstract provability structures
Tsubasa Kumasaka, Taishi Kurahashi
Intuitionistic and Constructive Modal Logics for Classical Modal Logicians
Yuta Sato
Ball codes: A coding characterization of Hausdorff and packing dimensions
Kenshi Miyabe
Dilator-based analysis of KP
Hanul Jeon