Switch to: References

Add citations

You must login to add citations.
  1. Completeness for systems including real numbers.W. Balzer & M. Reiter - 1989 - Studia Logica 48 (1):67 - 75.
    The usual completeness theorem for first-order logic is extended in order to allow for a natural incorporation of real analysis. Essentially, this is achieved by building in the set of real numbers into the structures for the language, and by adjusting other semantical notions accordingly. We use many-sorted languages so that the resulting formal systems are general enough for axiomatic treatments of empirical theories without recourse to elements of set theory which are difficult to interprete empirically. Thus we provide a (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Stratification of general equilibrium theory: A synthesis of reconstructions. [REVIEW]Maarten C. W. Janssen & Theo A. F. Kuipers - 1989 - Erkenntnis 30 (1-2):183 - 205.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Logical Structure of International Trade Theory.Frieder Lempp - 2008 - Erkenntnis 69 (2):227-242.
    In this paper the structuralist approach of theory reconstruction is applied to International Trade Theory. In the basic element the universal laws of the theory are stated and the general concepts are defined in terms of three sets and seven functions. Ricardo’s Theory of Comparative Advantage and the Factor Proportions Theory by Heckscher and Ohlin are reconstructed as specialisations of the basic element. Two intratheoretical constraints are formulated in order to ensure the consistency of the theory. A number of empirical (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Sneed versus Nowak: An illustration in economics. [REVIEW]Bert Hamminga - 1989 - Erkenntnis 30 (1-2):247 - 265.
    Download  
     
    Export citation  
     
    Bookmark   4 citations