Please use this identifier to cite or link to this item: https://hdl.handle.net/10419/159122 
Year of Publication: 
1997
Series/Report no.: 
Quaderni - Working Paper DSE No. 279
Publisher: 
Alma Mater Studiorum - Università di Bologna, Dipartimento di Scienze Economiche (DSE), Bologna
Abstract: 
We describe economic agents as formal logical systems of the first order, and then able to show that for any ordinary geometric description of an agent as a preordering over a given choice set within the set of reals, there exists a corresponding logical description in the space of the first order-formal systems, and vicevesa. This approach allows to distinguish formally among propositions known to economic agents and propositions concerning them. Also, we show that for any finite commodity space one can build consistent agents as first-order formal systems, and hence an economy defined as a collection of such systems, both of which can be mapped into the standard topological framework.
Persistent Identifier of the first edition: 
Creative Commons License: 
cc-by-nc Logo
Document Type: 
Working Paper

Files in This Item:
File
Size
470.4 kB





Items in EconStor are protected by copyright, with all rights reserved, unless otherwise indicated.