Splitting theorems and strong reductions

Splitting theorems and strong reductions

This thesis involves the application of set splitting method in various problems in computability theory, with special respect to strong reductions within this research.

书目详细资料
主要作者:	Wang, Shaoyi
其他作者:	Wu Guohua
格式:	Thesis
语言:	English
出版:	2019
主题:	Science::Mathematics::Mathematical logic
在线阅读:	https://hdl.handle.net/10356/106851 http://hdl.handle.net/10220/49671

相似书籍

Morley's categoricity theorem : a survey.
由: Huang, Leonard Tristan Zhiliang.
出版: (2008)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
由: Marc Hermes, et al.
出版: (2024-03-01)

Theorem proving with analytic tableaux and related methods /
由: International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany), et al.
出版: (1995)

The mathematics of logic : a guide to completeness theorems and their applications /
由: 186853 Kaye, Richard
出版: (2007)

Theorem proving [filem]
出版: (1969)

Theorem proving [kasetvideo]
出版: (1969)

Computability theory and applications
由: Khoo, Kai Jun
出版: (2023)

Cupping in the computably enumerable degrees
由: Tran, Hong Hanh
出版: (2023)

Axiomatic set theory beyond the continuum hypothesis
由: Neo, Chee Heng
出版: (2022)

Applications of effective methods in computable mathematics
由: Salah Mostafa Mohamed Elsayed
出版: (2022)

Conditional and preferential logics : proof methods and theorem proving /
由: 518526 Pozzato, Gian Luca
出版: (c201)

Symbolic logic and mechanical theorem proving /
由: 336504 Chang, Chin-Ling, et al.
出版: (1973)

Contributions to degree structures
由: Wang, Shenling
出版: (2011)

On the calculus of positively constructed formulas for authomated theorem proving
由: A. V. Davydov, et al.
出版: (2010-12-01)

Axiomatic strengths of certain mathematical statements
由: Koh, Heer Tern
出版: (2020)

Logic for computer science : foundations of automatic theorem proving /
由: 455116 Gallier, Jean H.
出版: (1986)

Degree structures below 0'
由: Liu, Jiang
出版: (2010)

Transverse domain wall profile for spin logic applications
由: Ramu, Maddu, et al.
出版: (2015)

Complexity of equivalence relations and preorders from computability theory
由: Ianovski, Egor, et al.
出版: (2015)

Lattices from totally real number fields with large regulator
由: Ong, Soon Sheng, et al.
出版: (2015)

Computability theory and algebra
由: Wu, Huishan
出版: (2017)

On equivalence relations and bounded turing degrees
由: Yu, Hongyuan
出版: (2018)

ω-change randomness and weak demuth randomness
由: Franklin, Johanna N. Y., et al.
出版: (2015)

Nonhemimaximal degrees and the high/low hierarchy
由: Fang, Chengling, et al.
出版: (2013)

Local structure theory and the Ershov hierarchy
由: Fang, Chengling
出版: (2012)

On the Metric Temporal Logic for Continuous Stochastic Processes
由: Mitsumasa Ikeda, et al.
出版: (2024-06-01)

Decidability for Sturmian words
由: Philipp Hieronymi, et al.
出版: (2024-08-01)

Mantik dalam babak pemikiran ilmiah tamadun manusia /
由: Mat Rofa Ismail, editor
出版: (1997)

Zeta Functions and the (Linear) Logic of Markov Processes
由: Thomas Seiller
出版: (2024-08-01)

Selected papers in logic and foundations, didactics, economics /
由: 298224 Menger, Karl
出版: (1979)

On Stone's representation theorem
由: Loo, Dong Lin
出版: (2022)

Arboreal Categories: An Axiomatic Theory of Resources
由: Samson Abramsky, et al.
出版: (2023-08-01)

Stabilized profunctors and stable species of structures
由: Marcelo Fiore, et al.
出版: (2024-02-01)

Many-valued coalgebraic logic over semi-primal varieties
由: Alexander Kurz, et al.
出版: (2024-07-01)

Logical abstract interpretation
由: D'Silva, V, et al.
出版: (2013)

Discrete mathematics and its applications /
由: 243007 Rosen, Kenneth H.
出版: (2007)

Kesan mantik terhadap penulisan dan penterjemahan matematik /
由: 224978 Samsudin Abdullah

The real field with an irrational power function and a dense multiplicative subgroup
由: Hieronymi, P
出版: (2008)

Arithmetic logic unit (ALU) - bit slice approach.
由: Suparjo, Bambang Sunaryo, et al.

Asas bermantik dan berteori set bagi matematik /
由: 339363 Zulauf, Achim, et al.
出版: (1992)