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 
2013
2013
A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct
We construct an infinite dimensional quasi-polyadic equality algebra \documentclass{aastex} \usepackage{amsbsy} \usepackage… 
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… 
2008
2008
A Note on Atom Structures of Relation and Cylindric Algebras
RRA stands for the class of representable relation algebras, while RCAn stands for the class of cylindric algebras of dimension n… 
2002
2002
Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic
We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n ≤ w via special… 
2001
2001
Undecidable theories of Lyndon algebras
Abstract With each projective geometry we can associate a Lyndon algebra. Such an algebra always satisfies Tarski's axioms for… 
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… 
1970
1970
On an Algebra of Sets of Finite Sequences
The algebras studied in this paper were suggested to the author by William Craig as a possible substitute for cylindric algebras… 
1965
1965
Die angeborene Pseudoerosion der Portio und ihr Schicksal
ZusammenfassungEs besteht kein beweisender Anhaltspunkt dafür, daß die kongenitale Pseudoerosion (Fischel) in die Pseudoerosion… 
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)