Cylindric numbering

In computability theory a cylindric numbering is a special kind of numbering first introduced by Yuri L. Ershov in 1973. If a numberings is reducible… (More)
Wikipedia

Related topics

Related topics

5 relations
Computability theoryCylindrificationGödel numberingNumbering (computability theory)

Broader (1)

Theory of computation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Chronic Pancreatitis: Laser Technologies for Double Balloon Enteroscopy of Pancreatojejunostomy Complications and Reducing the Peripheral Ductal Hypertension
Introduction: Drainage procedures are conventional modifications of surgical treatment for chronic pancreatitis (CP… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2010
2010
Numerical simulation of glass fiber reinforced polymer chimney under seismic loads
Due to their high corrosion and chemical resistance, glass fiber reinforced plastic (GFRP) materials are increasingly being used… (More)
  • table I
  • table 2
Is this relevant?
2007
2007
On Cylindric Algebras Satisfying Merry-go-round Properties
 
Is this relevant?
2004
2004
ON THE REPRESENTATION THEORY FOR CYLINDRIC ALGEBRAS
The main purpose of this paper is to give some new sufficient conditions for the representability of infinite dimensional… (More)
Is this relevant?
2002
2002
VARIETIES OF TWO-DIMENSIONAL CYLINDRIC ALGEBRAS . PART II
In [2] we investigated the lattice Λ(Df 2) of all subvarieties of the variety Df2 of two-dimensional diagonal free cylindric… (More)
  • figure 7
Is this relevant?
2000
2000
An Introduction to Cylindric Set Algebras
These notes are a corrected and revised version of notes which accompanied lectures given at the Banach Center in the fall of… (More)
Is this relevant?
1997
1997
Atom Structures of Cylindric Algebras and Relation Algebras
For any finite n ≥ 3 there are two atomic n-dimensional cylindric algebras with the same atom structure, with one representable… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1988
1988
Noncommutative cylindric algebras and relativizations of cylindric algebras
We obtain the class N A of noncommutative cylindric algebras from the class CA of cylindric algebras by weakening the axiom C 4… (More)
Is this relevant?
1987
1987
The viscosity of supercooled water
Shear viscosity η is a basic parameter of the liquid state strongly correlated to the dielectric relaxation time of polar… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1987
1987
On varieties of cylindric algebras with applications to logic
 
Is this relevant?