S-Subsets of Natural Numbers

DOI10.1023/B:ALLO.0000028930.44605.68zbMATH Open1115.03051OpenAlexW2019192060MaRDI QIDQ5294707FDOQ5294707

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Cited In (28)

• On principles of computability on admissible sets
• A class of almost \(c\)-simple rings
• 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
• Families of permutations and ideals of Turing degrees
• \(\Sigma \)-uniform structures and \(\Sigma \)-functions. I
• \(\Sigma \)-uniform structures and \(\Sigma \)-functions. II
• Conditional terms in semantic programming
• Universal functions and \(K \Sigma \)-structures
• Logically defined subsets of \(\mathbb{N}{}^ k\)
• Universal functions and \(\Sigma_\omega \)-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 \(\Sigma\)-subsets of naturals over abelian groups
• On a universal \(\Sigma \)-function over a tree
• Bounded algebraic systems and universal functions
• Title not available (Why is that?)
• Sets of natural numbers with proscribed subsets
• Descriptive properties on admissible sets
• Each family of subsets of the urelements generates an admissible set
• Title not available (Why is that?)
• On the index sets of \(\Sigma\)-subsets of the real numbers
• Natural numerosities of sets of tuples
• Title not available (Why is that?)

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)