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

Detaylı Bibliyografya
Yazar:	Dimiter Skordev
Materyal Türü:	Makale
Dil:	English
Baskı/Yayın Bilgisi:	Logical Methods in Computer Science e.V. 2019-03-01
Seri Bilgileri:	Logical Methods in Computer Science
Konular:	mathematics - logic 03d60, 03d75, 03d78
Online Erişim:	https://lmcs.episciences.org/4254/pdf

Benzer Materyaller

First Order Theories of Some Lattices of Open Sets
Yazar:: Oleg Kudinov, ve diğerleri
Baskı/Yayın Bilgisi: (2017-08-01)

Foundations of Online Structure Theory II: The Operator Approach
Yazar:: Rod Downey, ve diğerleri
Baskı/Yayın Bilgisi: (2021-07-01)

Feedback computability on Cantor space
Yazar:: Nathanael L. Ackerman, ve diğerleri
Baskı/Yayın Bilgisi: (2019-04-01)

ANALYTIC EQUIVALENCE RELATIONS SATISFYING HYPERARITHMETIC-IS-RECURSIVE
Yazar:: ANTONIO MONTALBÁN
Baskı/Yayın Bilgisi: (2015-04-01)

Instance reducibility and Weihrauch degrees
Yazar:: Andrej Bauer
Baskı/Yayın Bilgisi: (2022-08-01)

Game characterizations and lower cones in the Weihrauch degrees
Yazar:: Hugo Nobrega, ve diğerleri
Baskı/Yayın Bilgisi: (2019-08-01)

The Rice-Shapiro theorem in Computable Topology
Yazar:: Margarita Korovina, ve diğerleri
Baskı/Yayın Bilgisi: (2017-12-01)

A bound for Dickson's lemma
Yazar:: Josef Berger, ve diğerleri
Baskı/Yayın Bilgisi: (2017-09-01)

Z-stability in Constructive Analysis
Yazar:: Douglas Bridges, ve diğerleri
Baskı/Yayın Bilgisi: (2017-04-01)

The Third Trick
Yazar:: Hannes Diener, ve diğerleri
Baskı/Yayın Bilgisi: (2022-08-01)

Interpolating Between Choices for the Approximate Intermediate Value Theorem
Yazar:: Matthew Frank
Baskı/Yayın Bilgisi: (2020-07-01)

Almost Everywhere Behavior of Functions According to Partition Measures
Yazar:: William Chan, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

On n-dependent groups and fields II
Yazar:: Artem Chernikov, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
Yazar:: Maria Emilia Maietti, ve diğerleri
Baskı/Yayın Bilgisi: (2022-11-01)

$\aleph_1$ and the modal $\mu$-calculus
Yazar:: Maria João Gouveia, ve diğerleri
Baskı/Yayın Bilgisi: (2019-10-01)

Happiness, domains of life satisfaction, perceptions, and valuation differences across genders
Yazar:: Stefani Milovanska-Farrington, ve diğerleri
Baskı/Yayın Bilgisi: (2022-10-01)

Quasiminimality of complex powers
Yazar:: Francesco Gallinaro, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

Typability and Type Inference in Atomic Polymorphism
Yazar:: M. Clarence Protin, ve diğerleri
Baskı/Yayın Bilgisi: (2022-08-01)

DNR AND INCOMPARABLE TURING DEGREES
Yazar:: MINZHONG CAI, ve diğerleri
Baskı/Yayın Bilgisi: (2016-01-01)

Every metric space is separable in function realizability
Yazar:: Andrej Bauer, ve diğerleri
Baskı/Yayın Bilgisi: (2019-05-01)

On completeness and parametricity in the realizability semantics of System F
Yazar:: Paolo Pistone
Baskı/Yayın Bilgisi: (2019-10-01)

A topological interpretation of three Leibnizian principles within the functional extensions
Yazar:: Marco Forti
Baskı/Yayın Bilgisi: (2018-07-01)

An ultra-bright atom laser
Yazar:: V Bolpasi, ve diğerleri
Baskı/Yayın Bilgisi: (2014-01-01)

Logical perspectives on the foundations of probability
Yazar:: Hosni Hykel, ve diğerleri
Baskı/Yayın Bilgisi: (2023-06-01)

Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
Yazar:: Giulio Guerrieri, ve diğerleri
Baskı/Yayın Bilgisi: (2022-04-01)

Robustness of discrete semifluxons in closed Bose–Hubbard chains
Yazar:: A Gallemí, ve diğerleri
Baskı/Yayın Bilgisi: (2016-01-01)

Fusible numbers and Peano Arithmetic
Yazar:: Jeff Erickson, ve diğerleri
Baskı/Yayın Bilgisi: (2022-07-01)

Constructive Canonicity of Inductive Inequalities
Yazar:: Willem Conradie, ve diğerleri
Baskı/Yayın Bilgisi: (2020-08-01)

Hanf numbers via accessible images
Yazar:: Michael Lieberman, ve diğerleri
Baskı/Yayın Bilgisi: (2017-06-01)

$\mathbf {\Sigma }_1$ -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
Yazar:: Philipp Lücke, ve diğerleri
Baskı/Yayın Bilgisi: (2023-01-01)

On $\omega $ -Strongly Measurable Cardinals
Yazar:: Omer Ben-Neria, ve diğerleri
Baskı/Yayın Bilgisi: (2023-01-01)

On Sub-Propositional Fragments of Modal Logic
Yazar:: Davide Bresolin, ve diğerleri
Baskı/Yayın Bilgisi: (2018-06-01)

Functional Interpretations of Intuitionistic Linear Logic
Yazar:: Gilda Ferreira, ve diğerleri
Baskı/Yayın Bilgisi: (2011-03-01)

W-types in setoids
Yazar:: Jacopo Emmenegger
Baskı/Yayın Bilgisi: (2021-09-01)

Electron-nuclear entanglement in the cold lithium gases
Yazar:: Zhu Guo-Qiang, ve diğerleri
Baskı/Yayın Bilgisi: (2005-12-01)

From coinductive proofs to exact real arithmetic: theory and applications
Yazar:: Ulrich Berger
Baskı/Yayın Bilgisi: (2011-03-01)

Sparse analytic systems
Yazar:: Brent Cody, ve diğerleri
Baskı/Yayın Bilgisi: (2023-01-01)

Strongly interacting Bose–Fermi mixtures in one dimension
Yazar:: Haiping Hu, ve diğerleri
Baskı/Yayın Bilgisi: (2016-01-01)

Generic Stability Independence and Treeless Theories
Yazar:: Itay Kaplan, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

Transformations of the transfinite plane
Yazar:: Assaf Rinot, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)