S-Subsets of Natural Numbers

DOI10.1023/B:ALLO.0000028930.44605.68MaRDI QIDQ5294707zbMATH OpenOpenAlexFDO

Authors Vadim G. Puzarenko, Andrei 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)

Recommendations

• On principles of computability on admissible sets
• On \(\Sigma\)-subsets of naturals over abelian groups
• \(\Sigma\)-predicates of finite types over an admissible set
• On the collection of all computable subsets on admissible sets
• scientific article; zbMATH DE number 5049507

Cited in

(28)

• A class of almost \(c\)-simple rings
• On principles of computability on admissible sets
• Natural numbers \(n\) for which \(\lfloor n\alpha +s\rfloor \not =\lfloor n\beta +s\rfloor \)
• Recursive terms in semantic programming
• Universal functions and almost \(c\)-simple models
• \(\Sigma \)-bounded algebraic systems and universal functions. I
• \(\Sigma \)-uniform structures and \(\Sigma \)-functions. I
• \(\Sigma \)-uniform structures and \(\Sigma \)-functions. II
• Conditional terms in semantic programming
• Logically defined subsets of \(\mathbb{N}{}^ k\)
• Universal functions and \(K \Sigma \)-structures
• Families of permutations and ideals of Turing degrees
• Universal functions and _ -bounded structures
• On universal functions in hereditarily finite superstructures
• 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06
• On the collection of all computable subsets on admissible sets
• Reducibility on families
• On a universal -function over a tree
• On \(\Sigma\)-subsets of naturals over abelian groups
• Bounded algebraic systems and universal functions
• scientific article; zbMATH DE number 1923100 (Why is no real title available?)
• Descriptive properties on admissible sets
• Each family of subsets of the urelements generates an admissible set
• Sets of natural numbers with proscribed subsets
• scientific article; zbMATH DE number 2167513 (Why is no real title available?)
• On the index sets of \(\Sigma\)-subsets of the real numbers
• Natural numerosities of sets of tuples
• scientific article; zbMATH DE number 4057500 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5294707)