148 search results - page 17 / 30 » apal 2007 |
81
Voted
APAL
2006
15 years 18 days ago
2006
If a locale is presented by a "flat site", it is shown how its frame can be presented by generators and relations as a dcpo. A necessary and sufficient condition is deri...
APAL
2006
15 years 18 days ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
84
Voted
APAL
2006
15 years 18 days ago
2006
We introduce the oak property of first order theories, which is a syntactical condition that we show to be sufficient for a theory not to have universal models in cardinality whe...
96
Voted
APAL
2006
15 years 18 days ago
2006
The purpose of this paper is to present some results which suggest that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. What will be proved is that a form ...
88
Voted
APAL
2006
15 years 18 days ago
2006
CITY IN ABSTRACT ELEMENTARY CLASSES WITH NO MAXIMAL MODELS MONICA VANDIEREN Abstract. The results in this paper are in a context of abstract elementary classes identified by Shelah...