Sciweavers

Share
AML
2011
84views Mathematics» more  AML 2011»
1 years 17 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
AMCS
2011
76views Mathematics» more  AMCS 2011»
1 years 17 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
Mathematics
Top of PageReset Settings
books