Q5518362 (Q5518362): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 21:53, 11 June 2024

scientific article; zbMATH DE number 3230252

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 3230252

Statements

scholarly article

0 references

zbMATH Open document ID

0 references

Yiannis N. Moschovakis

0 references

publication date

1965

0 references

full work available at URL

http://www.numdam.org/item?id=CM_1965-1966__17__40_0

0 references

https://eudml.org/doc/88926

0 references

zbMATH DE Number

0 references

zbMATH Keywords

mathematical logic

0 references

MaRDI profile type

MaRDI publication profile

0 references

The constructivity of maximal dual ideals in certain Boolean algebras

0 references

Effective procedures in field theory

0 references

0 references

0 references

0 references

On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)

0 references

The upper semi-lattice of degrees of recursive unsolvability

0 references

0 references

0 references

Recursive metric spaces

0 references

Effective operations on partial recursive functions

0 references

Recursively enumerable sets of positive integers and their decision problems

0 references

Computable Algebra, General Theory and Theory of Computable Fields

0 references

Recursive Real Numbers

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5518362

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5518362&oldid=34511183"