Results for 'Commutative rings Congresses'

999 found
Order:
  1.  4
    Commutative Rings Whose Ideals Form an MV‐Algebra.Lawrence P. Belluce & Antonio Di Nola - 2009 - Mathematical Logic Quarterly 55 (5):468-486.
    In this work we introduce a class of commutative rings whose defining condition is that its lattice of ideals, augmented with the ideal product, the semi-ring of ideals, is isomorphic to an MV-algebra. This class of rings coincides with the class of commutative rings which are direct sums of local Artinian chain rings with unit.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2. Algebra and Logic: Papers From the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia.John N. Crossley (ed.) - 1975 - Springer Verlag.
     
    Export citation  
     
    My bibliography  
  3.  18
    Diophantine Properties of Finite Commutative Rings.Mihai Prunescu - 2003 - Archive for Mathematical Logic 42 (3):293-302.
    Simple observations on diophantine definability over finite commutative rings lead to a characterization of those rings in terms of their diophantine behavior.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  4. Towards the Decidability of the Theory of Modules Over Finite Commutative Rings.Gena Puninski & Carlo Toffalori - 2009 - Annals of Pure and Applied Logic 159 (1):49-70.
    On the basis of the Klingler–Levy classification of finitely generated modules over commutative noetherian rings we approach the old problem of classifying finite commutative rings R with a decidable theory of modules. We prove that if R is wild, then the theory of all R-modules is undecidable, and verify decidability of this theory for some classes of tame finite commutative rings.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  10
    On Boolean Algebras and Integrally Closed Commutative Regular Rings.Misao Nagayama - 1992 - Journal of Symbolic Logic 57 (4):1305-1318.
    In this paper we consider properties, related to model-completeness, of the theory of integrally closed commutative regular rings. We obtain the main theorem claiming that in a Boolean algebra B, the truth of a prenex Σn-formula whose parameters ai partition B, can be determined by finitely many conditions built from the first entry of Tarski invariant T(ai)'s, n-characteristic D(n, ai)'s and the quantities S(ai, l) and S'(ai, l) for $l < n$. Then we derive two important theorems. One (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  6. Categoricity and Stability of Commutative Rings.Gregory L. Cherlin & Joachim Reineke - 1976 - Annals of Mathematical Logic 9 (4):367-399.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  7.  12
    Ideal Theories of Some Commutative Rings.Luis F. Caceres-Duque - 2003 - Bulletin of the Section of Logic 32 (1/2):9-18.
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  6
    Algebraically Closed Commutative Rings.G. L. Cherlin - 1973 - Journal of Symbolic Logic 38 (3):493-499.
  9. Review: G. L. Cherlin, The Model-Companion of a Class of Structures; L. Lipshitz, D. Saracino, The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements; Angus Macintyre, Model-Completeness for Sheaves of Structures. [REVIEW]Stephen D. Comer - 1983 - Journal of Symbolic Logic 48 (2):496-496.
     
    Export citation  
     
    My bibliography  
  10.  2
    Prime E.C. Commutative Rings in Characteristic N ≥.Dan Saracino - 1999 - Journal of Symbolic Logic 64 (2):629-633.
  11. Foster Alfred L. And Bernstein B. A.. Symmetric Approach to Commutative Rings, with Duality Theorem: Boolean Duality as a Special Case. Duke Mathematical Journal, Vol. 11 , Pp. 603–616. [REVIEW]J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (4):97.
  12. Review: Alfred L. Foster, B. A. Bernstein, Symmetric Approach to Commutative Rings, With Duality Theorem: Boolean Duality as a Special Case. [REVIEW]J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (4):97-97.
  13. Prime E.C. Commutative Rings in Characteristic N ≥ 2.Dan Saracino - 1999 - Journal of Symbolic Logic 64 (2):629-633.
  14. Artin-Schreier Theory for Commutative Regular Rings.L. van den Dries - 1977 - Annals of Mathematical Logic 12 (2):113-150.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  15.  4
    Commutative Regular Rings and Boolean-Valued Fields.Kay Smith - 1984 - Journal of Symbolic Logic 49 (1):281-297.
  16.  6
    Algebraically Closed Commutative Local Rings.K.-P. Podewski & Joachim Reineke - 1979 - Journal of Symbolic Logic 44 (1):89-94.
  17. A Non-Commutative Generalization of Łukasiewicz Rings.Albert Kadji, Celestin Lele & Jean B. Nganou - 2016 - Journal of Applied Logic 16:1-13.
  18. Abian Alexander. On the Solvability of Infinite Systems of Boolean Polynomial Equations. Colloquium Mathematicum, Vol. 21 , Pp. 27–30.Abian Alexander. Generalized Completeness Theorem and Solvability of Systems of Boolean Polynomial Equations. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 16 , Pp. 263–264.Bacsich Paul D.. Injectivity in Model Theory. Colloquium Mathematicum, Vol. 25 , Pp. 165–176.Bulman-Fleming S.. On Equationally Compact Semilattices. Algebra Universalis , Vol. 2 No. 2 , Pp. 146–151.Grätzer G. And Lakser H.. Equationally Compact Semilattices. Colloquium Mathematicum, Vol. 20 , Pp. 27–30.Haley David K.. On Compact Commutative Noetherian Rings. Mathematische Annalen, Vol. 189 , Pp. 272–274.McKenzie Ralph. ℵ1-Incompactness of Z. Colloquium Mathematicum, Vol. 23 , Pp. 199–202.Mycielski Jan. Some Compactifications of General Algebras. Colloquium Mathematicum, Vol. 13 No. 1 , Pp. 1–9. See Errata on Page 281 of Next Paper.Mycielski Jan and Ryll-Nard. [REVIEW]Walter Taylor - 1975 - Journal of Symbolic Logic 40 (1):88-92.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  10
    Rings Which Admit Elimination of Quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
    We say that a ring admits elimination of quantifiers, if in the language of rings, {0, 1, +, ·}, the complete theory of R admits elimination of quantifiers. Theorem 1. Let D be a division ring. Then D admits elimination of quantifiers if and only if D is an algebraically closed or finite field. A ring is prime if it satisfies the sentence: ∀ x ∀ y ∃ z (x = 0 ∨ y = 0 ∨ xzy ≠ 0). (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  20.  9
    A Hierarchy of Tree-Automatic Structures.Olivier Finkel & Stevo Todorčević - 2012 - Journal of Symbolic Logic 77 (1):350-368.
    We consider ω n -automatic structures which are relational structures whose domain and relations are accepted by automata reading ordinal words of length ω n for some integer n ≥ 1. We show that all these structures are ω-tree-automatic structures presentable by Muller or Rabin tree automata. We prove that the isomorphism relation for ω 2 -automatic (resp. ω n -automatic for n > 2) boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  21.  3
    Rings of Monoids Elementarily Equivalent to Polynomial Rings.Gérard Leloup - 1994 - Annals of Pure and Applied Logic 68 (2):173-180.
    Let l be a commutative field; Bauval [1] showed that the theory of the ring l[X1,...,Xm] is the same as the weak second-order theory of the field l. Now, l[X1,...,Xm] is the ring of the monoid m, so it may be asked what properties of m we can deduce from the theory of l[;m], that is, if l[m] is elementarily equivalent to the ring of monoid k[G], with k, a field and G, a monoid, what do we know not (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  22.  11
    Das strukturalistische Problem der theoretischen Begriffe und seine Lösung.Hanspeter Rings - 1987 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 18 (1-2):296-312.
    In especially the Sneed-Stegmüller structuralist theory a so-called problem of theoretical terms emerges. But this problem bases on a questionable presupposition . And the structuralist solution of this problem, the so-called Ramsey-Sneed-solution, is also problematic , , ). Beyond this the structuralist assertion is problematic, that the problem of theoretical terms and his Ramsey-Sneed-solution is empirically relevant . On the basis of the discussed systematic and empirical defects of the problem of theoretical terms and its solution, the so-called non-statement view₂, (...)
    Translate
      Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  23.  2
    Representation Theory of MV-Algebras (Vol 161, Pg 1024, 2010).Eduardo J. Dubuc - 2010 - Annals of Pure and Applied Logic 163 (9):1358 - 1358.
    In this paper we develop a general representation theory for MV-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of MV-algebras and MV-chains, to the representation of commutative rings with unit as rings of global sections of sheaves of local rings. We prove that any MV-algebra is isomorphic to the MV-algebra of (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  24. Representation Theory of MV-Algebras.Eduardo J. Dubuc & Yuri A. Poveda - 2010 - Annals of Pure and Applied Logic 161 (8):1024-1046.
    In this paper we develop a general representation theory for MV-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of MV-algebras and MV-chains, to the representation of commutative rings with unit as rings of global sections of sheaves of local rings. We prove that any MV-algebra is isomorphic to the MV-algebra of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  25.  2
    On Σ1‐Definable Functions Provably Total in I ∏ 1−.Teresa Bigorajska - 1995 - Mathematical Logic Quarterly 41 (1):135-137.
    We prove the following theorem: Let φ be a formula in the language of the theory PA− of discretely ordered commutative rings with unit of the form ∃yφ′ with φ′ and let ∈ Δ0 and let fφ: ℕ → ℕ such that fφ = y iff φ′ & < xK). Here I ∏math image1− denotes the theory PA− plus the scheme of induction for formulas φ of the form ∀yφ′ with φ′ ∈ Δ0.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  26.  12
    A New Proof That “Krull Implies Zorn”.Bernhard Banaschewski - 1994 - Mathematical Logic Quarterly 40 (4):478-480.
    In the present note we give a direct deduction of the Axiom of Choice from the Maximal Ideal Theorem for commutative rings with unit.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  27.  1
    Structures Algébriques Dynamiques, Espaces Topologiques Sans Points Et Programme de Hilbert.Henri Lombardi - 2006 - Annals of Pure and Applied Logic 137 (1):256-290.
    A possible relevant meaning of Hilbert’s program is the following one: “give a constructive semantic for classical mathematics”. More precisely, give a systematic interpretation of classical abstract proofs about abstract objects, as constructive proofs about constructive versions of these objects.If this program is fulfilled we are able “at the end of the tale” to extract constructive proofs of concrete results from classical abstract proofs of these results.Dynamical algebraic structures or geometric theories seem to be a good tool for doing this (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  28. Temporal Non-Commutative Logic: Expressing Time, Resource, Order and Hierarchy.Norihiro Kamide - 2009 - Logic and Logical Philosophy 18 (2):97-126.
    A first-order temporal non-commutative logic TN[l], which has no structural rules and has some l-bounded linear-time temporal operators, is introduced as a Gentzen-type sequent calculus. The logic TN[l] allows us to provide not only time-dependent, resource-sensitive, ordered, but also hierarchical reasoning. Decidability, cut-elimination and completeness (w.r.t. phase semantics) theorems are shown for TN[l]. An advantage of TN[l] is its decidability, because the standard first-order linear-time temporal logic is undecidable. A correspondence theorem between TN[l] and a resource indexed non-commutative (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  29.  9
    Degree Spectra and Computable Dimensions in Algebraic Structures.Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore & Arkadii M. Slinko - 2002 - Annals of Pure and Applied Logic 115 (1-3):71-113.
    Whenever a structure with a particularly interesting computability-theoretic property is found, it is natural to ask whether similar examples can be found within well-known classes of algebraic structures, such as groups, rings, lattices, and so forth. One way to give positive answers to this question is to adapt the original proof to the new setting. However, this can be an unnecessary duplication of effort, and lacks generality. Another method is to code the original structure into a structure in the (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  30.  80
    Squares of Oppositions, Commutative Diagrams, and Galois Connections for Topological Spaces and Similarity Structures.Thomas Mormann - manuscript -
    The aim of this paper is to elucidate the relationship between Aristotelian conceptual oppositions, commutative diagrams of relational structures, and Galois connections.This is done by investigating in detail some examples of Aristotelian conceptual oppositions arising from topological spaces and similarity structures. The main technical device for this endeavor is the notion of Galois connections of order structures.
    Direct download  
     
    Export citation  
     
    My bibliography  
  31. Existentially Closed Models of the Theory of Artinian Local Rings.Hans Schoutens - 1999 - Journal of Symbolic Logic 64 (2):825-845.
    The class of all Artinian local rings of length at most l is ∀ 2 -elementary, axiomatised by a finite set of axioms Art l . We show that its existentially closed models are Gorenstein, of length exactly l and their residue fields are algebraically closed, and, conversely, every existentially closed model is of this form. The theory Got l of all Artinian local Gorenstein rings of length l with algebraically closed residue field is model complete and the (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  32.  86
    Statistical Thermodynamics for a Non-Commutative Special Relativity: Emergence of a Generalized Quantum Dynamics. [REVIEW]Kinjalk Lochan, Seema Satin & Tejinder P. Singh - 2012 - Foundations of Physics 42 (12):1556-1572.
    There ought to exist a description of quantum field theory which does not depend on an external classical time. To achieve this goal, in a recent paper we have proposed a non-commutative special relativity in which space-time and matter degrees of freedom are treated as classical matrices with arbitrary commutation relations, and a space-time line element is defined using a trace. In the present paper, following the theory of Trace Dynamics, we construct a statistical thermodynamics for the non-commutative (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  33.  4
    The Model Theory of Unitriangular Groups.Oleg V. Belegradek - 1994 - Annals of Pure and Applied Logic 68 (3):225-261.
    he model theory of groups of unitriangular matrices over rings is studied. An important tool in these studies is a new notion of a quasiunitriangular group. The models of the theory of all unitriangular groups are algebraically characterized; it turns out that all they are quasiunitriangular groups. It is proved that if R and S are domains or commutative associative rings then two quasiunitriangular groups over R and S are isomorphic only if R and S are isomorphic (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  34.  42
    A Representation of Quantum Measurement in Nonassociative Algebras.Gerd Niestegge - 2009 - Foundations of Physics 39 (2):120-136.
    Starting from an abstract setting for the Lüders-von Neumann quantum measurement process and its interpretation as a probability conditionalization rule in a non-Boolean event structure, the author derived a certain generalization of operator algebras in a preceding paper. This is an order-unit space with some specific properties. It becomes a Jordan operator algebra under a certain set of additional conditions, but does not own a multiplication operation in the most general case. A major objective of the present paper is the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  35.  26
    Commutative POVMs and Fuzzy Observables.S. Twareque Ali, Claudio Carmeli, Teiko Heinosaari & Alessandro Toigo - 2009 - Foundations of Physics 39 (6):593-612.
    In this paper we review some properties of fuzzy observables, mainly as realized by commutative positive operator valued measures. In this context we discuss two representation theorems for commutative positive operator valued measures in terms of projection valued measures and describe, in some detail, the general notion of fuzzification. We also make some related observations on joint measurements.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  36.  11
    Elementary Constructive Theory of Henselian Local Rings.María E. Alonso, Henri Lombardi & Hervé Perdry - 2008 - Mathematical Logic Quarterly 54 (3):253-271.
    We give an elementary theory of Henselian local rings and construct the Henselisation of a local ring. All our theorems have an algorithmic content.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  37.  11
    Amounts Spent on Engagement Rings Reflect Aspects of Male and Female Mate Quality.Lee Cronk & Bria Dunham - 2007 - Human Nature 18 (4):329-333.
    Previous research has shown that the qualities of nuptial gifts among nonhumans and marriage-related property transfers in human societies such as bridewealth and dowry covary with aspects of mate quality. This article explores this issue for another type of marriage-related property transfer: engagement rings. We obtained data on engagement ring costs and other variables through a mail survey sent to recently married individuals living in the American Midwest. This article focuses on survey responses regarding rings that were purchased (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  38.  16
    Minimal Varieties of Representable Commutative Residuated Lattices.Rostislav Horčík - 2012 - Studia Logica 100 (6):1063-1078.
    We solve several open problems on the cardinality of atoms in the subvariety lattice of residuated lattices and FL-algebras [4, Problems 17—19, pp. 437]. Namely, we prove that the subvariety lattice of residuated lattices contains continuum many 4-potent commutative representable atoms. Analogous results apply also to atoms in the subvariety lattice of FL i -algebras and FL o -algebras. On the other hand, we show that the subvariety lattice of residuated lattices contains only five 3-potent commutative representable atoms (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  39.  19
    Dynamic Non-Commutative Logic.Norihiro Kamide - 2009 - Journal of Logic, Language and Information 19 (1):33-51.
    A first-order dynamic non-commutative logic, which has no structural rules and has some program operators, is introduced as a Gentzen-type sequent calculus. Decidability, cut-elimination and completeness theorems are shown for DN or its fragments. DN is intended to represent not only program-based, resource-sensitive, ordered, sequence-based, but also hierarchical reasoning.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  40.  4
    Model Companion and Model Completion of Theories of Rings.Claude Sureson - 2009 - Archive for Mathematical Logic 48 (5):403-420.
    Extending the language of rings to include predicates for Jacobson radical relations, we show that the theory of regular rings defined by Carson, Lipshitz and Saracino is the model completion of the theory of semisimple rings. Removing the requirement on the Jacobson radical (reduced to {0}), we prove that the theory of rings with no nilpotents does not admit a model companion relative to this augmented language.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  41.  2
    On Finite Approximations of Topological Algebraic Systems.L. Yu Glebsky, E. I. Gordon & C. Ward Hensen - 2007 - Journal of Symbolic Logic 72 (1):1 - 25.
    We introduce and discuss a concept of approximation of a topological algebraic system A by finite algebraic systems from a given class K. If A is discrete, this concept agrees with the familiar notion of a local embedding of A in a class K of algebraic systems. One characterization of this concept states that A is locally embedded in K iff it is a subsystem of an ultraproduct of systems from K. In this paper we obtain a similar characterization of (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  42.  1
    On Some Classes of Commutative Weak BCK-Algebras.Jānis Cīrulis - 2015 - Studia Logica 103 (3):479-490.
    Formally, a description of weak BCK-algebras can be obtained by replacing the first BCK axiom \ - \le z - y}\) by its weakening \. It is known that every weak BCK-algebra is completely determined by the structure of its initial segments. We consider weak BCK-algebras with De Morgan complemented, orthocomplemented and orthomodular sections, as well as those where sections satisfy a certain compatibility condition, and characterize each of these classes of algebras by an equation or quasi-equation. For instance, those (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  1
    Lazy Bases: A Minimalist Constructive Theory of Noetherian Rings.Hervé Perdry - 2008 - Mathematical Logic Quarterly 54 (1):70-82.
    We give a constructive treatment of the theory of Noetherian rings. We avoid the usual restriction to coherent rings; we can even deal with non-discrete rings. We introduce the concept of rings with certifiable equality which covers discrete rings and much more. A ring R with certifiable equality can be fitted with a partial ideal membership test for ideals of R. Lazy bases of ideals of R [X ] are introduced in order to derive a (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  44.  12
    A Minimal Framework for Non-Commutative Quantum Mechanics.D. J. Hurley & M. A. Vandyck - 2014 - Foundations of Physics 44 (11):1168-1187.
    Deformation quantisation is applied to ordinary Quantum Mechanics by introducing the star product in a configuration space combining a Riemannian structure with a Poisson one. A Hilbert space compatible with such a configuration space is designed. The dynamics is expressed by a Hermitian Hamiltonian containing a scalar potential and a one-form potential. As a simple illustration, it is shown how a particular type of non-commutativity of the star product is interpretable as generating the Zeeman effect of ordinary Quantum Mechanics.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. Natural Deduction Systems for Some Non-Commutative Logics.Norihiro Kamide & Motohiko Mouri - 2007 - Logic and Logical Philosophy 16 (2-3):105-146.
    Varieties of natural deduction systems are introduced for Wansing’s paraconsistent non-commutative substructural logic, called a constructive sequential propositional logic (COSPL), and its fragments. Normalization, strong normalization and Church-Rosser theorems are proved for these systems. These results include some new results on full Lambek logic (FL) and its fragments, because FL is a fragment of COSPL.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  46.  4
    Uniformly Defining Valuation Rings in Henselian Valued Fields with Finite or Pseudo-Finite Residue Fields.Raf Cluckers, Jamshid Derakhshan, Eva Leenknegt & Angus Macintyre - 2013 - Annals of Pure and Applied Logic 164 (12):1236-1246.
    We give a definition, in the ring language, of Zp inside Qp and of Fp[[t]] inside Fp), which works uniformly for all p and all finite field extensions of these fields, and in many other Henselian valued fields as well. The formula can be taken existential-universal in the ring language, and in fact existential in a modification of the language of Macintyre. Furthermore, we show the negative result that in the language of rings there does not exist a uniform (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  47. Cantor-Bendixson Rank of the Ziegler Spectrum Over a Commutative Valuation Domain.Gennadi Puninski - 1999 - Journal of Symbolic Logic 64 (4):1512-1518.
    We calculate the Cantor-Bendixson rank of the Ziegler spectrum over a commutative valuation domain R proving that it is equal to the double Krull dimension of R.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  48. The ℵ1-Categoricity of Strictly Upper Triangular Matrix Rings Over Algebraically Closed Fields.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (2):250 - 259.
    Let n ≥ 3. The following theorems are proved. Theorem. The theory of the class of strictly upper triangular n × n matrix rings over fields is finitely axiomatizable. Theorem. If R is a strictly upper triangular n × n matrix ring over a field K, then there is a recursive map σ from sentences in the language of rings with constants for K into sentences in the language of rings with constants for R such that $K (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  49.  4
    Flagging Up Buddhism: Charles Pfoundes (Omoie Tetzunostzuke) Among the International Congresses and Expositions, 1893–1905.Brian Bocking - 2013 - Contemporary Buddhism 14 (1):17-37.
    Charles James William Pfoundes (1840?1907), a young emigrant from Southeast Ireland, spent most of his adult life in Japan, received a Japanese name ?Omoie Tetzunostzuke?, first embraced and then turned against Theosophy and, from 1893, was ordained in several Japanese Buddhist traditions. Lacking independent means but educated, intellectually curious, entrepreneurial, fluent in Japanese and with a keen interest in Asian culture, Pfoundes subsisted as a cultural intermediary, explaining Japan and Asia to both Japanese and foreign audiences and actively seeking involvement (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  50.  16
    Quantum Mechanics Over Sets: A Pedagogical Model with Non-Commutative Finite Probability Theory as its Quantum Probability Calculus.David Ellerman - 2016 - Synthese 2016:1-34.
    This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. The previous attempts (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 999