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

Полное описание

Библиографические подробности
Главный автор:	Dimiter Skordev
Формат:	Статья
Язык:	English
Опубликовано:	Logical Methods in Computer Science e.V. 2019-03-01
Серии:	Logical Methods in Computer Science
Предметы:	mathematics - logic 03d60, 03d75, 03d78
Online-ссылка:	https://lmcs.episciences.org/4254/pdf

Схожие документы

First Order Theories of Some Lattices of Open Sets
по: Oleg Kudinov, и др.
Опубликовано: (2017-08-01)

Foundations of Online Structure Theory II: The Operator Approach
по: Rod Downey, и др.
Опубликовано: (2021-07-01)

Feedback computability on Cantor space
по: Nathanael L. Ackerman, и др.
Опубликовано: (2019-04-01)

ANALYTIC EQUIVALENCE RELATIONS SATISFYING HYPERARITHMETIC-IS-RECURSIVE
по: ANTONIO MONTALBÁN
Опубликовано: (2015-04-01)

Instance reducibility and Weihrauch degrees
по: Andrej Bauer
Опубликовано: (2022-08-01)

Game characterizations and lower cones in the Weihrauch degrees
по: Hugo Nobrega, и др.
Опубликовано: (2019-08-01)

The Rice-Shapiro theorem in Computable Topology
по: Margarita Korovina, и др.
Опубликовано: (2017-12-01)

A bound for Dickson's lemma
по: Josef Berger, и др.
Опубликовано: (2017-09-01)

Z-stability in Constructive Analysis
по: Douglas Bridges, и др.
Опубликовано: (2017-04-01)

The Third Trick
по: Hannes Diener, и др.
Опубликовано: (2022-08-01)

Interpolating Between Choices for the Approximate Intermediate Value Theorem
по: Matthew Frank
Опубликовано: (2020-07-01)

Almost Everywhere Behavior of Functions According to Partition Measures
по: William Chan, и др.
Опубликовано: (2024-01-01)

On n-dependent groups and fields II
по: Artem Chernikov, и др.
Опубликовано: (2021-01-01)

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
по: Maria Emilia Maietti, и др.
Опубликовано: (2022-11-01)

$\aleph_1$ and the modal $\mu$-calculus
по: Maria João Gouveia, и др.
Опубликовано: (2019-10-01)

Happiness, domains of life satisfaction, perceptions, and valuation differences across genders
по: Stefani Milovanska-Farrington, и др.
Опубликовано: (2022-10-01)

Quasiminimality of complex powers
по: Francesco Gallinaro, и др.
Опубликовано: (2024-01-01)

Typability and Type Inference in Atomic Polymorphism
по: M. Clarence Protin, и др.
Опубликовано: (2022-08-01)

DNR AND INCOMPARABLE TURING DEGREES
по: MINZHONG CAI, и др.
Опубликовано: (2016-01-01)

Every metric space is separable in function realizability
по: Andrej Bauer, и др.
Опубликовано: (2019-05-01)

On completeness and parametricity in the realizability semantics of System F
по: Paolo Pistone
Опубликовано: (2019-10-01)

A topological interpretation of three Leibnizian principles within the functional extensions
по: Marco Forti
Опубликовано: (2018-07-01)

An ultra-bright atom laser
по: V Bolpasi, и др.
Опубликовано: (2014-01-01)

Logical perspectives on the foundations of probability
по: Hosni Hykel, и др.
Опубликовано: (2023-06-01)

Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
по: Giulio Guerrieri, и др.
Опубликовано: (2022-04-01)

Robustness of discrete semifluxons in closed Bose–Hubbard chains
по: A Gallemí, и др.
Опубликовано: (2016-01-01)

Fusible numbers and Peano Arithmetic
по: Jeff Erickson, и др.
Опубликовано: (2022-07-01)

Constructive Canonicity of Inductive Inequalities
по: Willem Conradie, и др.
Опубликовано: (2020-08-01)

Hanf numbers via accessible images
по: Michael Lieberman, и др.
Опубликовано: (2017-06-01)

$\mathbf {\Sigma }_1$ -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
по: Philipp Lücke, и др.
Опубликовано: (2023-01-01)

On $\omega $ -Strongly Measurable Cardinals
по: Omer Ben-Neria, и др.
Опубликовано: (2023-01-01)

On Sub-Propositional Fragments of Modal Logic
по: Davide Bresolin, и др.
Опубликовано: (2018-06-01)

Functional Interpretations of Intuitionistic Linear Logic
по: Gilda Ferreira, и др.
Опубликовано: (2011-03-01)

W-types in setoids
по: Jacopo Emmenegger
Опубликовано: (2021-09-01)

Electron-nuclear entanglement in the cold lithium gases
по: Zhu Guo-Qiang, и др.
Опубликовано: (2005-12-01)

From coinductive proofs to exact real arithmetic: theory and applications
по: Ulrich Berger
Опубликовано: (2011-03-01)

Sparse analytic systems
по: Brent Cody, и др.
Опубликовано: (2023-01-01)

Strongly interacting Bose–Fermi mixtures in one dimension
по: Haiping Hu, и др.
Опубликовано: (2016-01-01)

Generic Stability Independence and Treeless Theories
по: Itay Kaplan, и др.
Опубликовано: (2024-01-01)

Transformations of the transfinite plane
по: Assaf Rinot, и др.
Опубликовано: (2021-01-01)