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
オンライン･アクセス:	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)