Refining the arithmetical hierarchy of classical principles (Q6094157): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W3094565114 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A generalization of a conservativity theorem for classical versus intuitionistic arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: RAMSEY’S THEOREM FOR PAIRS AND<i>K</i>COLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fragments of Heyting arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(\Delta^0_1\) variants of the law of excluded middle and related principles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weihrauch and constructive reducibility between existence statements / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some principles weaker than Markov's principle / rank
 
Normal rank
Property / cites work
 
Property / cites work: EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES / rank
 
Normal rank
Property / cites work
 
Property / cites work: INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES / rank
 
Normal rank
Property / cites work
 
Property / cites work: PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC / rank
 
Normal rank
Property / cites work
 
Property / cites work: Markov's principle, Church's thesis and Lindelöf's theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5718575 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the disjunctive Markov principle / rank
 
Normal rank
Property / cites work
 
Property / cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata, Languages and Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic and structure / rank
 
Normal rank

Latest revision as of 20:29, 2 August 2024

scientific article; zbMATH DE number 7736898
Language Label Description Also known as
English
Refining the arithmetical hierarchy of classical principles
scientific article; zbMATH DE number 7736898

    Statements

    Refining the arithmetical hierarchy of classical principles (English)
    0 references
    0 references
    0 references
    12 September 2023
    0 references

    Identifiers

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