Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces

نویسندگان

  • Arno Pauly
  • Matthew de Brecht
چکیده

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.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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