Pages that link to "Unary Representation of Natural Number"
Jump to navigation
Jump to search
The following pages link to Unary Representation of Natural Number:
Displayed 19 items.
- Addition of Natural Numbers is Provable (← links)
- Multiplication of Natural Numbers is Provable (← links)
- Equality of Terms of Natural Numbers is Provable (← links)
- Ordering of Natural Numbers is Provable (← links)
- Inequality of Natural Numbers is Provable (← links)
- Negation of Ordering of Natural Numbers is Provable (← links)
- Quantifier-Free Formula of Arithmetic is Provable (← links)
- Existential Quantification of Provable Arithmetic Formula is Provable (← links)
- Bounded Universal Quantification of Provable Arithmetic Formula is Provable (← links)
- Minimal Arithmetic is Sigma 1 Complete (← links)
- Basic Primitive Recursive Functions are Arithmetically Definable (← links)
- Substitution of Arithmetically Definable Functions is Arithmetically Definable (← links)
- Minimization of Arithmetically Definable Function is Arithmetically Definable (← links)
- Addition is Arithmetically Definable (← links)
- Multiplication is Arithmetically Definable (← links)
- Remainder is Arithmetically Definable (← links)
- Gödel's Beta Function is Arithmetically Definable (← links)
- Primitive Recursion on Arithmetically Definable Function is Arithmetically Definable (← links)
- Recursive Function is Arithmetically Definable (← links)