Pages that link to "Definition:Substitution (Mathematical Logic)"
Jump to navigation
Jump to search
The following pages link to Definition:Substitution (Mathematical Logic):
Displayed 50 items.
- Function Obtained by Substitution from URM Computable Functions (← links)
- Constant Function is Primitive Recursive (← links)
- Addition is Primitive Recursive (← links)
- Multiplication is Primitive Recursive (← links)
- Linear Function is Primitive Recursive (← links)
- Substitution of Constant yields Primitive Recursive Function (← links)
- Maximum Function is Primitive Recursive (← links)
- Minimum Function is Primitive Recursive (← links)
- Absolute Difference Function is Primitive Recursive (← links)
- Set Containing Only Zero is Primitive Recursive (← links)
- Set of Non-Zero Natural Numbers is Primitive Recursive (← links)
- Complement of Primitive Recursive Set (← links)
- Intersection of Primitive Recursive Sets (← links)
- Union of Primitive Recursive Sets (← links)
- Equality Relation is Primitive Recursive (← links)
- Ordering Relations are Primitive Recursive (← links)
- Permutation of Variables of Primitive Recursive Function (← links)
- Definition by Cases is Primitive Recursive (← links)
- Divisor Relation is Primitive Recursive (← links)
- Divisor Count Function is Primitive Recursive (← links)
- Prime Enumeration Function is Primitive Recursive (← links)
- Bounded Minimization is Primitive Recursive (← links)
- Set of Codes for URM Instructions is Primitive Recursive (← links)
- Set of Sequence Codes is Primitive Recursive (← links)
- Set of Codes for URM Programs is Primitive Recursive (← links)
- Recursive Function is URM Computable (← links)
- State Code Function is Primitive Recursive (← links)
- URM Computable Function is Recursive (← links)
- Recursive Function uses One Minimization (← links)
- Combination of Recursive Functions (← links)
- Not All URM Computable Functions are Primitive Recursive (← links)
- Constant Function is Primitive Recursive/General Case (← links)
- Recursive Relation is Turing Computable (← links)
- Substitution of Arithmetically Definable Functions is Arithmetically Definable (← links)
- Recursive Function is Arithmetically Definable (← links)
- Set is Recursively Enumerable iff Domain of Recursive Function (← links)
- Set is Recursive iff Set and Complement are Recursively Enumerable (← links)
- Intersection of Recursively Enumerable Sets (← links)
- Cantor Pairing Function is Primitive Recursive (← links)
- Composition of Computably Uniformly Continuous Real Functions is Computably Uniformly Continuous (← links)
- Composition of Computably Uniformly Continuous Real-Valued Functions is Computably Uniformly Continuous (← links)
- Ackermann-Péter Function is not Primitive Recursive (← links)
- User:StarTower/Structure Notes/Definition Pages/Heading Two Statistics/Plan of Use/Sourceless Pages (← links)
- User:Ascii/Definitions (← links)
- Category:Primitive Recursive Functions (← links)
- Category:Recursive Functions (← links)
- Category:Definitions/Primitive Recursive Functions (← links)
- Definition:Primitive Recursive (← links)
- Definition:Recursive (← links)
- Definition:Primitive Recursive/Function (← links)