Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Arithmetical_set> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- Arithmetical_set abstract "In mathematical logic, an arithmetical set (or arithmetic set) is a set of natural numbers that can be defined by a formula of first-order Peano arithmetic. The arithmetical sets are classified by the arithmetical hierarchy.The definition can be extended to an arbitrary countable set A (e.g. the set of n-tuples of integers, the set of rational numbers, the set of formulas in some formal language, etc.) by using Gödel numbers to represent elements of the set and declaring a subset of A to be arithmetical if the set of corresponding Gödel numbers is arithmetical.A function is called arithmetically definable if the graph of is an arithmetical set.A real number is called arithmetical if the set of all smaller rational numbers is arithmetical. A complex number is called arithmetical if its real and imaginary parts are both arithmetical.".
- Arithmetical_set wikiPageID "2342451".
- Arithmetical_set wikiPageRevisionID "573736378".
- Arithmetical_set hasPhotoCollection Arithmetical_set.
- Arithmetical_set subject Category:Computability_theory.
- Arithmetical_set subject Category:Effective_descriptive_set_theory.
- Arithmetical_set subject Category:Mathematical_logic_hierarchies.
- Arithmetical_set type Abstraction100002137.
- Arithmetical_set type Arrangement107938773.
- Arithmetical_set type Group100031264.
- Arithmetical_set type Hierarchy108377806.
- Arithmetical_set type MathematicalLogicHierarchies.
- Arithmetical_set type Ordering108456993.
- Arithmetical_set type Series108457976.
- Arithmetical_set comment "In mathematical logic, an arithmetical set (or arithmetic set) is a set of natural numbers that can be defined by a formula of first-order Peano arithmetic. The arithmetical sets are classified by the arithmetical hierarchy.The definition can be extended to an arbitrary countable set A (e.g.".
- Arithmetical_set label "Arithmetical set".
- Arithmetical_set label "Арифметическое множество".
- Arithmetical_set sameAs m.0753d5.
- Arithmetical_set sameAs Q255765.
- Arithmetical_set sameAs Q255765.
- Arithmetical_set sameAs Arithmetical_set.
- Arithmetical_set wasDerivedFrom Arithmetical_set?oldid=573736378.
- Arithmetical_set isPrimaryTopicOf Arithmetical_set.