Struct RMPrinciple 

pub struct RMPrinciple {
    pub name: &'static str,
    pub description: &'static str,
    pub strength: RMStrength,
    pub year: u32,
}

A combinatorial principle in the RM zoo.

Fields

name: &'static str

Short name (e.g. “RT²_2”).

description: &'static str

Long description.

strength: RMStrength

Known RM strength.

year: u32

Year first studied.

Implementations

impl RMPrinciple

pub fn equivalent_to(&self, system: &BigFiveSystem) -> bool

Return true if this principle is equivalent (over RCA₀) to the given system.

pub fn rt22() -> Self

Ramsey’s theorem RT²_2: pairs, 2 colors.

pub fn srt22() -> Self

Stable Ramsey’s theorem SRT²_2.

pub fn cac() -> Self

Chain-Antichain principle CAC (Dilworth).

pub fn ads() -> Self

Ascending/Descending Sequence ADS.

pub fn hindman() -> Self

Hindman’s theorem.

pub fn bolzano_weierstrass() -> Self

Bolzano–Weierstrass theorem.

pub fn brouwer() -> Self

Brouwer’s fixed-point theorem.

Trait Implementations

impl Clone for RMPrinciple

fn clone(&self) -> RMPrinciple

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RMPrinciple

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.