A categorical study on the finiteness of specifications
نویسنده
چکیده
Formal specification practice involve specifications which are finite. We study the concept of finiteness for specifications within the general framework of the so-called π-institutions, which constitute an abstract categorical proof oriented formalization of the informal concept of logical system. In this paper we argue that finite specifications can be captured abstractly by the concept of finitely presented theory in π-institutions.
منابع مشابه
ON FINITENESS OF PRIME IDEALS IN NORMED RINGS
In a commutative Noetherian local complex normed algebra which is complete in its M-adic metric there are only finitely many closed prime ideals.
متن کاملOn Point-finiteness in Pointfree Topology
Abstract: In pointfree topology, the point-finite covers introduced by Dowker and Strauss do not behave similarly to their classical counterparts with respect to transitive quasi-uniformities, contrarily to what happens with other familiar types of interior-preserving covers. The purpose of this paper is to remedy this by modifying the definition of Dowker and Strauss. We present arguments to j...
متن کاملUPPER BOUNDS FOR FINITENESS OF GENERALIZED LOCAL COHOMOLOGY MODULES
Let $R$ be a commutative Noetherian ring with non-zero identity and $fa$ an ideal of $R$. Let $M$ be a finite $R$--module of finite projective dimension and $N$ an arbitrary finite $R$--module. We characterize the membership of the generalized local cohomology modules $lc^{i}_{fa}(M,N)$ in certain Serre subcategories of the category of modules from upper bounds. We define and study the properti...
متن کاملAnalysis of Dynamic Longitudinal Categorical Data in Incomplete Contingency Tables Using Capture-Recapture Sampling: A case Study of Semi-Concentrated Doctoral Exam
Abstract. In this paper, dynamic longitudinal categorical data and estimation of their parameters in incomplete contingency tables are evaluated. To apply the proposed method, a study has been conducted on the data of the semi-concentrated doctoral exam of the National Organization for Educational Testing (NOET). The results of studies such as the obtained confidence intervals and calculating t...
متن کاملA History of Selected Topics in Categorical Algebra I: From Galois Theory to Abstract Commutators and Internal Groupoids
This paper is a chronological survey, with no proofs, of a direction in categorical algebra, which is based on categorical Galois theory and involves generalized central extensions, commutators, and internal groupoids in Barr exact Mal’tsev and more general categories. Galois theory proposes a notion of central extension, and motivates the study of internal groupoids, which is then used as an a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Process. Lett.
دوره 108 شماره
صفحات -
تاریخ انتشار 2008