Moschovakis Extension of Represented Spaces

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...

Bibliografske podrobnosti
Glavni avtor:	Dimiter Skordev
Format:	Article
Jezik:	English
Izdano:	Logical Methods in Computer Science e.V. 2019-03-01
Serija:	Logical Methods in Computer Science
Teme:	mathematics - logic 03d60, 03d75, 03d78
Online dostop:	https://lmcs.episciences.org/4254/pdf

Podobne knjige/članki

First Order Theories of Some Lattices of Open Sets
od: Oleg Kudinov, et al.
Izdano: (2017-08-01)

Foundations of Online Structure Theory II: The Operator Approach
od: Rod Downey, et al.
Izdano: (2021-07-01)

Feedback computability on Cantor space
od: Nathanael L. Ackerman, et al.
Izdano: (2019-04-01)

ANALYTIC EQUIVALENCE RELATIONS SATISFYING HYPERARITHMETIC-IS-RECURSIVE
od: ANTONIO MONTALBÁN
Izdano: (2015-04-01)

Instance reducibility and Weihrauch degrees
od: Andrej Bauer
Izdano: (2022-08-01)

Game characterizations and lower cones in the Weihrauch degrees
od: Hugo Nobrega, et al.
Izdano: (2019-08-01)

The Rice-Shapiro theorem in Computable Topology
od: Margarita Korovina, et al.
Izdano: (2017-12-01)

A bound for Dickson's lemma
od: Josef Berger, et al.
Izdano: (2017-09-01)

Z-stability in Constructive Analysis
od: Douglas Bridges, et al.
Izdano: (2017-04-01)

The Third Trick
od: Hannes Diener, et al.
Izdano: (2022-08-01)

Interpolating Between Choices for the Approximate Intermediate Value Theorem
od: Matthew Frank
Izdano: (2020-07-01)

Almost Everywhere Behavior of Functions According to Partition Measures
od: William Chan, et al.
Izdano: (2024-01-01)

On n-dependent groups and fields II
od: Artem Chernikov, et al.
Izdano: (2021-01-01)

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
od: Maria Emilia Maietti, et al.
Izdano: (2022-11-01)

$\aleph_1$ and the modal $\mu$-calculus
od: Maria João Gouveia, et al.
Izdano: (2019-10-01)

Happiness, domains of life satisfaction, perceptions, and valuation differences across genders
od: Stefani Milovanska-Farrington, et al.
Izdano: (2022-10-01)

Quasiminimality of complex powers
od: Francesco Gallinaro, et al.
Izdano: (2024-01-01)

Typability and Type Inference in Atomic Polymorphism
od: M. Clarence Protin, et al.
Izdano: (2022-08-01)

DNR AND INCOMPARABLE TURING DEGREES
od: MINZHONG CAI, et al.
Izdano: (2016-01-01)

Every metric space is separable in function realizability
od: Andrej Bauer, et al.
Izdano: (2019-05-01)

On completeness and parametricity in the realizability semantics of System F
od: Paolo Pistone
Izdano: (2019-10-01)

A topological interpretation of three Leibnizian principles within the functional extensions
od: Marco Forti
Izdano: (2018-07-01)

An ultra-bright atom laser
od: V Bolpasi, et al.
Izdano: (2014-01-01)

Logical perspectives on the foundations of probability
od: Hosni Hykel, et al.
Izdano: (2023-06-01)

Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
od: Giulio Guerrieri, et al.
Izdano: (2022-04-01)

Robustness of discrete semifluxons in closed Bose–Hubbard chains
od: A Gallemí, et al.
Izdano: (2016-01-01)

Fusible numbers and Peano Arithmetic
od: Jeff Erickson, et al.
Izdano: (2022-07-01)

Constructive Canonicity of Inductive Inequalities
od: Willem Conradie, et al.
Izdano: (2020-08-01)

Hanf numbers via accessible images
od: Michael Lieberman, et al.
Izdano: (2017-06-01)

$\mathbf {\Sigma }_1$ -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
od: Philipp Lücke, et al.
Izdano: (2023-01-01)

On $\omega $ -Strongly Measurable Cardinals
od: Omer Ben-Neria, et al.
Izdano: (2023-01-01)

On Sub-Propositional Fragments of Modal Logic
od: Davide Bresolin, et al.
Izdano: (2018-06-01)

Functional Interpretations of Intuitionistic Linear Logic
od: Gilda Ferreira, et al.
Izdano: (2011-03-01)

W-types in setoids
od: Jacopo Emmenegger
Izdano: (2021-09-01)

Electron-nuclear entanglement in the cold lithium gases
od: Zhu Guo-Qiang, et al.
Izdano: (2005-12-01)

From coinductive proofs to exact real arithmetic: theory and applications
od: Ulrich Berger
Izdano: (2011-03-01)

Sparse analytic systems
od: Brent Cody, et al.
Izdano: (2023-01-01)

Strongly interacting Bose–Fermi mixtures in one dimension
od: Haiping Hu, et al.
Izdano: (2016-01-01)

Generic Stability Independence and Treeless Theories
od: Itay Kaplan, et al.
Izdano: (2024-01-01)

Transformations of the transfinite plane
od: Assaf Rinot, et al.
Izdano: (2021-01-01)