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

601 found
Sort by:
  1. 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.score: 240.0
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Michael Rings (2013). Doing It Their Way: Rock Covers, Genre, and Appreciation. Journal of Aesthetics and Art Criticism 71 (1):55-63.score: 30.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Michael Rings (2014). Covers and (Mere?) Remakes: A Reply to Lee B. Brown. Journal of Aesthetics and Art Criticism 72 (2):195-199.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Lana Rings (1987). Kriemhilt's Face Work: A Sociolinguistic Analysis of Social Behavior in the Nibelungenlied. Semiotica 65 (3-4):317-326.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Hans Schoutens (1999). Existentially Closed Models of the Theory of Artinian Local Rings. Journal of Symbolic Logic 64 (2):825-845.score: 24.0
    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)  
     
    My bibliography  
     
    Export citation  
  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.score: 24.0
    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 (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Claude Sureson (2009). Model Companion and Model Completion of Theories of Rings. Archive for Mathematical Logic 48 (5):403-420.score: 24.0
    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.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. María E. Alonso, Henri Lombardi & Hervé Perdry (2008). Elementary Constructive Theory of Henselian Local Rings. Mathematical Logic Quarterly 54 (3):253-271.score: 21.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Lawrence P. Belluce & Antonio Di Nola (2009). Commutative Rings Whose Ideals Form an MV‐Algebra. Mathematical Logic Quarterly 55 (5):468-486.score: 21.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Hervé Perdry (2008). Lazy Bases: A Minimalist Constructive Theory of Noetherian Rings. Mathematical Logic Quarterly 54 (1):70-82.score: 21.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Jan Krajíček & Thomas Scanlon (2000). Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings. Bulletin of Symbolic Logic 6 (3):311-330.score: 20.0
    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)  
     
    My bibliography  
     
    Export citation  
  12. Cédric Milliet (2011). Stable Division Rings. Journal of Symbolic Logic 76 (1):348 - 352.score: 20.0
    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 (6 more)  
     
    My bibliography  
     
    Export citation  
  13. 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.score: 20.0
    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)  
     
    My bibliography  
     
    Export citation  
  14. Vincent Astier (2008). Elementary Equivalence of Some Rings of Definable Functions. Archive for Mathematical Logic 47 (4):327-340.score: 20.0
    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 (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. Abigail E. Ruane (2012). The International Relations of Middle-Earth: Learning From the Lord of the Rings. University of Michigan Press.score: 18.0
    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  
     
    My bibliography  
     
    Export citation  
  16. Bruce I. Rose (1978). Rings Which Admit Elimination of Quantifiers. Journal of Symbolic Logic 43 (1):92-112.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  17. Misao Nagayama (1992). On Boolean Algebras and Integrally Closed Commutative Regular Rings. Journal of Symbolic Logic 57 (4):1305-1318.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  18. Thanases Pheidas & Karim Zahidi (2004). Elimination Theory for Addition and the Frobenius Map in Polynomial Rings. Journal of Symbolic Logic 69 (4):1006 - 1026.score: 18.0
    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 (3 more)  
     
    My bibliography  
     
    Export citation  
  19. 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.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  20. Chantal Berline & Gregory Cherlin (1983). QE Rings in Characteristic Pn. Journal of Symbolic Logic 48 (1):140 - 162.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  21. Lou van den Dries & Vinicius Cifú Lopes (2010). Division Rings Whose Vector Spaces Are Pseudofinite. Journal of Symbolic Logic 75 (3):1087-1090.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  22. Mihai Prunescu (2003). Diophantine Properties of Finite Commutative Rings. Archive for Mathematical Logic 42 (3):293-302.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  23. Alexandra Shlapentokh (1994). Diophantine Equivalence and Countable Rings. Journal of Symbolic Logic 59 (3):1068-1095.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  24. 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.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  25. Françoise Point (2010). Existentially Closed Ordered Difference Fields and Rings. Mathematical Logic Quarterly 56 (3):239-256.score: 17.0
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  26. Larry Mathews (1994). Hilbert's 17th Problem for Real Closed Rings. Mathematical Logic Quarterly 40 (4):445-454.score: 17.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  27. Saverio Cittadini & Carlo Toffalori (2002). Comparing First Order Theories of Modules Over Group Rings. Mathematical Logic Quarterly 48 (1):147-156.score: 17.0
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  28. 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.score: 17.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  29. Larry Mathews (1994). Completions of Convexly Ordered Valuation Rings. Mathematical Logic Quarterly 40 (3):318-330.score: 17.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. Carlo Toffalori & S. Cittadini (2002). Comparing First Order Theories of Modules Over Group Rings II: Decidability: Decidability. Mathematical Logic Quarterly 48 (4):483-498.score: 17.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Daniel Pitteloud (2001). Existence of Prime Elements in Rings of Generalized Power Series. Journal of Symbolic Logic 66 (3):1206-1216.score: 16.0
    The field K((G)) of generalized power series with coefficients in the field K of characteristic 0 and exponents in the ordered additive abelian group G plays an important role in the study of real closed fields. Conway and Gonshor (see [2, 4]) considered the problem of existence of non-standard irreducible (respectively prime) elements in the huge "ring" of omnific integers, which is indeed equivalent to the existence of irreducible (respectively prime) elements in the ring K((G ≤ 0 )) of series (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. Raf Cluckers & Deirdre Haskell (2001). Grothendieck Rings of ℤ-Valued Fields. Bulletin of Symbolic Logic 7 (2):262-269.score: 16.0
    We prove the triviality of the Grothendieck ring of a Z-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K 2 to itself minus a point. When we specialized to local fields with finite residue field, we construct a definable bijection from the valuation ring to itself minus a point.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  33. Alexandra Shlapentokh (1993). Diophantine Relations Between Rings of s-Integers of Fields of Algebraic Functions in One Variable Over Constant Fields of Positive Characteristic. Journal of Symbolic Logic 58 (1):158-192.score: 16.0
    One of the main theorems of the paper states the following. Let R-K-M be finite extensions of a rational one variable function field R over a finite field of constants. Let S be a finite set of valuations of K. Then the ring of elements of K having no poles outside S has a Diophantine definition over its integral closure in M.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. Chantal Berline (1981). Rings Which Admit Elimination of Quantifiers. Journal of Symbolic Logic 46 (1):56-58.score: 16.0
    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)  
     
    My bibliography  
     
    Export citation  
  35. Pantelis E. Eleftheriou & Sergei Starchenko (2007). Groups Definable in Ordered Vector Spaces Over Ordered Division Rings. Journal of Symbolic Logic 72 (4):1108 - 1140.score: 16.0
    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 (4 more)  
     
    My bibliography  
     
    Export citation  
  36. Karim Zahidi (2002). Hilbert's Tenth Problem for Rings of Rational Functions. Notre Dame Journal of Formal Logic 43 (3):181-192.score: 16.0
    We show that if R is a nonconstant regular (semi-)local subring of a rational function field over an algebraically closed field of characteristic zero, Hilbert's Tenth Problem for this ring R has a negative answer; that is, there is no algorithm to decide whether an arbitrary Diophantine equation over R has solutions over R or not. This result can be seen as evidence for the fact that the corresponding problem for the full rational field is also unsolvable.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  37. Raf Cluckers & Deirdre Haskell (2001). Grothendieck Rings of $Mathbb{Z}$-Valued Fields. Bulletin of Symbolic Logic 7 (2):262-269.score: 16.0
    We prove the triviality of the Grothendieck ring of a $\mathbb{Z}$-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K$^2$ to itself minus a point. When we specialized to local fields with finite residue field, we construct a definable bijection from the valuation ring to itself minus a point.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. James Harold (2010). The Value of Fictional Worlds (or Why 'the Lord of the Rings' is Worth Reading). Contemporary Aesthetics 8.score: 15.0
    Some works of fiction are widely held by critics to have little value, yet these works are not only popular but also widely admired in ways that are not always appreciated. In this paper I make use of Kendall Walton’s account of fictional worlds to argue that fictional worlds can and often do have value, including aesthetic value, that is independent of the works that create them. In the process, I critique Walton’s notion of fictional worlds and offer a defense (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  39. Robert Rynasiewicz (1992). Rings, Holes and Substantivalism: On the Program of Leibniz Algebras. Philosophy of Science 59 (4):572-589.score: 15.0
    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 (5 more)  
     
    My bibliography  
     
    Export citation  
  40. Estelle R. Jorgensen (2010). Music, Myth, and Education: The Case of the Lord of the Rings Film Trilogy. Journal of Aesthetic Education 44 (1):pp. 44-57.score: 15.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  41. Anne Bauval (1985). Polynomial Rings and Weak Second-Order Logic. Journal of Symbolic Logic 50 (4):953-972.score: 15.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  42. F. G. Asenjo (1967). Rings of Term-Relation Numbers as Non-Standard Models. Notre Dame Journal of Formal Logic 8 (1-2):24-26.score: 15.0
  43. Robert W. Burch (2010). Royce, Boolean Rings, and the T-Relation. Transactions of the Charles S. Peirce Society 46 (2):221-241.score: 15.0
    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)  
     
    My bibliography  
     
    Export citation  
  44. István M. Bodnár (1988). Anaximander's Rings. Classical Quarterly 38 (01):49-.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. Wendy Doniger (1998). Rings of Rejection and Recognition in Ancient India. Journal of Indian Philosophy 26 (5):435-453.score: 15.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  46. W. Russell Belding (1973). Incidence Rings of Pre-Ordered Sets. Notre Dame Journal of Formal Logic 14 (4):481-509.score: 15.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  47. 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.score: 15.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  48. M. A. Dickmann (1987). Elimination of Quantifiers for Ordered Valuation Rings. Journal of Symbolic Logic 52 (1):116-128.score: 15.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  49. Alexandra Shlapentokh (2002). On Diophantine Definability and Decidability in Some Rings of Algebraic Functions of Characteristic. Journal of Symbolic Logic 67 (2):759-786.score: 15.0
    Let K be a function field of one variable over a constant field C of finite transcendence degree over C. Let M/K be a finite extension and let W be a set of primes of K such that all but finitely many primes of W do not split in the extension M/K. Then there exists a set W' of K-primes such that Hilbert's Tenth Problem is not decidable over $O_{K,W'} = \{x \in K\mid ord_\mathfrak{p} x \geq 0, \forall\mathfrak{p} \notin W'\}$ (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  50. Paul Brazier (2010). The Lord of the Rings: Scholarship in Honor of Richard E. Blackwelder. Edited by Wayne G. Hammond and Christina Scull, Shadows and Chivalry: Pain, Suffering, Evil and Goodness in the Works of George MacDonald and C.S. Lewis (Studies in Christian History & Thought). By Jeff McInnis and Inklings of Heaven: C. S. Lewis and Eschatology. By Sean Connolly. [REVIEW] Heythrop Journal 51 (1):161-164.score: 15.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 601