Switch to: References

Citations of:

Mathematical Interpretation of Formal Systems

Amsterdam, Netherlands: North-Holland Pub. Co. (1955)

Add citations

You must login to add citations.
  1. “On the Plausibility of Nonstandard Proofs in Analysis”.E. J. Farkas & M. E. Szabo - 1984 - Dialectica 38 (4):297-310.
  • A Recursion‐Theoretic View of Axiomatizable Theories.Marian Boykan Pour-El - 1970 - Dialectica 24 (4):267-276.
  • On Limiting the Applications of the Uniqueness Rules in The Equation Calculus.R. Louis Goodstein - 1973 - Mathematical Logic Quarterly 19 (8‐10):115-116.
    Direct download  
     
    Export citation  
     
    Bookmark  
  • On Limiting the Applications of the Uniqueness Rules in The Equation Calculus.R. Louis Goodstein - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (8-10):115-116.
    Direct download  
     
    Export citation  
     
    Bookmark  
  • The Axiomatic System of the Factorial Implication.August Pieczkowski - 1966 - Studia Logica 18 (1):41 - 64.
  • Aggregating Infinitely Many Probability Measures.Frederik Herzberg - 2015 - Theory and Decision 78 (2):319-337.
    The problem of how to rationally aggregate probability measures occurs in particular when a group of agents, each holding probabilistic beliefs, needs to rationalise a collective decision on the basis of a single ‘aggregate belief system’ and when an individual whose belief system is compatible with several probability measures wishes to evaluate her options on the basis of a single aggregate prior via classical expected utility theory. We investigate this problem by first recalling some negative results from preference and judgment (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Some Examples of Ultraproducts.Kenneth Loewen - 1969 - Studia Logica 24 (1):47 - 53.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark