A structure of punctual dimension two

A structure of punctual dimension two

This paper contributes to the general program which aims to eliminate an unbounded search from proofs and procedures in computable structure theory. A countable structure in a finite language is punctual if its domain is ω and its operations and relations are primitive recursive. A function f is pun...

Saved in:

書目詳細資料
Main Authors:	Melnikov, Alexander, Ng, Keng Meng
其他作者:	School of Physical and Mathematical Sciences
格式:	Article
語言:	English
出版:	2021
主題:	Science::Mathematics Polynomial-time Model-theory
在線閱讀:	https://hdl.handle.net/10356/152039
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Nanyang Technological University
語言:	English

相似書籍

Punctual categoricity and universality
由: Downey, Rod, et al.
出版: (2022)

Computably and punctually universal spaces
由: Bagaviev, Ramil, et al.
出版: (2024)

Tight distance-regular graphs and the Q-polynomial property
由: Pascasio, Arlene A.
出版: (2001)

On the polynomial x3 + y3 + z3 - 3xyz
由: Barrera, Eudora, et al.
出版: (1993)

On generalized Bell polynomials
由: Corcino, Roberto B., et al.
出版: (2011)

Factorization of polynomials
由: Amarisa Chantanasiri
出版: (2006)

On thin irreducible T-modules with endpoint 1
由: Baustista, Paolo Lorenzo Y.
出版: (2011)

Chemical reactions network theory (CRNT) analysis and applications of poly-PL kinetic system
由: Magpantay, Daryl M.
出版: (2019)

Factorization of polynomials
由: Amarisa Chantanasiri
出版: (2003)

Irreducible T-modules with endpoint r, and the Q-polynomial property
由: Bautista, Paolo Lorenzo Y.
出版: (2022)

On chromatic polynomials of regular graphs and modified wheels
由: Aves, Lovelina A.
出版: (1994)

The dimension of the join of two graphs
由: Gervacio, Severino V., et al.
出版: (2005)

On regular and 2-scored 2-orthogonal tournaments
由: Urbano, Reynaldo M.
出版: (1994)

Rational approximation of n j-r using ladder arithmetic (with computer program)
由: Nalangan, Ana Marissa L., et al.
出版: (1994)

On commutativity of polynomial functions
由: Liu, Kung-Chun, et al.
出版: (1997)

Knots and the Conway polynomial
由: Solco, Winnie T., et al.
出版: (1994)

Computability of Polish spaces up to homeomorphism
由: Harrison-Trainor, Matthew, et al.
出版: (2022)

Monomial ordering and a division algorithm for polynomials of two or more variables with software
由: Cuaycong, Mark Angelo C., et al.
出版: (1997)

The terwilliger algebra of a distance-regular graph
由: Go, Junie T.
出版: (1999)

Tridiagonal pairs of shape (1, 2, 1)
由: Vidar, Melvin A.
出版: (2008)

On the last fall degree of zero-dimensional Weil descent systems
由: Huang, Ming-Deh A., et al.
出版: (2020)

Rational spectral methods for PDEs involving fractional Laplacian in unbounded domains
由: Tang, Tao, et al.
出版: (2020)

Computer assisted instruction (CAI) in graphing polynomial functions
由: Villarica, Michael, et al.
出版: (1988)

An accurate solution to the cardinality-based punctuality problem
由: Cao, Zhiguang, et al.
出版: (2020)

On a class of quadratic polynomials with no zeros and its application to APN functions
由: Bracken, C., et al.
出版: (2014)

The role of relational closeness and situational constraints in allowances for punctuality.
由: Law, Astrea Jia Tung.
出版: (2013)

Several classes of permutation polynomials of the form (xpm − x + δ)s + x over Fp2m
由: Xu, Guangkui, et al.
出版: (2022)

Bernstein-type constants for approximation of |x|α by partial Fourier–Legendre and Fourier–Chebyshev sums
由: Liu, Wenjie, et al.
出版: (2023)

Modeling chaotic behavior of discrete dynamical systems in two-dimension using Kohonen Som
由: Fortuna, Janice C.
出版: (2004)

A PTAS for the k-consensus structures problem under squared Euclidean distance
由: Li, S.C., et al.
出版: (2014)

Factorizations of some generalized exponential polynomials
由: Ouamporn Phuksuwan
出版: (2009)

Factorizations of some generalized exponential polynomials
由: Ouamporn Phuksuwan
出版: (2002)

Lie polynomial characterization problems
由: Cantuba, Rafael Reno S., et al.
出版: (2020)

Monomials and binomials over finite fields as R-orthomorphisms
由: Chou, W.-S., et al.
出版: (2014)

Computable torsion abelian groups
由: Melnikov, Alexander G., et al.
出版: (2020)

Automatic and polynomial-time algebraic structures
由: Bazhenov, Nikolay, et al.
出版: (2020)

An accurate solution to the cardinality-based punctuality problem
由: CAO, Zhiguang, et al.
出版: (2020)

An improvement on a large sieve inequality in high dimensions
由: Zhao, Liangyi.
出版: (2010)

Analyticity, regularity, and generalized polynomial chaos approximation of stochastic, parametric parabolic two-scale partial differential equations
由: Hoang, Viet Ha
出版: (2022)

Computer generated sketches of the Taylor polynomial approximations in polar coordinates
由: Ang, Lirio L., et al.
出版: (1994)