Search results for 'Hanspeter Rings' (try it on Scholar)

334 found
Order:
  1.  10
    Hanspeter Rings (1987). Das strukturalistische Problem der theoretischen Begriffe und seine Lösung. 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  
  2.  20
    Michael Rings (2013). Doing It Their Way: Rock Covers, Genre, and Appreciation. Journal of Aesthetics and Art Criticism 71 (1):55-63.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  3.  4
    Michael Rings (2014). Covers and (Mere?) Remakes: A Reply to Lee B. Brown. Journal of Aesthetics and Art Criticism 72 (2):195-199.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. Lana Rings (1987). Kriemhilt’s Face Work: A Sociolinguistic Analysis of Social Behavior in the Nibelungenlied. Semiotica 65 (3-4):317-326.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. Hans Schoutens (1999). Existentially Closed Models of the Theory of Artinian Local Rings. 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 (6 more)  
     
    Export citation  
     
    My bibliography  
  6.  6
    María E. Alonso, Henri Lombardi & Hervé Perdry (2008). Elementary Constructive Theory of Henselian Local Rings. 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  
  7.  6
    Lee Cronk & Bria Dunham (2007). Amounts Spent on Engagement Rings Reflect Aspects of Male and Female Mate Quality. 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  
  8.  3
    Claude Sureson (2009). Model Companion and Model Completion of Theories of Rings. 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  
  9.  2
    Lawrence P. Belluce & Antonio Di Nola (2009). Commutative Rings Whose Ideals Form an MV‐Algebra. 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  
  10.  1
    Hervé Perdry (2008). Lazy Bases: A Minimalist Constructive Theory of Noetherian Rings. 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  
  11. Bruce I. Rose (1978). The ℵ1-Categoricity of Strictly Upper Triangular Matrix Rings Over Algebraically Closed Fields. 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 (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  2
    Raf Cluckers, Jamshid Derakhshan, Eva Leenknegt & Angus Macintyre (2013). Uniformly Defining Valuation Rings in Henselian Valued Fields with Finite or Pseudo-Finite Residue Fields. 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   2 citations  
  13.  10
    Jan Krajíček & Thomas Scanlon (2000). Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings. Bulletin of Symbolic Logic 6 (3):311-330.
    We recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially ordered Euler characteristic and Grothendieck ring and give a characterization of structures that have non-trivial partially ordered Grothendieck ring. We give a generalization of counting functions to locally finite structures, and use the construction to show that the Grothendieck ring of the complex numbers contains as a subring the ring of (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  14.  5
    Krzysztof Krupiński (2011). On Relationships Between Algebraic Properties of Groups and Rings in Some Model-Theoretic Contexts. Journal of Symbolic Logic 76 (4):1403-1417.
    We study relationships between certain algebraic properties of groups and rings definable in a first order structure or *-closed in a compact G-space. As a consequence, we obtain a few structural results about ω-categorical rings as well as about small, nm-stable compact G-rings, and we also obtain surprising relationships between some conjectures concerning small profinite groups.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  7
    Françoise Point (2010). Existentially Closed Ordered Difference Fields and Rings. Mathematical Logic Quarterly 56 (3):239-256.
    We describe classes of existentially closed ordered difference fields and rings. We show an Ax-Kochen type result for a class of valued ordered difference fields.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  14
    Vincent Astier (2008). Elementary Equivalence of Some Rings of Definable Functions. Archive for Mathematical Logic 47 (4):327-340.
    We characterize elementary equivalences and inclusions between von Neumann regular real closed rings in terms of their boolean algebras of idempotents, and prove that their theories are always decidable. We then show that, under some hypotheses, the map sending an L-structure R to the L-structure of definable functions from R n to R preserves elementary inclusions and equivalences and gives a structure with a decidable theory whenever R is decidable. We briefly consider structures of definable functions satisfying an extra (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  17.  24
    Cédric Milliet (2011). Stable Division Rings. Journal of Symbolic Logic 76 (1):348 - 352.
    It is shown that a stable division ring with positive characteristic has finite dimension over its centre. This is then extended to simple division rings.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  18.  10
    Chantal Berline & Gregory Cherlin (1983). QE Rings in Characteristic Pn. Journal of Symbolic Logic 48 (1):140 - 162.
    We show that all QE rings of prime power characteristic are constructed in a straightforward way out of three components: a filtered Boolean power of a finite field, a nilpotent Jacobson radical, and the ring Z p n or the Witt ring W 2 (F 4 ) (which is the characteristic four analogue of the Galois field with four elements).
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  19.  3
    Alexandra Shlapentokh (1994). Diophantine Equivalence and Countable Rings. Journal of Symbolic Logic 59 (3):1068-1095.
    We show that Diophantine equivalence of two suitably presented countable rings implies that the existential polynomial languages of the two rings have the same "expressive power" and that their Diophantine sets are in some sense the same. We also show that a Diophantine class of countable rings is contained completely within a relative enumeration class and demonstrate that one consequence of this fact is the existence of infinitely many Diophantine classes containing holomophy rings of Q.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  20.  16
    Mihai Prunescu (2003). Diophantine Properties of Finite Commutative Rings. 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.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  21.  18
    Martin Barker (2006). Envisaging 'Visualisation': Some Challenges From the International Lord of the Rings Audience Project. Film-Philosophy 10 (3):1-25.
    This essay explores a series of issues which have emerged around the term ‘visualisation’ asa result of materials generated out of the international Lord of the Rings audience project.‘Visualisation’ is quite widely used as a term in film studies, but not much considered. In this essay I begin from someelements of empirical evidence, and through some unlikely encounters that these spurredwith bodies of work from outside film studies, I develop an argument for a new approach tothinking about ‘visualisation’. This (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  4
    Alexandra Shlapentokh (2009). Rings of Algebraic Numbers in Infinite Extensions of {Mathbb {Q}} and Elliptic Curves Retaining Their Rank. Archive for Mathematical Logic 48 (1):77-114.
    We show that elliptic curves whose Mordell–Weil groups are finitely generated over some infinite extensions of ${\mathbb {Q}}$ , can be used to show the Diophantine undecidability of the rings of integers and bigger rings contained in some infinite extensions of rational numbers.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  23.  11
    István M. Bodnár (1988). Anaximander's Rings. Classical Quarterly 38 (01):49-.
    Anaximander is the first philosopher whose theory of the heavens is preserved in broad outlines. According to the sources the celestial bodies are huge rings of compressed air around the earth, each visible only where it is perforated by a tubular vent through which the fire contained in it can shine. Greatest and farthest of them is the sun, next comes the moon and under them there is the ring of the stars. It is a common practice to put (...)
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24.  5
    Alexandra Shlapentokh (1994). Diophantine Undecidability in Some Rings of Algebraic Numbers of Totally Real Infinite Extensions of Q. Annals of Pure and Applied Logic 68 (3):299-325.
    This paper provides the first examples of rings of algebraic numbers containing the rings of algebraic integers of the infinite algebraic extensions of where Hilbert's Tenth Problem is undecidable.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  25.  16
    D. B. Hogan & A. M. Clarfield (2007). Venerable or Vulnerable: Ageing and Old Age in JRR Tolkien's The Lord of the Rings. Medical Humanities 33 (1):5-10.
    An underappreciated aspect of The lord of the rings by JRR Tolkien is in how the author dealt with death, longevity and ageing in the work. During his early years, Tolkien endured first the passing of both parents and then the deaths of most of his friends during the First World War. It was not surprising that a search for the meaning of life and death became a preoccupation of Tolkien. Tolkien’s Roman Catholic faith underpinned his thoughts about mortality. (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  9
    Misao Nagayama (1992). On Boolean Algebras and Integrally Closed Commutative Regular Rings. 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 claims (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  27.  9
    Bruce I. Rose (1978). Rings Which Admit Elimination of Quantifiers. 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 (6 more)  
     
    Export citation  
     
    My bibliography  
  28.  3
    Larry Mathews (1994). Hilbert's 17th Problem for Real Closed Rings. Mathematical Logic Quarterly 40 (4):445-454.
    We recall the characterisation of positive definite polynomial functions over a real closed ring due to Dickmann, and give a new proof of this result, based upon ideas of Abraham Robinson. In addition we isolate the class of convexly ordered valuation rings for which this characterisation holds.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  29.  2
    Maxim Vsemirnov (2001). The Woods–Erdös Conjecture for Polynomial Rings. Annals of Pure and Applied Logic 113 (1-3):331-344.
    The elementary theories of polynomial rings over finite fields with the coprimeness predicate and two kinds of “successor” functions are studied. It is proved that equality is definable in these languages. This gives an affirmative answer to the polynomial analogue of the Woods–Erdös conjecture. It is also proved that these theories are undecidable.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  30.  6
    Lou Den Drievans & Vinicius Cifú Lopes (2010). Division Rings Whose Vector Spaces Are Pseudofinite. Journal of Symbolic Logic 75 (3):1087-1090.
    Vector spaces over fields are pseudofinite, and this remains true for vector spaces over division rings that are finite-dimensional over their center. We also construct a division ring such that the nontrivial vector spaces over it are not pseudofinite, using Richard Thompson's group F. The idea behind the construction comes from a first-order axiomatization of the class of division rings all whose nontrivial vector spaces are pseudofinite.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  3
    Thanases Pheidas & Karim Zahidi (2004). Elimination Theory for Addition and the Frobenius Map in Polynomial Rings. Journal of Symbolic Logic 69 (4):1006 - 1026.
    We develop an elimination theory for addition and the Frobenius map over rings of polynomials. As a consequence we show that if F is a countable. recursive and perfect field of positive characteristic p, with decidable theory, then the structure of addition, the Frobenius map x $\rightarrow$ $x^{p}$ and the property 'x $\epsilon$ F', over the ring of polynomials F[T]. has a decidable theory.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  1
    George F. McNulty (2004). Minimum Bases for Equational Theories of Groups and Rings: The Work of Alfred Tarski and Thomas Green. Annals of Pure and Applied Logic 127 (1-3):131-153.
    Suppose that T is an equational theory of groups or of rings. If T is finitely axiomatizable, then there is a least number μ so that T can be axiomatized by μ equations. This μ can depend on the operation symbols that occur in T. In the 1960s, Tarski and Green completely determined the values of μ for arbitrary equational theories of groups and of rings. While Tarski and Green announced the results of their collaboration in 1970, the (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  33.  1
    Stefano Leonesi, Sonia L'Innocente & Carlo Toffalori (2005). Weakly Minimal Modules Over Integral Group Rings and Over Related Classes of Rings. Mathematical Logic Quarterly 51 (6):613-625.
    A module is weakly minimal if and only if every pp-definable subgroup is either finite or of finite index. We study weakly minimal modules over several classes of rings, including valuation domains, Prüfer domains and integral group rings.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  34.  1
    Lou van den Dries & Vinicius Cifú Lopes (2010). Division Rings Whose Vector Spaces Are Pseudofinite. Journal of Symbolic Logic 75 (3):1087-1090.
    Vector spaces over fields are pseudofinite, and this remains true for vector spaces over division rings that are finite-dimensional over their center. We also construct a division ring such that the nontrivial vector spaces over it are not pseudofinite, using Richard Thompson's group F. The idea behind the construction comes from a first-order axiomatization of the class of division rings all whose nontrivial vector spaces are pseudofinite.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  1
    Saverio Cittadini & Carlo Toffalori (2002). Comparing First Order Theories of Modules Over Group Rings. Mathematical Logic Quarterly 48 (1):147-156.
    We consider R-torsionfree modules over group rings RG, where R is a Dedekind domain and G is a finite group. In the first part of the paper [4] we compared the theory T of all R-torsionfree RG-modules and the theory T0 of RG-lattices , and we realized that they are almost always different. Now we compare their behaviour with respect to decidability, when RG-lattices are of finite, or wild representation type.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  36.  1
    Jorge I. Guier (2001). Boolean Products of Real Closed Valuation Rings and Fields. Annals of Pure and Applied Logic 112 (2-3):119-150.
    We present some results concerning elimination of quantifiers and elementary equivalence for Boolean products of real closed valuation rings and fields. We also study rings of continuous functions and rings of definable functions over real closed valuation rings under this point of view.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  37. Jan Krají Cek & Thomas Scanlon (2000). Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings. Bulletin of Symbolic Logic 6 (3):311-330.
    We recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially ordered Euler characteristic and Grothendieck ring and give a characterization of structures that have non-trivial partially ordered Grothendieck ring. We give a generalization of counting functions to locally finite structures, and use the construction to show that the Grothendieck ring of the complex numbers contains as a subring the ring of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Larry Mathews (1994). Completions of Convexly Ordered Valuation Rings. Mathematical Logic Quarterly 40 (3):318-330.
    We prove that every convexly ordered valuation ring has a unique completion as a uniform space, which furthermore is a convexly ordered valuation ring. In addition, we give a model theoretic characterisation of complete convexly ordered valuation rings, and give a necessary and sufficient condition for the completion of a convexly ordered valuation ring to be a real closed ring.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  39. Gena Puninski & Carlo Toffalori (2009). Towards the Decidability of the Theory of Modules Over Finite Commutative Rings. 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  
  40.  16
    Abigail E. Ruane (2012). The International Relations of Middle-Earth: Learning From the Lord of the Rings. University of Michigan Press.
    Introduction: Middle-Earth, The lord of the rings, and international relations -- Order, justice, and Middle-Earth -- Thinking about international relations and Middle-Earth -- Middle-Earth and three great debates in international relations -- Middle-Earth, levels of analysis, and war -- Middle-Earth and feminist theory -- Middle-Earth and feminist analysis of conflict -- Middle-Earth as a source of inspiration and enrichment -- Conclusion: international relations and our many worlds.
    Direct download  
     
    Export citation  
     
    My bibliography  
  41. Alexandra Shlapentokh (2005). First-Order Definitions of Rational Functions and S -Integers Over Holomorphy Rings of Algebraic Functions of Characteristic 0. Annals of Pure and Applied Logic 136 (3):267-283.
    We consider the problem of constructing first-order definitions in the language of rings of holomorphy rings of one-variable function fields of characteristic 0 in their integral closures in finite extensions of their fraction fields and in bigger holomorphy subrings of their fraction fields. This line of questions is motivated by similar existential definability results over global fields and related questions of Diophantine decidability.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  42. Carlo Toffalori & S. Cittadini (2002). Comparing First Order Theories of Modules Over Group Rings II: Decidability: Decidability. Mathematical Logic Quarterly 48 (4):483-498.
    We consider R-torsionfree modules over group rings RG, where R is a Dedekind domain and G is a finite group. In the first part of the paper [4] we compared the theory T of all R-torsionfree RG-modules and the theory T0 of RG-lattices , and we realized that they are almost always different. Now we compare their behaviour with respect to decidability, when RG-lattices are of finite, or wild representation type.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  43. Lou Van den Dries & Vinicius Cifú Lopes (2010). Division Rings Whose Vector Spaces Are Pseudofinite. Journal of Symbolic Logic 75 (3):1087-1090.
    Vector spaces over fields are pseudofinite, and this remains true for vector spaces over division rings that are finite-dimensional over their center. We also construct a division ring such that the nontrivial vector spaces over it are not pseudofinite, using Richard Thompson's group F. The idea behind the construction comes from a first-order axiomatization of the class of division rings all whose nontrivial vector spaces are pseudofinite.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Abraham Robinson (1969). Compactification of Groups and Rings and Nonstandard Analysis. Journal of Symbolic Logic 34 (4):576-588.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  45. Gaisi Takeuti (1988). Boolean Simple Groups and Boolean Simple Rings. Journal of Symbolic Logic 53 (1):160-173.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  46.  54
    Chantal Berline (1981). Rings Which Admit Elimination of Quantifiers. Journal of Symbolic Logic 46 (1):56-58.
    The aim of this paper is to provide an addendum to a paper by Rose with the same title which has appeared in an earlier issue of this Journal [2]. Our new result is: Theorem. A ring of characteristic zero which admits elimination of quantifiers in the language {0, 1, +, ·} is an algebraically closed field.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  20
    Max M. Louwerse & Nick Benesh (2012). Representing Spatial Structure Through Maps and Language: Lord of the Rings Encodes the Spatial Structure of Middle Earth. Cognitive Science 36 (8):1556-1569.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  48.  4
    Pantelis E. Eleftheriou & Sergei Starchenko (2007). Groups Definable in Ordered Vector Spaces Over Ordered Division Rings. Journal of Symbolic Logic 72 (4):1108 - 1140.
    Let M = 〈M, +, <, 0, {λ}λ∈D〉 be an ordered vector space over an ordered division ring D, and G = 〈G, ⊕, eG〉 an n-dimensional group definable in M. We show that if G is definably compact and definably connected with respect to the t-topology, then it is definably isomorphic to a 'definable quotient group' U/L, for some convex V-definable subgroup U of 〈Mⁿ, +〉 and a lattice L of rank n. As two consequences, we derive Pillay's conjecture (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  49.  37
    Robert Rynasiewicz (1992). Rings, Holes and Substantivalism: On the Program of Leibniz Algebras. Philosophy of Science 59 (4):572-589.
    In a number of publications, John Earman has advocated a tertium quid to the usual dichotomy between substantivalism and relationism concerning the nature of spacetime. The idea is that the structure common to the members of an equivalence class of substantival models is captured by a Leibniz algebra which can then be taken to directly characterize the intrinsic reality only indirectly represented by the substantival models. An alleged virtue of this is that, while a substantival interpretation of spacetime theories falls (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  50.  44
    Robert W. Burch (2010). Royce, Boolean Rings, and the T-Relation. Transactions of the Charles S. Peirce Society 46 (2):221-241.
    Royce’s sustained interest in technical logic is beyond doubt. One of his first publications, which appeared while he was still teaching at the University of California at Berkeley, was a logic primer, and many of the productions of his later career were articles on logic. Indeed, it can well seem that Royce spent at least ten or eleven years working almost exclusively on logic following his attendance at Peirce’s 1898 Cambridge Conference Lectures, entitled Reasoning and the Logic of Things. During (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 334