Risultati ricerca

Abstract/Sommario: 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.

Abstract/Sommario: Interest rate determinations and oversimplifying parables: a summing up - On a change in the notion of equilibrium in recent work on value and distribution: a comment on Samuelson - On the rates of return on investment - The rate of profit in intertemporal equilibrium - Characterizations of technology in capital theory - Real Wicksell effects and regular economies - The Hamiltonian representation of static competitive or efficient allocation - Capital theory in the short run - Substitu ...; [Leggi tutto...] Interest rate determinations and oversimplifying parables: a summing up - On a change in the notion of equilibrium in recent work on value and distribution: a comment on Samuelson - On the rates of return on investment - The rate of profit in intertemporal equilibrium - Characterizations of technology in capital theory - Real Wicksell effects and regular economies - The Hamiltonian representation of static competitive or efficient allocation - Capital theory in the short run - Substitution along the time axis - Marx from a von Neumann viewpoint.

Abstract/Sommario: Introduction - Causal relations among events - Qualitative theory of causal relations - A causal algebra - Causal relations among quantitative properties - General philosophical issues - Appendix on probability.

Abstract/Sommario: Weakly definable relations and special automata - Determinacy and prewellorderings of the continuum - Initial segments of the degrees of unsolvability - Some applications of almost disjoint sets - On local arithmetical functions and their application for constructing - Definable sets of minimal degree - Definability in axiomatic set theory II.

Abstract/Sommario: Targets and instruments - Macroeconomic analysis of problems in fiscal policy - The public debt - The state budget and the state account - The extent of collective consumption and public activity - Forms of taxation and their effects - The economics of local authorities.

Abstract/Sommario: Disputation - Arithmetic - Spreads and species - Algebra - Plane pointspecies - Measure and integration - Logic - Controversial subjects.

Abstract/Sommario: Investigations in the realm of mathematical logic - A general method for obtaining local theorems in group theory - Representations of models - Quasiprimitive classes of abstract algebras - Subdirect products of models - Derived operations and predicates - Classes of models with an operation of generation - Defining relations in categories - The structural characterization of certain classes of algebras - Certain classes of models - Model correspondences - Regular products of models - ...; [Leggi tutto...] Investigations in the realm of mathematical logic - A general method for obtaining local theorems in group theory - Representations of models - Quasiprimitive classes of abstract algebras - Subdirect products of models - Derived operations and predicates - Classes of models with an operation of generation - Defining relations in categories - The structural characterization of certain classes of algebras - Certain classes of models - Model correspondences - Regular products of models - Small models - Free solvable groups - A correspondence between rings and groups - The undecidability of the elementary theories of certain fields - Constructive algebras - The undecidability of the elementary theory of finite groups - Elementary properties of linear groups - The effective inseparability of the set of valid sentences from the set of finitely refutable sentences in several elementary theories - Closely related models and recursively perfect algebras - Axiomatizable classes of locally free algebras of various types - Recursive abelian groups - Sets with complete numbering - Problems in the theory of classes of models - Toward a theory of computable families of objects - Positive and negative numbering - Identical relations in varieties of quasigroups - Iterative algebras and post varieties - A few remarks on quasivarieties of algebraic systems - Multiplication of classes of algebraic system - Universally axiomatizable subclasses of locally finite classes of models - Problems on the border between algebra and logic.

Abstract/Sommario: Information and induction - Information and some problems of the scientific method - Information and learning - New applications of information concepts.

Abstract/Sommario: A system of axiomatic set theory - On the problem of schemata of infinity in axiomatic set theory - The role of classes in set theory - Choice functions of sets and classes - A new finitary proof of a theorem of Mostowski - Reflection principles and indescribability - A remark on models of the Godel-Bernays axioms for set theory.

Abstract/Sommario: An introductory outline - Exchange economies - The core of a game - Large economies - Limit theorems for the core - Existence of competitive equilibria - Mathematical appendices.