Search results for 'E. R. van Teijlingen' (try it on Scholar)

1000+ found
Order:
  1.  6
    G. H. E. (1888). Selected Letters of Pliny, with Notes for the Use of Schools by the Late C. E. Prichard, M.A. And E. R. Bernard, M.A. New Edition. 1887. Clarendon Press. 3s. [REVIEW] The Classical Review 2 (07):214-.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  6
    E. J. Ashworth (1997). Johannes Buridanus, Questiones Elencorum, ed. R. van der Lecq and H. A. G. Braakhuis. (Artistarium, 9.) Nijmegen: Ingenium, 1994. Paper. Pp. xxxviii, 153.Johannes Buridanus, Summulae in praedicamenta, ed. E. P. Bos. (Artistarium, 10/3.) Nijmegen: Ingenium, 1994. Paper. Pp. liv, 157; 1 diagram.Johannes Buridanus, Summulae de praedicabilibus, ed. L. M. de Rijk. (Artistarium, 10/2.) Nijmegen: Ingenium, 1995. Paper. Pp. xliv, 82; 1 diagram. [REVIEW] Speculum 72 (4):1151-1153.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  5
    Benjamin Keim (2013). Fisher N.R.E. And van Wees H. Eds. Competition in the Ancient World. Swansea: Classical Press of Wales, 2011. Pp. Xii + 308, Illus. £50. 9781895125487. [REVIEW] Journal of Hellenic Studies 133:232-233.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  4.  11
    Ken Dowden (1979). Groningen Commentaries on Apuleius B. L. Hijmans JR., R. T. Van Der Paardt, E. R. Smits, R. E. H. Westendorp Boerma, A. G. Westerbrink. Groningen Commentaries on Apuleius: Apuleius Madaurensis: Metamorphoses: Book IV 1–27: Text, Introduction, and Commentary. Pp. Xvi + 247; 2 Plates. Groningen: Bouma's Boekhuis, 1977. Cloth, Fl. 60. [REVIEW] The Classical Review 29 (01):68-71.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. Rainer Bäuerle, N. da Costa, O. Bueno, Javier De Lorenzo & Alberto Zanardo (1996). Reviews of Gennaro Chtjerchia, Dynamics of Meaning: Anaphora, Presupposition, and the the [Sic] of Grammar. Chicago and London: The University of Chicago Press, 1995.Xv+ 270 Pp, £59.95 , £31.95 G. Priest, Beyond the Limits of Thought. Cambridge: Cambridge University Press, 1995. Xv 4-274pp. £35.00 Marco Panza and Jean Michel Salankis, L'Objectivité Mathématique. Platonisme Et Structures Formelles, Paris: Masson, 1995. Ix+241 Pp. No Price Stated Peter Øhrstrøm and PER F. V. HASLE, Temporal Logic: From Ancient Ideas to Artificial Intelligence. Dordrecht: Kluwer, 1995. Viii+413 Pp. DM 140/$99.00/£63.00. ISBN 0792335864 L. M. De Rijk , Iohannes Buridanus Summulae de Praedicabilibus Nijmegen: Ingenium, 1995. Xliv + 82 Pp. No Price Stated E. P. Bos , Iohannes Buridanus Summulae in Praedicamenta Nijmegen: Ingenium, 1994. Liv+ 157 Pp. No Price Stated R. Van Der Lecq and H. A. G. Braakhuis , Iohannes Buridanus Questiones Elencorum Nijmegen: Ingenium, 1994. Xxxviii +153 Pp. No Price Stated D. Mi. [REVIEW] History and Philosophy of Logic 17 (1 & 2):155-177.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  8
    F. R. D. Goodyear (1964). R. E. H. Westendorp Boerma: P. Vergili Maronis libellus qui inscribitur Catalepton conspectu librorum et commentationum, notis criticis, commentario exegetico instructus. Pars altera. Pp. viii + 120. Assen, Netherlands: Van Gorcum, 1963. Cloth. [REVIEW] The Classical Review 14 (02):219-220.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  2
    Wendell V. Harris (1995). Patrick Henry, Edwin Stein, Gabriele Poole, Richard Rumana, Gerald Prince, Tom Conley, Richard D. Lord, G. Mallary Masters, William E. Cain, Karsten Harries, Robert D. Cottrell, David Halliburton, Colette Gaudin, Virginia A. La Charité, Jeff Mitchell, John Goodliffe, Kerry S. Walters, Thomas Reinert, Dana R. Smith, Michael L. Hall, Christopher McClintick, Julie Van Camp, Warren Ginsberg, Steven Rendall, Donald Pizer, Jean A. Perkins, Roberta Davidson, Christopher Perricone, Peter J. Rabinowitz, Andrew J. McKenna, C. S. Schreiner, Anthony Roda, and Juniper Ellis. [REVIEW] Philosophy and Literature 19 (1):136.
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  1
    Jan Heylen (2007). Bremmer, R., Ten Kate, L., Warrink, E.(red.), Encyclopedie van de Filosofie. Van de Oudheid tot vandaag. Termen, begrippen, namen en stromingen. Amsterdam, Boom, 2007. [REVIEW] Algemeen Nederlands Tijdschrift voor Wijsbegeerte 99 (4):313-315.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  9.  1
    Alonzo Church (1952). Review: E. J. E. Huffer, (Logistiek En Wetenschapsleer) Logistic and Methodology of Science; R. Feys, (Logica En Wijsbegeerte van de Wiskunde) Logic and Philosophy of Mathematics. [REVIEW] Journal of Symbolic Logic 17 (4):289-289.
    Direct download  
     
    Export citation  
     
    My bibliography  
  10. Otfried Höffe (1976). "Hinweise auf": A. Mourelatos , The Pre-Socratics; E. Lee/A. Mourelatos/R. Rorty , Exegesis and Argument; J. M. E. Moravsik , Patterns in Plato's Thought; J. Chydenius, The Symbolism of Love in Medieval Thought; R. Faber, Novalis: Die Phantasie an die Macht; N. Hinske , Was ist Aufklärung?; C. Garve, Popularphilosophische Schriften ; L. W. Beck, Kants "Kritik der praktischen Vernunft"; R. P. Wolff, The Autonomy of Reason; R. Lauth , Philosophie aus einem Prinzip, K. L. Reinhold; H. J. Lieber , Ideologienlehre und Wissenssoziologie; M. Schirm , Sprachhandlung - Existenz - Wahrheit; J. Blühdorn/J. Ritter , Positivismus im 19. Jahrhundert; É. Durkheim, Le socialisme; K. H. Kodalle, Politik als Macht und Mythos; J. d'Hondt, De Hegel à Marx; F. Adama van Scheltema, Antike - Abendland; W. Dilthey, Zur Geistesgeschichte des 19. Jahrhunderts; G. Scholtz, Historismus als speakulative Geschichts-philosophie, C. J. Braniss; P. Maerker, Die Ästhetik der Südwestdeutschen Schule. [REVIEW] Philosophische Rundschau 22:155-160.
    Translate
     
     
    Export citation  
     
    My bibliography  
  11.  4
    R. Tieszen (2007). Dirk Van Dalen. Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer. Volume 2: Hope and Disillusion. Oxford: Clarendon Press, 2005. Pp. X + 441–946. ISBN 0-19-851620-7 (Hardcover). [REVIEW] Philosophia Mathematica 15 (1):111-116.
    Volume 1 of this biography of L. E. J. Brouwer was published in 1999.1 The volume under review here covers the period from the early nineteen twenties until Brouwer's death in 1966. It also includes a short epilogue that discusses the disposition of Brouwer's estate after his death, his influence on others, the paths of some of his students and colleagues, and other matters. Van Dalen notes in the Preface that in preparing this volume he consulted some historical studies that (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  12.  6
    R. van Bremen (2005). The Carian Uplands P. Debord, E. Varinlio[Gcaron]Lu (Edd.): Les Hautes Terres de Carie . With A. Bresson, P. Brun, R. Descat, K. Konuk (Ausonius Publications, Mémoires 4.) Pp. 329, Maps, Pls., Ills. Bordeaux: Diffusion de Boccard, 2001. Cased, €73. ISBN: 2-910023-20-. [REVIEW] The Classical Review 55 (01):223-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  5
    Carole E. Newlands (2007). Nauta (R.R.), Van Dam (H.-J.), Smolenaars (J.J.L.) (Edd.) Flavian Poetry. (Mnemosyne Supplementum 270.) Pp. X + 408. Leiden and Boston: Brill, 2006. Cased, €109, US$147. ISBN: 978-90-04-14794-. [REVIEW] The Classical Review 57 (02):425-427.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  5
    Philip van Der Eijk (2005). Ideas Of Disease G. E. R. Lloyd: In the Grip of Disease. Studies in the Greek Imagination . Pp. Xxii + 258. Oxford: Oxford University Press, 2003. Cased, £25. ISBN: 0-19-925323-. [REVIEW] The Classical Review 55 (02):493-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. E. R. van Teijlingen & P. P. Simkhada (2012). Ethical Approval in Developing Countries is Not Optional. Journal of Medical Ethics 38 (7):428-430.
    When conducting health and medical research it is important to do the research ethically and to apply for prior ethical approval from the relevant authorities. The latter requirement is true for developed countries as well as developing countries. The authors argue that simply applying for research ethics approval from an institutional review board at a university based in a developed country is not enough to start a health research project in a developing country. The paper also suggests a number of (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  3
    Heinrich Rolletschek (1995). Some New Lattice Constructions in High R. E. Degrees. Mathematical Logic Quarterly 41 (3):395-430.
    A well-known theorem by Martin asserts that the degrees of maximal sets are precisely the high recursively enumerable degrees, and the same is true with ‘maximal’ replaced by ‘dense simple’, ‘r-maximal’, ‘strongly hypersimple’ or ‘finitely strongly hypersimple’. Many other constructions can also be carried out in any given high r. e. degree, for instance r-maximal or hyperhypersimple sets without maximal supersets . In this paper questions of this type are considered systematically. Ultimately it is shown that every conjunction of simplicity- (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  17.  5
    R. W. Lee (1947). Symbolae ad Jus et Historiam Antiquitatis pertinentes Julio Christiana van Oven Dedicatae (Symbolae van Oven). Ediderunt M. David, B. A. Van Groningen, E. M. Meijers. Pp. viii+ 410; portrait, 4 plates. Leiden: Brill, 1946. Cloth, 26 g. [REVIEW] The Classical Review 61 (3-4):130-131.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  4
    B. R. Rees (1964). A Roman Officer in Egypt H. I. Bell, V. Martin, E. G. Turner, D. Van Berchem: The Abinnaeus Archive: Papers of a Roman Officer in the Reign of Constantius II. Pp. Xiv+ 191. Oxford: Clarendon Press, 1962. Cloth, 63s. Net. [REVIEW] The Classical Review 14 (01):102-103.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  5
    C. R. Gallistel (2004). More Direction neededRepresenting Direction in Language and Space, Edited by E. Van der Zee, and J. Slack, Oxford University Press, 2003. $99.00 / $39.95 ISBN 0 19 926018 4. [REVIEW] Trends in Cognitive Sciences 8 (3):97-97.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  6
    Peter R. Grillo (1987). Wolfgang van Emden and Philip E. Bennett, Eds., with Alexander Kerr, Guillaume d'Orange and the Chanson de Geste: Essays Presented to Duncan McMillan in Celebration of His Seventieth Birthday by His Friends and Colleagues of the Société Rencesvals. Reading, Eng.: Société Rencesvals (British Branch), 1984. Paper. Pp. Xi, 218; Frontispiece. [REVIEW] Speculum 62 (1):242-243.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  21.  10
    Evert van Emde Boas (2008). Linguistics (E.) Crespo, (J.) de la Villa and (A.R.) Revuelta Eds. Word Classes and Related Topics in Ancient Greek. Proceedings of the Conference on 'Greek Syntax and Word Classes' Held in Madrid on 18-21, June 2003. (Bibliothèque des Cahiers de l'Institut de Linguistique de Louvain 117). Louvain-la-Neuve: Peeters, 2006. Pp. 584. €49. 9789042917378. [REVIEW] Journal of Hellenic Studies 128:271-.
  22.  2
    J. van Heijenoort (1975). Review: Paul Bernays, A. Kino, J. Myhill, R. E. Vesley, On the Original Gentzen Consistency Proof for Number Theory. [REVIEW] Journal of Symbolic Logic 40 (1):95-95.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  4
    Lieve Van Hoof (2011). Plutarch (J.R.) Ferreira, (D.) Leão, (M.) Tröster, (P.B.) Dias (Edd.) Symposion and Philanthropia in Plutarch. (Humanitas Supplementum 6.) Pp. Viii + 573. Coimbra: Classica Digitalia, Centro de Estudios Clássicos E Humanísticos da Universidade de Coimbra, 2009. Cased. ISBN: 978-989-8281-17-3. [REVIEW] The Classical Review 61 (02):426-428.
  24.  2
    R. J. Grayson (1983). Review: L. E. J. Brouwer, D. Van Dalen, Brouwer's Cambridge Lectures on Intuitionism. [REVIEW] Journal of Symbolic Logic 48 (1):214-215.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. C. E. Evink (1999). Het verlangen alles te zeggen.(Review of the book Hoe niet te spreken. Dionysius, Eckhart en de paradigma's van negativiteit, J. Derrida & R. Sneller, 1999, 9039107343). [REVIEW] Krisis 75:47-55.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  26. J. van Heijenoort (1971). Review: G. E. Minc, Analog Teoremy Erbrana Dla Konstruktivnogo Iscislenia Predikatov; G. E. Minc, R. N. Goss, An Analogue of Herbrand's Theorem for the Constructive Predicate Calculus. [REVIEW] Journal of Symbolic Logic 36 (3):524-525.
    Direct download  
     
    Export citation  
     
    My bibliography  
  27.  59
    Frederic Mauriac & Natalie Depraz (2009). “Second Persons”: The Example of a Psychiatric Emergency Unit: E.R.I.C. World Futures 65 (2):133 – 140.
    The goal of this article is to put to the fore the importance and the relevance of the “second persons” in the framework of the relational ethics where the person has being related as a primacy over the individual as an isolated subject. While using the psychiatric team of an emergency unit (E.R.I.C.) as a leading thread we seek to show the anthropology of being related, which underlines the practical ethics of such emergency team.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  28.  5
    Marek Tokarz (1979). The Existence of Matrices Strongly Adequate for E, R and Their Fragments. Studia Logica 38 (1):75 - 85.
    A logic is a pair (P,Q) where P is a set of formulas of a fixed propositional language and Q is a set of rules. A formula is deducible from X in the logic (P, Q) if it is deducible from XP via Q. A matrix is strongly adequate to (P, Q) if for any , X, is deducible from X iff for every valuation in , is designated whenever all the formulas in X are. It is proved in the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  29.  6
    R. E. Tully (1976). Moore's Defence of Common Sense: A Reappraisal After Fifty Years: R. E. Tully. Philosophy 51 (197):289-306.
    G. E. Moore's ‘A Defence of Common Sense’ has generated the kind of interest and contrariety which often accompany what is new, provocative, and even important in philosophy. Moore himself reportedly agreed with Wittgenstein's estimate that this was his best article, while C. D. Broad has lamented its very great but largely unfortunate influence. Although the essay inspired Wittgenstein to explore the basis of Moore's claim to know many propositions of common sense to be true, A. J. Ayer judges its (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  1
    Debra Morris (1999). Wives Are Told: Don't Blame the Bank, Sue Your Solicitor: Royal Bank of Scotland V. Etridge (No. 2) and Other Appeals [1998] 4 All E.R. 705. [REVIEW] Feminist Legal Studies 7 (2):193-202.
    This case note considers the Court of Appeal decision in Royal Bank of Scotland v. Etridge (No. 2) and other appeals [1998] 4 All E.R. 705. It concerns the familiar scenario of a wife jointly mortgaging (or providing a guarantee for a mortgage of) the family home in order to secure financial support for a business run by her husband. The House of Lords decision in Barclays Bank v O'Brien [1994] A.C. 180 has given rise to a range of litigation (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  31. E. R. Hughes (1966). Chinese Philosophy in Classical Times. Edited and Translated by E.R. Hughes. Dent.
     
    Export citation  
     
    My bibliography  
  32.  18
    Felice Masi (2012). Il verso della dissoluzione e quello della caduta. Notizie sull'orientamento architettonico tra Th. Lipps e H. van der Laan. [REVIEW] Aisthesis. Pratiche, Linguaggi E Saperi Dell’Estetico 5 (2).
    The paper aims at drawing the main lines of a reflection about architectonic space, starting from the comparison between two hypothesis, as much as ever different: Theodor Lipps’ spatial aesthetics and Hans van der Laan’s elemental theory. The emphasis given by both authors to the intersection between directions and way, but also to the mutual subordination between thing and space, allows to rewrite the obituary of architecture as a spatial art, according to which the Modern Style has turned the spatiality (...)
    No categories
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  33. R. van Rooy (forthcoming). Quality and Quantity of Information Exchange', to Appear in J. Van Benthem & R. Van Rooy, Eds., Special Issue on Information Theories of The. [REVIEW] Journal of Logic, Language and Information.
     
    Export citation  
     
    My bibliography  
  34.  10
    Samuel Simon & Aline Moares (2009). O empirismo construtivo de Bas C. Van Fraassen E o problema do sucesso científico. Philósophos - Revista de Filosofia 12 (2).
    O presente trabalho tem por objetivo apresentar os principais aspectos do Empirismo Construtivo de Bas C. van Fraassen, particularmente no que diz respeito ao problema do sucesso científico. Nesse contexto, serão examinadas as noções de observável e inobservável e suas relações com o ‘argumento do milagre’ e da ‘coincidência cósmica’, ambos criticados por van Fraassen. As respostas de autores que defendem o Realismo Científico serão então apresentadas, contrapondo-se aos argumentos do Empirismo Construtivo. Finalmente, possíveis dificuldades do Empirismo Construtivo serão ainda (...)
    Translate
      Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  35.  61
    Janez Bregant (2004). Van Gulick's Solution of the Exclusion Problem Revisited. Acta Analytica 19 (33):83-94.
    The anti-reductionist who wants to preserve the causal efficacy of mental phenomena faces several problems in regard to mental causation, i.e. mental events which cause other events, arising from her desire to accept the ontological primacy of the physical and at the same time save the special character of the mental. Psychology tries to persuade us of the former, appealing thereby to the results of experiments carried out in neurology; the latter is, however, deeply rooted in our everyday actions and (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  36.  1
    R. G. Downey & J. B. Remmel (1989). Classifications of Degree Classes Associated with R.E. Subspaces. Annals of Pure and Applied Logic 42 (2):105-124.
    In this article we show that it is possible to completely classify the degrees of r.e. bases of r.e. vector spaces in terms of weak truth table degrees. The ideas extend to classify the degrees of complements and splittings. Several ramifications of the classification are discussed, together with an analysis of the structure of the degrees of pairs of r.e. summands of r.e. spaces.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  37.  2
    Y. Yang & R. A. Shore (2002). A Nonlow~2 R.E. Degree with the Extension of Embeddings Properties of a Low~2 Degree. Mathematical Logic Quarterly 48 (1):131-146.
    We construct a nonlow2 r.e. degree d such that every positive extension of embeddings property that holds below every low2 degree holds below d. Indeed, we can also guarantee the converse so that there is a low r.e. degree c such that that the extension of embeddings properties true below c are exactly the ones true belowd.Moreover, we can also guarantee that no b ≤ d is the base of a nonsplitting pair.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  38. Jeffrey S. Carroll (1990). Maximal R.E. Equivalence Relations. Journal of Symbolic Logic 55 (3):1048-1058.
    The lattice of r.e. equivalence relations has not been carefully examined even though r.e. equivalence relations have proved useful in logic. A maximal r.e. equivalence relation has the expected lattice theoretic definition. It is proved that, in every pair of r.e. nonrecursive Turing degrees, there exist maximal r.e. equivalence relations which intersect trivially. This is, so far, unique among r.e. submodel lattices.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  39.  2
    Edwin M. Curley (2000). A correspondência entre Lambert van Velthuysen e Espinosa. Discurso 31:11-44.
    A análise da correspondência entre Espinosa e L. van Velthuysen pode ser bastante útil para aperfeiçoar nossa compreensão do Tractatus theologico-politicus e da filosofia de Espinosa em geral. Em sua correspondência, Espinosa é freqüentemente evasivo e lento para ver (ou, ao menos, para reconhecer) um ponto. É uma questão interessante como deveríamos dar conta destas deficiências em suas respostas, e sua correspondência com Velthuysen seria uma boa oportunidade para provar a perspectiva de Bennett. O artigo está dividido em três partes: (...)
    Translate
      Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  40.  12
    Michael Stob (1983). Wtt-Degrees and T-Degrees of R.E. Sets. Journal of Symbolic Logic 48 (4):921-930.
    We use some simple facts about the wtt-degrees of r.e. sets together with a construction to answer some questions concerning the join and meet operators in the r.e. degrees. The construction is that of an r.e. Turing degree a with just one wtt-degree in a such that a is the join of a minimal pair of r.e. degrees. We hope to illustrate the usefulness of studying the stronger reducibility orderings of r.e. sets for providing information about Turing reducibility.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  41.  5
    Douglas Cenzer & Peter G. Hinman (2008). Degrees of Difficulty of Generalized R.E. Separating Classes. Archive for Mathematical Logic 46 (7-8):629-647.
    Important examples of $\Pi^0_1$ classes of functions $f \in {}^\omega\omega$ are the classes of sets (elements of ω 2) which separate a given pair of disjoint r.e. sets: ${\mathsf S}_2(A_0, A_1) := \{f \in{}^\omega2 : (\forall i < 2)(\forall x \in A_i)f(x) \neq i\}$ . A wider class consists of the classes of functions f ∈ ω k which in a generalized sense separate a k-tuple of r.e. sets (not necessarily pairwise disjoint) for each k ∈ ω: ${\mathsf S}_k(A_0,\ldots,A_k-1) := (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  42.  1
    Geoffrey Laforte (1996). The Isolated D. R. E. Degrees Are Dense in the R. E. Degrees. Mathematical Logic Quarterly 42 (1):83-103.
    In the present paper we prove that the isolated differences of r. e. degrees are dense in the r. e. degrees.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  43.  3
    D. Kaddah (1993). Infima in the D.R.E. Degrees. Annals of Pure and Applied Logic 62 (3):207-263.
    This paper analyzes several properties of infima in Dn, the n-r.e. degrees. We first show that, for every n> 1, there are n-r.e. degrees a, b, and c, and an -r.e. degree x such that a < x < b, c and, in Dn, b c = a. We also prove a related result, namely that there are two d.r.e. degrees that form a minimal pair in Dn, for each n < ω, but that do not form a minimal pair (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  44.  3
    John Love (1993). Stability Among R.E. Quotient Algebras. Annals of Pure and Applied Logic 59 (1):55-63.
    A recursive algebra is a structure for which A is a recursive set of numbers and the Fi are uniformly recursive operations. We define an r.e. quotient algebra to be the quotient by an r.e. congruence .We say that is recursively stable among r.e. quotient algebras if, for each r.e. quotient algebra and each isomorphism from onto ′, the set {a,baA,bB and =[b]′} is r.e.We shall consider examples of recursive stability. Then, assuming that has a recursive existential diagram, we show (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  45.  5
    John J. Thurber (1994). Recursive and R.E. Quotient Boolean Algebras. Archive for Mathematical Logic 33 (2):121-129.
    We prove a converse to one of the theorems from [F], giving a description in terms of Turing complexity of sets which can be coded into recursive and r.e. quotient Boolean algebras.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  46.  8
    Simon Thompson (1985). Priority Arguments in the Continuous R. E. Degrees. Journal of Symbolic Logic 50 (3):661-667.
    We show that at each type k ≥ 2, there exist c-irreducible functionals of c-r.e. degree, as defined in [Nor 1]. Our proofs are based on arguments due to Hinman, [Hin 1], and Dvornikov, [Dvo 1].
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  47.  10
    José M. Méndez (1987). Axiomatizing E→ and R→ with Anderson and Belnap's 'Strong and Natural'list of Valid Entailments. Bulletin of the Section of Logic 16 (1):2-7.
    We provide all possible axiomatizations with independent axioms of E→ and R→ formulable with Anderson and Belnap’s list.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  48.  3
    Yi Zhang (1999). Towards a Problem of E. Van Douwen and A. Miller. Mathematical Logic Quarterly 45 (2):183-188.
    We discuss a problem asked by E. van Douwen and A. Miller [5] in various forcing models.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  49.  14
    Mark Bevir (1999). Universality and Particularity in the Philosophy of E. B. Bax and R. G. Collingwood. History of the Human Sciences 12 (3):55-69.
    This article examines the ways in which E. B. Bax and R. G. Collingwood attempted to avoid relativism and irrationalism without postulating a pure and universal reason. Both philosophers were profound historicists who recognized the fundamentally particular nature of the world. Yet they also attempted to retain a universal aspect to thought - Bax through his distinction between the logical and alogical realms, and Collingwood through his doctrine of re-enactment. The article analyses both their metaphysical premises and their philosophies of (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  50.  4
    Steffen Lempp & André Nies (1995). The Undecidability of the II4 Theory for the R. E. Wtt and Turing Degrees. Journal of Symbolic Logic 60 (4):1118 - 1136.
    We show that the Π 4 -theory of the partial order of recursively enumerable weak truth-table degrees is undecidable, and give a new proof of the similar fact for r.e. T-degrees. This is accomplished by introducing a new coding scheme which consists in defining the class of finite bipartite graphs with parameters.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 1000