Sciweavers

AMCS
2011
341views Mathematics» more  AMCS 2011»
13 years 2 days ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
AML
2011
322views Mathematics» more  AML 2011»
13 years 2 days ago
A dedekind finite borel set
In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if B ⊆ 2ω is a Gδσ-set then either...
Arnold W. Miller
Mathematics
Top of PageReset Settings