Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

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.
Review
2017
Review
2017
Sketch of a remarkable life
§1. Sketch of a remarkable life. Solomon Feferman, Patrick Suppes Family Professor of Humanities and Science and Professor of… 
2014
2014
Amalgamation, interpolation and congruence extension properties in topological cylindric algebras
We study various amalgamation properties in topological cylindric algebras of all dimensions. 1 
2011
2011
On nonrepresentable G-polyadic algebras with representable cylindric reducts
In [10], Sayed Ahmed recently has shown that there exists an infinite dimensional non-representable quasi-polyadic equality… 
2007
2007
A CONFIRMATION OF A CONJECTURE OF TARSKI
We confirm a conjecture of Tarski on cylindric algebra. We confirm an old conjecture of Tarski on neat reducts of cylindric… 
2007
2007
On Cylindric Algebras Satisfying Merry-go-round Properties
2007
2007
NEAT EMBEDDING IS NOT SUFFICIENT FOR COMPLETE REPRESENTABILITY
In [4] we characterize the class of countable completey representable relation and cylindric algebras via special neat embeddings… 
1998
1998
Turbulence and Bifurcation in the Motion of an Hydrocyclone
The hydrocyclone is a tool used in different fields but mostly in mining industries to separate minerals. The minerals are put in… 
1997
1997
Finite Schematizable Algebraic Logic
In this work, we attempt to alleviate three (more or less) equivalent negative results. These are (i) non-axiomatizability (by… 
1993
1993
A note on cylindric lattices
0. Introduction. Besides being of intrinsic interest, cylindric (semi-) lattices arise naturally from the study of dependencies… 
1972
1972
A sheaf-theoretic duality theory for cylindric algebras
Stone's duality between Boolean algebras and Boolean spaces is extended to a dual equivalence between the category of all… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)