Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 188 for “"Axioms"”.
-
Sigma_n-correct Forcing Axioms
<p>I introduce a new family of axioms extending ZFC set theory, the Sigma_n-correct forcing axioms. These assert roughly that whenever a forcing name <em>a'</em> can be forced by a poset in some forcing class Gamma to have some Sigma_n property phi which is provably preserved by all further forcing …
-
The search for new axioms
… theory invite the search for new and justified axioms. In Chapter 1 I set the stage by examining three approaches to justifying the axioms of standard set theory (stage theory, G6del's approach, and reflection principles) and argue that the approach via reflection principles is the most …
-
GENERALIZING CENTRALITY MEASURES: AXIOMS AND PROPERTIES
Determinare l'importanza degli attori di una rete è uno dei problemi più studiati nella social network analysis. Non sorprendentemente, non c'è un unico significato possibile di importanza, e negli anni ne sono state proposte diverse interpretazioni, con lo scopo di catturare diverse nozioni di …
-
Conditional dependence via Shannon capacity: axioms, estimators and applications
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2017-02-28 without embargo terms
-
Testing the effects of violating component axioms in validation of complex aircraft systems
This thesis focuses on estimating faults in complex large-scale integrated aircraft systems, especially where they interact with, and control, the aircraft dynamics. A general assumption considered in the reliability of such systems is that any component level fault will be monitored, detected and …
-
TEMPLAR : efficient determination of relevant axioms in big formula sets for theorem proving
This document presents a formula selection system for classical first order theorem proving based on the relevance of formulae for the proof of a conjecture. It is based on unifiability of predicates and is also able to use a linguistic approach for the selection. The scope of the technique is the …
-
Derivation of context axioms and semantics of data with the Domain Model Editor
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science; and, Thesis (B.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.
-
Exploring knowledge of Canadian values and social axioms in international and landed immigrant students' adaptation to Canada
… their perceptions of Canadian values and social axioms. Values and social axioms are guiding principles and mediating beliefs, respectively, that individuals use to organize, understand and facilitate physical and social functionality within a culture (Schwartz, 1994; Leung et al., 2002). Despite …
-
Mapping Contemporary Canadian English-Speaking Conservatism: An Examination of Axioms, Core Policies, Ideological Opponents and Intellectual/Emotional Appeals
… of conservatism are identified and examined for axioms, core policy recommendations and affective appeals employed. Conservatism is demonstrated to be a multilayered and complex contemporary ideology displaying a remarkable diversity of ideas and understandings of the world. Despite these broad …
-
Applications of Homological Algebra to Equational Theories
… algebras can be defined by fewer equational axioms than the original axioms. However, it is not easy to determine if a given set of axioms is the smallest or not. Malbos and Mimram investigated a general method to find a lower bound of the cardinality of the set of equational axioms (or …
-
Separation and covering properties of frames
… spatiality. We consider the classical separation axioms in the frame setting and relate these to frame covering properties. Finally, a determination of which covering properties and separation axioms imply spatiality of a frame is made.
-
A Deep Study of Fuzzy Implications
… satisfy the thirteen fuzzy implication axioms. In Chapter 4 we develop the complete interrelationships between the eight supplementary axioms FI6-FI13 for fuzzy implications satisfying the five basic axioms FI1-FI15. We prove all the dependencies between the eight fuzzy implication …
-
RISK AND UNCERTAINTY (UTILITY, DECISION)
… theory of decision making under risk relies on axioms that reflect assumptions about people's subjective attitudes towards wealth. The assumptions are unverifiable, and the axioms are too restrictive. They forbid some decision rules that a plausibly rational decision maker ("DM") could find …
-
Metric Representations Of Networks
… axiomatic approach is pursued where we encode as axioms intuitively desirable properties and then seek for admissible projections satisfying these axioms. Although small variations are introduced throughout the thesis, the axioms of projection -- a network that already has the desired metric …
-
Notes on the Mereology of *Classes
… available to it a defense of the set theoretic axioms which is no weaker than the typical defenses of these axioms offered by either the iterative or the limitation of size conceptions of sets.
-
The power function
The axioms of ZFC provide very little information about the possible values of the power function (i.e. the map K---->2ᴷ). In this dissertation, we examine various theorems concerning the behaviour of the power function inside the formal system ZFC , and we :;hall be p:trticul:trly interested in …
-
The power function
The axioms of ZFC provide very little information about the possible values of the power function (i.e. the map K---->2ᴷ). In this dissertation, we examine various theorems concerning the behaviour of the power function inside the formal system ZFC , and we :;hall be p:trticul:trly interested in …
-
Model theory and probability
… False} in classical logic. The author studies axioms, type spaces, quantifier elimination, separable categoricity, saturated models, stability, and d-finiteness for the theories of atomless probability algebras and atomless random variable structures. Explicit formulas for the d*-metric between …
Page 1 of 10