About: Subcubic graph number

Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Subcubic graph number Sponge Permalink

An Entity of Type : dbkwik:resource/4aznwUI91u-_lcyx_rD8kQ==, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

The subcubic graph numbers are the outputs of a fast-growing combinatorial function. They were devised by Harvey Friedman, who showed that it eventually dominates every recursive function provably total in the theory of \(\Pi^1_1\)-\( ext{CA}_0\), and is itself provably total in the theory of \(\Pi_1^1- ext{CA}+ ext{BI}\). One output of the sequence, SCG(13), is a subject of extensive research. It is known to surpass TREE(3), a number that arises from a related sequence.

Attributes	Values
rdf:type	function
rdfs:label	Subcubic graph number
rdfs:comment	The subcubic graph numbers are the outputs of a fast-growing combinatorial function. They were devised by Harvey Friedman, who showed that it eventually dominates every recursive function provably total in the theory of \(\Pi^1_1\)-\( ext{CA}_0\), and is itself provably total in the theory of \(\Pi_1^1- ext{CA}+ ext{BI}\). One output of the sequence, SCG(13), is a subject of extensive research. It is known to surpass TREE(3), a number that arises from a related sequence.
dcterms:subject	Theorems Combinatorics
dbkwik:googology/p...iPageUsesTemplate	dbkwik:resource/6jJxc72T8ljy4GoTDBvHyA== dbkwik:resource/7cBS1V3uWaVowycFZIqhOg== dbkwik:resource/yT3JrwLDjx1EXiHBG5CO8g== dbkwik:resource/46WHDghs9IgObE9fro40rQ== dbkwik:resource/YAzP--k8u6mtp_rQtQuITQ==
Author	Harvey Friedman
Year	2006(xsd:integer)
notation	\
growthrate	Eventual domination
abstract	The subcubic graph numbers are the outputs of a fast-growing combinatorial function. They were devised by Harvey Friedman, who showed that it eventually dominates every recursive function provably total in the theory of \(\Pi^1_1\)-\( ext{CA}_0\), and is itself provably total in the theory of \(\Pi_1^1- ext{CA}+ ext{BI}\). One output of the sequence, SCG(13), is a subject of extensive research. It is known to surpass TREE(3), a number that arises from a related sequence.

OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software