Formalizing non-standard arguments in second-order arithmetic (Q3066789): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.2178/jsl/1286198143 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2137023255 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of proof theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formalizing forcing arguments in subsystems of second-order arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-standard analysis in ACA0 and Riemann mapping theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5286672 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non‐standard Analysis in WKL<sub>0</sub> / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4220572 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nonstandard Arithmetic and Reverse Mathematics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4001935 / rank
 
Normal rank

Latest revision as of 14:53, 3 July 2024

scientific article
Language Label Description Also known as
English
Formalizing non-standard arguments in second-order arithmetic
scientific article

    Statements

    Formalizing non-standard arguments in second-order arithmetic (English)
    0 references
    0 references
    12 January 2011
    0 references
    nonstandard mathematics
    0 references
    reverse mathematics
    0 references
    ns-WKL
    0 references
    ns-ACA
    0 references
    WKL
    0 references
    ACA
    0 references
    conservative extension
    0 references
    Gödel numbers
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references