S-Subsets of Natural Numbers

DOI10.1023/B:ALLO.0000028930.44605.68zbMath1115.03051OpenAlexW2019192060MaRDI QIDQ5294707

V. G. Puzarenko, Andrey S. Morozov

Publication date: 26 July 2007

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:allo.0000028930.44605.68

zbMATH Keywords

admissible setuniversal \(\Sigma \)-functionhereditarily finite superstructure\(\Sigma \)-subsetfinite ordinal

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items (16)

\(\Sigma \)-bounded algebraic systems and universal functions. I ⋮ Bounded algebraic systems and universal functions ⋮ Descriptive properties on admissible sets ⋮ Universal functions and \(K \Sigma \)-structures ⋮ Conditional terms in semantic programming ⋮ Families of permutations and ideals of Turing degrees ⋮ Reducibility on families ⋮ Recursive terms in semantic programming ⋮ Universal functions and almost \(c\)-simple models ⋮ Universal functions and \(\Sigma_\omega \)-bounded structures ⋮ \(\Sigma \)-uniform structures and \(\Sigma \)-functions. I ⋮ \(\Sigma \)-uniform structures and \(\Sigma \)-functions. II ⋮ On a universal \(\Sigma \)-function over a tree ⋮ 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 ⋮ A class of almost \(c\)-simple rings ⋮ On universal functions in hereditarily finite superstructures

This page was built for publication: S-Subsets of Natural Numbers