Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces
نویسندگان
چکیده
Using ideas from synthetic topology, a new approach to descriptive set theory is suggested. Synthetic descriptive set theory promises elegant explanations for various phenomena in both classic and effective descriptive set theory. Presently, we mainly focus on developing the ideas in the category of represented spaces.
منابع مشابه
TOWARDS THE THEORY OF L-BORNOLOGICAL SPACES
The concept of an $L$-bornology is introduced and the theory of $L$-bornological spacesis being developed. In particular the lattice of all $L$-bornologies on a given set is studied and basic properties ofthe category of $L$-bornological spaces and bounded mappings are investigated.
متن کاملThe descriptive theory of represented spaces
On the surface, the emergent descriptive theory of represented spaces is the extension of both classical [36] and effective [52] descriptive set theory from its usual setting of Polish spaces to the much larger class of represented spaces. There is far more to it, though: By extending the setting, suddenly connections to areas such as category theory (with a certain topos-theoretic flavour) and...
متن کاملA Discourse Approach to Explanation Aware Knowledge Representation
This study describes a discourse approach to explanation aware knowledge representation. It presents a reasoning model that adheres to argumentation as found in written discourse, intended for use in intelligent human-computer collaboration and inter-agent deliberation. The approach integrates the Toulmin model with Rhetorical Structure Theory and Perelman and Olbrechts-Tyteca’s (1958) strategi...
متن کاملResults in descriptive set theory on some represented spaces
Descriptive set theory was originally developed on Polish spaces. It was later extended to $\omega$-continuous domains [Selivanov 2004] and recently to quasi-Polish spaces [de Brecht 2013]. All these spaces are countably-based. Extending descriptive set theory and its effective counterpart to general represented spaces, including non-countably-based spaces has been started in [Pauly, de Brecht ...
متن کاملArgumentative Reasoning Theory: Explanation Aware Knowledge Representation
Argumentative Reasoning Theory (ART) is a theory of knowledge representation, reasoning, explanation, and argument interaction. It is designed to support intelligent human-computer collaboration. ART provides the ability to represent reasoning in a form that is computable, intuitive, and amenable to discovery. By integrating Toulmin’s model of argumentation, Mann and Thompson’s Rhetorical Struc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1307.1850 شماره
صفحات -
تاریخ انتشار 2013