Direct-sum decompositions over local rings
... of analytic branches, one of which has high multiplicity. The second construction is less explicit: We start with a two-dimensional complete normal domain A with large divisor class group and then employ a remarkable theorem of Heitmann [He] to get a local unique factorization domain whose completio ...
... of analytic branches, one of which has high multiplicity. The second construction is less explicit: We start with a two-dimensional complete normal domain A with large divisor class group and then employ a remarkable theorem of Heitmann [He] to get a local unique factorization domain whose completio ...
Ascribing beliefs to resource bounded agents
... We consider it here not for its intrinsic interest but because it allows us to make a point concerning the logical omniscience assumption. In the remainder of this section we show that, under this model of belief ascription, the logical omniscience assumption is harmless, while if we extend it in a ...
... We consider it here not for its intrinsic interest but because it allows us to make a point concerning the logical omniscience assumption. In the remainder of this section we show that, under this model of belief ascription, the logical omniscience assumption is harmless, while if we extend it in a ...
Review - UT Computer Science
... There are interesting first-order theories that are both consistent and complete with respect to particular interpretations of interest. One example is Presburger arithmetic, in which the universe is the natural numbers and there is a single function, plus, whose properties are axiomatized. There ar ...
... There are interesting first-order theories that are both consistent and complete with respect to particular interpretations of interest. One example is Presburger arithmetic, in which the universe is the natural numbers and there is a single function, plus, whose properties are axiomatized. There ar ...