共查询到20条相似文献,搜索用时 11 毫秒
1.
L. L. Maksimova 《Algebra and Logic》2008,47(1):56-64
The notions of a weak interpolation property and of weak amalgamation are introduced. It is proved that in varieties with
the congruence extension property, the weak interpolation property is equivalent to the weak amalgamation property. In turn,
weak amalgamability of a variety is equivalent to amalgamability of a class of finitely generated simple algebras in this
variety.
Supported by RFBR (grant Nos. 06-01-00358 and 05-01-04003-NNIOa) and by INTAS (grant No. 04-77-7080).
__________
Translated from Algebra i Logika, Vol. 47, No. 1, pp. 94–107, January–February, 2008. 相似文献
2.
3.
L. D. Beklemishev 《Proceedings of the Steklov Institute of Mathematics》2011,274(1):25-33
We present a simplified proof of Japaridze’s arithmetical completeness theorem for the well-known polymodal provability logic GLP. The simplification is achieved by employing a fragment J of GLP that enjoys a more convenient Kripke-style semantics than the logic considered in the papers by Ignatiev and Boolos. In particular, this allows us to simplify the arithmetical fixed point construction and to bring it closer to the standard construction due to Solovay. 相似文献
4.
Radim Bělohlávek 《Archive for Mathematical Logic》2002,41(1):83-90
Presented is a completeness theorem for fuzzy equational logic with truth values in a complete residuated lattice: Given
a fuzzy set Σ of identities and an identity p≈q, the degree to which p≈q syntactically follows (is provable) from Σ equals the degree to which p≈q semantically follows from Σ. Pavelka style generalization of well-known Birkhoff's theorem is therefore established.
Received: 15 March 2000 / Revised version: 20 September 2000 Published online: 12 December 2001 相似文献
5.
Archiv der Mathematik - We prove a relative n-completeness theorem asserting that a complex space Y that fibers over a complex space X of dimension less than n is n-complete provided that Y admits... 相似文献
6.
Carsten Butz 《Archive for Mathematical Logic》1999,38(2):79-101
We prove a topological completeness theorem for infinitary geometric theories with respect to sheaf models. The theorem extends
a classical result of Makkai and Reyes, stating that any topos with enough points has an open spatial cover. We show that
one can achieve in addition that the cover is connected and locally connected.
Received: 27 September 1996 / Revised version: 15 January 1998 相似文献
7.
The notion of a Gentzen-style axiomatization of equational theories is presented. In the standard deductive systems for equational logic axioms take the form of equations and the inference rules can be viewed as quasi-equations. In the deductive systems for quasi-equational logic the axioms, which are quasi-equations, can be viewed as sequents and the inference rules as Gentzen-style rules. It is conjectured that every finite algebra has a finite Gentzen-style axiomatization for its quasi-identities. We verify this conjecture for a class of algebras that includes all finite algebras without proper subalgebras and all finite simple algebras that are embeddable into the free algebra of their variety.Dedicated to the memory of Alan DayPresented by J. Sichler.Supported by an Iowa State University Research Assistantship.Supported by National Science Foundation Grant #DMS 8005870. 相似文献
8.
S. S. Marchenkov 《Journal of Applied and Industrial Mathematics》2007,1(4):481-488
The operator of positive closure is considered on the set P k of functions of k-valued logic. Some positive complete systems of functions are defined. It is proved that every positive complete class of functions from P k is positive generated by the set of all functions depending on at most k variables. For each k ? 3, the three families of positive precomplete classes are defined. It is shown that, for k = 3, the 10 classes of these families constitute a criterion system. 相似文献
9.
Olivia Caramello 《Annals of Pure and Applied Logic》2011,162(4):318-321
We establish a criterion for deciding whether a class of structures is the class of models of a geometric theory inside Grothendieck toposes; then we specialize this result to obtain a characterization of the infinitary first-order theories which are geometric in terms of their models in Grothendieck toposes, solving a problem posed by Ieke Moerdijk in 1989. 相似文献
10.
11.
Grzegorz Bińczak 《Algebra Universalis》2001,45(1):53-62
12.
P. H. Rodenburg 《Algebra Universalis》1991,28(1):48-51
An algebraic proof is given of a natural version of Craig's interpolation lemma for equational logic.Presented by Bjarni Jónsson. 相似文献
13.
Patrick J Browne 《Journal of Differential Equations》1977,23(2):285-292
In this paper we study the linked nonlinear multiparameter system , where xr? [ar, br], yr is subject to Sturm-Liouville boundary conditions, and the continuous functions ars satisfy ¦ . Conditions on the polynomial operators Mr, Prs are produced which guarantee a sequence of eigenfunctions for this problem yn(x) = Πr=1kyrn(xr), n ? 1, which form a basis in . Here [a, b] = [a1, b1 × … × [ak, bk]. 相似文献
14.
15.
A. Laradji 《Algebra Universalis》1998,39(1-2):71-80
In this paper, we discuss a property of large systems of equations over universal algebras which does not appear to be generally
known, but which coincides with equational compactness for abelian groups. It is shown, for example, that if is a cardinal number with uncountable cofinality, then every finitely solvable system of equations over any countable algebra has a solvable subsystem consisting also of equations. As an application, this property is used to generalize some results of Jensen and Lenzing on the non-compactness
of ultrapowers of modules.
Received November 11, 1997; accepted in final form March 2, 1998. 相似文献
16.
《Annals of Pure and Applied Logic》2005,131(1-3):65-102
In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragment of classical propositional logic given by conjunction, disjunction, true, and false. For these logics we define both algebraic semantics, in the form of distributive modal algebras, and relational semantics, in the form of ordered Kripke structures. The main contributions of this paper lie in extending the notion of Sahlqvist axioms to our generalized setting and proving both a correspondence and a canonicity result for distributive modal logics axiomatized by Sahlqvist axioms. Our proof of the correspondence result relies on a reduction to the classical case, but our canonicity proof departs from the traditional style and uses the newly extended algebraic theory of canonical extensions. 相似文献
17.
Jacek Jachymski 《Applied Mathematics Letters》2011,24(2):169-171
We give a stationary point theorem for some set-valued mappings on a metric space. The existence of fixed points of such mappings characterizes the metric completeness. Our result easily yields the order-theoretic Cantor theorem of Granas and Horvath, and the famous Ekeland variational principle. 相似文献
18.
19.
We constructively prove completeness for intuitionistic first-order logic, iFOL, showing that a formula is provable in iFOL if and only if it is uniformly valid in intuitionistic evidence semantics as defined in intuitionistic type theory extended with an intersection operator. 相似文献
20.
Radosav S. ordevi 《Mathematical Logic Quarterly》1993,39(1):228-230
The aim of the paper is to prove tha analytic completeness theorem for a logic L(∫1, ∫2)As with two integral operators in the singular case. The case of absolute continuity was proved in [4]. MSC: 03B48, 03C70. 相似文献