Moschovakis Extension of Represented Spaces
Given a represented space (in the sense of TTE theory), an appropriate representation is constructed for the Moschovakis extension of its carrier (with paying attention to the cases of effective topological spaces and effective metric spaces). Some results are presented about TTE computability in th...
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Հոդված |
| Լեզու: | English |
| Հրապարակվել է: |
Logical Methods in Computer Science e.V.
2019-03-01
|
| Շարք: | Logical Methods in Computer Science |
| Խորագրեր: | |
| Առցանց հասանելիություն: | https://lmcs.episciences.org/4254/pdf |