Search result
Amsterdam ; Oxford ; New York : North-Holland : American Elsevier, 1975
Abstract: Perspective on econometric modeling - studies with the brookings model - complete system - comaprison of models - new developments in econometric modeling.
Amsterdam ; Oxford : North-Holland ; New York : American Elsevier, 1975
Abstract: The problem of capital - Production without capital - Equilibrium, prices and time - Semi-stationary growth - Marginal products and capital - The Cambridge model - The aggregation of miscellaneous objects - The production function - The linear production model - Efficiency, production prices and rates of return - More in the Cambridge model: non-substitution theory - The orthodox vision - Investment - The structure of interest rates - Disputations.
Amsterdam ; London : North-Holland ; New York : American Elsevier, 1973
Abstract: The algebra of sets - Natural numbers. Proofs by induction - Functions - Generalized unions and intersections of sets - Cartesian products of sets. Relations. Functions as relations - Generalized products. m-ary relations. Functions of several variables. Images and inverse images under a function - Equivalence relations - Powers of sets - Ordered sets - Linearly ordered sets - Well-ordered sets - The propositional calculus and its applications in mathematical proofs - The functional ca ...; [Read more...]
Amsterdam ; London : North-Holland ; New York : American Elsevier, 1971
Abstract: The sentential logic - The first-order predicate logic - The second-order predicate logic. Theory of definition - The natural numbers - The real numbers - Axiomatic set theory - Incompleteness. Undecidability.
Amsterdam ; Oxford : North Holland ; New York : American Elsevier, 1976
Abstract: An introductory outline - Exchange economies - The core of a game - Large economies - Limit theorems for the core - Existence of competitive equilibria - Mathematical appendices.
Amsterdam ; London : North-Holland ; New York : American Elsevier, 1974
Abstract: Introduction: sets and languages - The development of ZFC - The Lévy hierarchy and the reflection principle - Inaccessible and Mahlo cardinals - The constructible universe - Measurable cardinals - Trees and partition properties - Partition cardinals and model theory: Silver's results - Indescribable cardinals - Infinitary languages and large cardinals.
Amsterdam ; Oxford : North-Holland ; New York : American Elsevier, 1975
Abstract: First order predicate calculus - Peano arithmetic - Second order systems and simple type theory - Infinitary logic - Consistency proofs - Some applications of consistency proofs.