Results for 'Nathanael William Vaprin'

991 found
Order:
  1. An Elegant and Learned Discource of the Light of Nature with Other Treatises.Nathanael Culverwel & William Dillingham - 1654 - Printed by T.R. And E.M. For John Rothwel.
     
    Export citation  
     
    Bookmark  
  2. Spiritual Opticks, or, a Glasse Discovering the Weaknesse and Imperfection of a Christians Knowledge in This Life.Nathanael Culverwel & William Dillingham - 1651 - Printed by Thomas Buck ... And Are to Be Sold by Anthony Nicholson.
    No categories
     
    Export citation  
     
    Bookmark  
  3.  5
    The candle of the Lord.William Cecil De Pauley - 1937 - Freeport, N.Y.,: Books for Libraries Press.
    Benjamin Whichcote.--Benjamin Whichcote and Jeremy Taylor.--John Smith.--Ralph Cudworth.--Henry More.--Richard Cumberland.--Nathanael Culverwel.--George Rust.--Edward Stillingfleet.--Additional notes: John Calvin.--Lancelot Andrewes: Excerpt on the candle of the Lord.--William Laud: Excerpt on Scripture.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  7
    arrêt sur visage, from Hatred of Translation. Nathanaël - 2019 - philoSOPHIA: A Journal of Continental Feminism 9 (1):138-141.
    In lieu of an abstract, here is a brief excerpt of the content:arrêt sur visagefrom Hatred of Translation1Nathanaël (bio)or else isolated in silence—Danielle Collobert, Ça des motsIn the language of film there are often extraordinary divergences between English and French, which prove at times to be irreconcilable.2 If this tendency toward discrepancy is true of translation as a rule, it reveals itself to be particularly true in the case of this work in translation. Danielle Collobert's Recherche,3 rendered as Research, in (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  9
    The Queer Utopianism of Myra Breckinridge.Nathanael Thomas Booth - 2021 - Utopian Studies 32 (2):167-185.
    Though not often discussed as such, Gore Vidal's Myra Breckinridge is a work of queer utopianism. Myra herself is an entrancing figure—a self-created goddess who is determined to save humanity by abolishing gender itself. That her efforts ultimately fail is a testament to the queerness of her utopianism. Using Lee Edelman's discussion of “reproductive futurism” and José Esteban Muñoz's insights into the queerness of utopianism, this article analyzes the ways in which Myra Breckinridge channels both hopeful and destructive urges as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  11
    A Critical Theory for the Anthropocene.Nathanaël Wallenhorst - 2023 - Springer Verlag.
    This volume, which is rooted in biogeophysical studies, addresses conceptions of political action in the Anthropocene and the tension between a desire to accomplish the Promethean project of modernity and a post-Promethean approach. This work explores the idea of ​​an anthropological mutation of political consolidation from a “post-Promethean togetherness”, to creating the capacity to act together. The political thinking of the human condition developed by Hannah Arendt is important here as a resource for thinking about humanity in terms of human (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  60
    Learning Alignments and Leveraging Natural Logic.Nathanael Chambers, Daniel Cer, Trond Grenager, David Hall, Chloe Kiddon, Bill MacCartney, Marie-Catherine de Marneffe, Daniel Ramage, Eric Yeh & Christopher D. Manning - unknown
    We describe an approach to textual inference that improves alignments at both the typed dependency level and at a deeper semantic level. We present a machine learning approach to alignment scoring, a stochastic search procedure, and a new tool that finds deeper semantic alignments, allowing rapid development of semantic features over the aligned graphs. Further, we describe a complementary semantic component based on natural logic, which shows an added gain of 3.13% accuracy on the RTE3 test set.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Explanation and Hypothetical Necessity in Aristotle.Nathanael Stein - 2016 - Ancient Philosophy 36 (2):353-382.
  9.  6
    Ambiguity, Violence, and Community in the Cities of Judaea and Syria.Nathanael Andrade - 2010 - História 59 (3):342-370.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  8
    Word as Bond in an Age of Division: John Eugenikos as Orator, Partisan, and Poet.Nathanael Aschenbrenner & Krystina Kubina - 2022 - Speculum 97 (4):1101-1143.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  3
    Ditadura militar e o genocídio indígena: caso do Povo Waimiri Atroari e a construção da estrada BR 174.Nathanael Pereira - 2023 - Resistances. Journal of the Philosophy of History 4 (8):e230115.
    O genocídio indígena esteve presente na ditadura civil-militar brasileira (1964-1985), assim como em todos os períodos após as invasões portuguesas de 1500. A partir do uso dos ideais coloniais e da estrutura capitalista, as políticas de desenvolvimentismo com as invasões às terras indígenas culminaram no genocídio que foi protagonizado pelo Exército Brasileiro. Segundo a Comissão Nacional da Verdade, mais de 8.350 indígenas foram mortos durante o período de 1946 a 1988, número este que pode ser bem maior, dado que o (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  6
    Membres et organes artificiels : le mythe et la fabrique des surhommes.Nathanaël Jarrassé - 2017 - Archives de Philosophie du Droit 59 (1):89-97.
    Depuis plusieurs décennies, s’est instaurée « une nouvelle ère » pour le corps, caractérisée par une évolution des pratiques médicales, mais aussi et surtout par le développement de nouvelles utopies. Face aux envahissantes mythologies et agitations idéologiques, l’objectif de cet article est donc de tenter de définir la réalité du « surhomme » d’aujourd’hui et d’analyser quelques-uns des mécanismes idéologiques qui participent à la fabrication de ce mythe.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  28
    Categoricity in multiuniversal classes.Nathanael Ackerman, Will Boney & Sebastien Vasey - 2019 - Annals of Pure and Applied Logic 170 (11):102712.
    The third author has shown that Shelah's eventual categoricity conjecture holds in universal classes: class of structures closed under isomorphisms, substructures, and unions of chains. We extend this result to the framework of multiuniversal classes. Roughly speaking, these are classes with a closure operator that is essentially algebraic closure (instead of, in the universal case, being essentially definable closure). Along the way, we prove in particular that Galois (orbital) types in multiuniversal classes are determined by their finite restrictions, generalizing a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14.  37
    Causality and Causal Explanation in Aristotle.Nathanael Stein - 2023 - New York, US: OUP Usa.
    This book aims to answer two main questions about Aristotle’s theory of causality and causal explanation, especially in relation to natural science: (1) How does he answer the main philosophical questions about causes to which he thinks his predecessors’ answers are flawed? (2) How do his answers bear on the main questions we confront in thinking about causality in general? The texts that deal with causality directly are analyzed against the background of his criticisms of his predecessors and his broader (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. The Emergent Self.William Hasker - 2001 - London: Cornell University Press.
    In The Emergent Self, William Hasker joins one of the most heated debates in contemporary analytic philosophy, that over the nature of mind.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   102 citations  
  16. Judgement and justification.William G. Lycan - 1988 - New York: Cambridge University Press.
    Toward theory a homuncular of believing For years and years, philosophers took thoughts and beliefs to be modifications of incorporeal Cartesian egos. ...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   303 citations  
  17. Causation and Explanation in Aristotle.Nathanael Stein - 2011 - Philosophy Compass 6 (10):699-707.
    Aristotle thinks that we understand something when we know its causes. According to Aristotle but contrary to most recent approaches, causation and explanation cannot be understood separately. Aristotle complicates matters by claiming that there are four causes, which have come to be known as the formal, material, final, and efficient causes. To understand Aristotelian causation and its relationship to explanation, then, we must come to a precise understanding of the four causes, and how they are supposed to be explanatory. Aristotle’s (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  18. Aristotle's Causal Pluralism.Nathanael Stein - 2011 - Archiv für Geschichte der Philosophie 93 (2):121-147.
    Central to Aristotle's metaphysics and epistemology is the claim that ‘aitia’ – ‘cause’ – is “said in many ways”, i.e., multivocal. Though the importance of the four causes in Aristotle's system cannot be overstated, the nature of his pluralism about aitiai has not been addressed. It is not at all obvious how these modes of causation are related to one another, or why they all deserve a common term. Nor is it clear, in particular, whether the causes are related to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  19.  91
    Aristotle on Parts of Time and Being in Time.Nathanael Stein - 2016 - Review of Metaphysics 69 (3):495-518.
    Aristotle opens his discussion of time in Physics 4.10-14 with a puzzle, an argument which purports to show that time does not exist, since its only parts – the past and future – do not exist. He does not discuss the puzzle again, and so we are left with the question of how he would or could solve it. A full solution would involve not only a justification of realism about time, but also an account of why the puzzle arises, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20. Causal Necessity in Aristotle.Nathanael Stein - 2012 - British Journal for the History of Philosophy 20 (5):855-879.
    Like many realists about causation and causal powers, Aristotle uses the language of necessity when discussing causation, and he appears to think that by invoking necessity, he is clarifying the manner in which causes bring about or determine their effects. In so doing, he would appear to run afoul of Humean criticisms of the notion of a necessary connection between cause and effect. The claim that causes necessitate their effects may be understood—or attacked—in several ways, however, and so whether the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  21.  94
    Descartes: the project of pure enquiry.Bernard Williams (ed.) - 1978 - Hassocks: Harvester Press.
    Descartes has often been called the 'father of modern philosophy'. His attempts to find foundations for knowledge, and to reconcile the existence of the soul with the emerging science of his time, are among the most influential and widely studied in the history of philosophy. This is a classic and challenging introduction to Descartes by one of the most distinguished modern philosophers. Bernard Williams not only analyzes Descartes' project of founding knowledge on certainty, but uncovers the philosophical motives for his (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   200 citations  
  22. The Supposed Material Cause in Posterior Analytics 2.11.Nathanael Stein - 2020 - Phronesis 66 (1):27-51.
    Aristotle presents four causes in Posterior Analytics 2.11, but where we expect matter we find instead the confusing formula, ‘what things being the case, necessarily this is the case’, and an equally confusing example. Some commentators infer that Aristotle is not referring to matter, others that he is but in a non-standard way. I argue that APo. 94a20-34 presents not matter, but determination by general features or facts, including facts about something’s genus. The closest connection to matter is Aristotle’s view (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. The Will to Believe: And Other Essays in Popular Philosophy.William James - 1979 - New York: Cambridge University Press. Edited by Frederick Burkhardt, Fredson Bowers & Ignas K. Skrupskelis.
    For this 1897 publication, the American philosopher William James brought together ten essays, some of which were originally talks given to Ivy League societies. Accessible to a broader audience, these non-technical essays illustrate the author's pragmatic approach to belief and morality, arguing for faith and action in spite of uncertainty. James thought his audiences suffered 'paralysis of their native capacity for faith' while awaiting scientific grounds for belief. His response consisted in an attitude of 'radical empiricism', which deals practically (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   245 citations  
  24.  1
    An elegant and learned discourse of the light of nature.Nathanael Culverwel - 1971 - [Toronto]: University of Toronto Press.
  25.  2
    Expansions of Presburger arithmetic with the exchange property.Nathanaël Mariaule - 2021 - Mathematical Logic Quarterly 67 (4):409-419.
    Let G be a model of Presburger arithmetic. Let be an expansion of the language of Presburger. In this paper, we prove that the ‐theory of G is ‐minimal iff it has the exchange property and is definably complete (i.e., any bounded definable set has a maximum). If the ‐theory of G has the exchange property but is not definably complete, there is a proper definable convex subgroup H. Assuming that the induced theories on H and are definable complete and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  10
    Expansions of the p‐adic numbers that interpret the ring of integers.Nathanaël Mariaule - 2020 - Mathematical Logic Quarterly 66 (1):82-90.
    Let be the field of p‐adic numbers in the language of rings. In this paper we consider the theory of expanded by two predicates interpreted by multiplicative subgroups and where are multiplicatively independent. We show that the theory of this structure interprets Peano arithmetic if α and β have positive p‐adic valuation. If either α or β has zero valuation we show that the theory of has the NIP (“negation of the independence property”) and therefore does not interpret Peano arithmetic. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  14
    The field of p-adic numbers with a predicate for the powers of an integer.Nathanaël Mariaule - 2017 - Journal of Symbolic Logic 82 (1):166-182.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  35
    L'ontologie sartrienne est-elle une phénoménologie transcendantale? Imagination et constitution.Nathanaël Masselot - 2012 - Methodos 12.
    Sartre analyse l’imagination dans le contexte d’une radicalisation de l’intentionnalité husserlienne. Alors que Husserl opérait avec un concept de constitution qui explicitait le statut de la transcendance à partir de l’immanence, la phénoménologie sartrienne semblerait faire l’économie de la notion de constitution. Mais ce point est plus délicat qu’il n’y paraît. Sartre rencontre plusieurs types de transcendances problématiques : celle de l’Ego (en 1936), de certaines images (1940), et celle du « soi » (1943). Cette étude vise à montrer comment (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  17
    Is Sartre’s ontology a transcendental phenomenology? An enquiry about imagination and constitution.Nathanaël Masselot - 2012 - Methodos 12.
    Sartre analyse l’imagination dans le contexte d’une radicalisation de l’intentionnalité husserlienne. Alors que Husserl opérait avec un concept de constitution qui explicitait le statut de la transcendance à partir de l’immanence, la phénoménologie sartrienne semblerait faire l’économie de la notion de constitution. Mais ce point est plus délicat qu’il n’y paraît. Sartre rencontre plusieurs types de transcendances problématiques : celle de l’Ego (en 1936), de certaines images (1940), et celle du « soi » (1943). Cette étude vise à montrer comment (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. The Varieties of Religious Experience: A Study in Human Nature.William James - 1929 - New York: Cambridge University Press. Edited by Matthew Bradley.
    The Gifford Lectures were established in 1885 at the universities of St Andrews, Glasgow, Aberdeen and Edinburgh to promote the discussion of 'Natural Theology in the widest sense of the term - in other words, the knowledge of God', and some of the world's most influential thinkers have delivered them. The 1901–2 lectures given in Edinburgh by American philosopher William James are considered by many to be the greatest in the series. The lectures were published in book form in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   226 citations  
  31.  17
    Indivisible sets and well‐founded orientations of the Rado graph.Nathanael L. Ackerman & Will Brian - 2019 - Mathematical Logic Quarterly 65 (1):46-56.
    Every set can been thought of as a directed graph whose edge relation is ∈. We show that many natural examples of directed graphs of this kind are indivisible: for every infinite κ, for every indecomposable λ, and every countable model of set theory. All of the countable digraphs we consider are orientations of the countable random graph. In this way we find indivisible well‐founded orientations of the random graph that are distinct up to isomorphism, and ℵ1 that are distinct (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  29
    On Transferring Model Theoretic Theorems of $${\mathcal{L}_{{\infty},\omega}}$$ L ∞, ω in the Category of Sets to a Fixed Grothendieck Topos.Nathanael Leedom Ackerman - 2014 - Logica Universalis 8 (3-4):345-391.
    Working in a fixed Grothendieck topos Sh(C, J C ) we generalize \({\mathcal{L}_{{\infty},\omega}}\) to allow our languages and formulas to make explicit reference to Sh(C, J C ). We likewise generalize the notion of model. We then show how to encode these generalized structures by models of a related sentence of \({\mathcal{L}_{{\infty},\omega}}\) in the category of sets and functions. Using this encoding we prove analogs of several results concerning \({\mathcal{L}_{{\infty},\omega}}\) , such as the downward Löwenheim–Skolem theorem, the completeness theorem and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33. Pragmatism: a new name for some old ways of thinking.William James - 2019 - Gorham, ME: Myers Education Press. Edited by Eric C. Sheffield.
    "The lectures that follow were delivered at the Lowell Institute in Boston in November and December, 1906, and in January, 1907, at Columbia University, in New York."-Preface, pg. 3.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   153 citations  
  34.  5
    An elegant and learned discourse of the light of nature: with other treatises, including Spiritual opticks, 1652.Nathanael Culverwel - 1978 - New York: Garland.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  19
    A classification of orbits admitting a unique invariant measure.Nathanael Ackerman, Cameron Freer, Aleksandra Kwiatkowska & Rehana Patel - 2017 - Annals of Pure and Applied Logic 168 (1):19-36.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Relativized Grothendieck topoi.Nathanael Leedom Ackerman - 2010 - Annals of Pure and Applied Logic 161 (10):1299-1312.
    In this paper we define a notion of relativization for higher order logic. We then show that there is a higher order theory of Grothendieck topoi such that all Grothendieck topoi relativizes to all models of set theory with choice.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37. The meaning of truth.William James - 1909 - Mineola, N.Y.: Dover Publications. Edited by Fredson Bowers & Ignas K. Skrupskelis.
    One of the most influential men of his time, philosopher, psychologist, educator, and author William James (1842-1910) helped lead the transition from a predominantly European-centered nineteenth-century philosophy to a new "pragmatic" American philosophy. Helping to pave the way was his seminal book Pragmatism (1907), in which he included a chapter on "Truth," an essay which provoked severe criticism. In response, he wrote the present work, an attempt to bring together all he had ever written on the theory of knowledge, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  38.  5
    Commentary: Response from Jehovah’s Witnesses.Nathanael A. Reed - 1990 - Journal of Clinical Ethics 1 (1):72-74.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  56
    When efficient market hypothesis meets Hayek on information: beyond a methodological reading.Nathanaël Colin-Jaeger & Thomas Delcey - 2019 - Journal of Economic Methodology 27 (2):97-116.
    Hayek and the Efficient Market Hypothesis are often seen as proposing a similar theory of prices. Hayek is seen as proposing to understand prices as information conveyer, incorporating inform...
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  15
    Descartes: The Project of Pure Enquiry.Bernard Williams (ed.) - 1978 - Hassocks [Eng.]: Routledge.
    Descartes has often been called the 'father of modern philosophy'. His attempts to find foundations for knowledge, and to reconcile the existence of the soul with the emerging science of his time, are among the most influential and widely studied in the history of philosophy. This is a classic and challenging introduction to Descartes by one of the most distinguished modern philosophers. Bernard Williams not only analyzes Descartes' project of founding knowledge on certainty, but uncovers the philosophical motives for his (...)
    Direct download  
     
    Export citation  
     
    Bookmark   131 citations  
  41. Capgras Syndrome: A Novel Probe for Understanding the Neural Representation of the Identity and Familiarity of Persons.William Hirstein & V. S. Ramachandran - 1997 - Proceedings of the Royal Society of London B 264:437-444.
  42. Definition and the Epistemology of Natural Kinds in Aristotle.Nathanael Stein - 2018 - Metaphysics 1 (1):33–51.
    We have reason to think that a fundamental goal of natural science, on Aristotle’s view, is to discover the essence-specifying definitions of natural kinds—with biological species as perhaps the most obvious case. However, we have in the end precious little evidence regarding what an Aristotelian definition of the form of a natural kind would look like, and so Aristotle’s view remains especially obscure precisely where it seems to be most applicable. I argue that if we can get a better understanding (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Beyond "Justification": Dimensions of Epistemic Evaluation.William P. Alston - 2005 - Ithaca: Cornell University Press.
    " In a book that seeks to shift the ground of debate within theory of knowledge, William P. Alston finds that the century-lo.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   240 citations  
  44.  25
    A world of becoming.William E. Connolly - 2011 - Durham, NC: Duke University Press.
    Complexity, agency, and time -- The vicissitudes of experience -- Belief, spirituality, and time -- The human predicament -- Capital flows, sovereign decisions, and world resonance machines -- The theorist and the seer.
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  45.  22
    The will to believe.William James - 1896 - [New York]: Dover Publications.
    Two books bound together, from the religious period of one of the most renowned and representative thinkers. Written for laymen, thus easy to understand, it is penetrating and brilliant as well. Illuminations of age-old religious questions from a pragmatic perspective, written in a luminous style.
    Direct download  
     
    Export citation  
     
    Bookmark   30 citations  
  46.  21
    Minority Report: Dissent and Diversity in Science.William Lynch - 2020 - New York: Rowman & Littlefield Publishers.
    This book analyzes the support that should be given to minority views, reconsidering classic debates in Science and Technology Studies and examining numerous case studies.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  47. Imagination, expectation, and “thoughts entangled in metaphors”.Nathanael Stein - 2021 - Synthese 199 (3-4):9411-9431.
    George Eliot strikingly describes one of her characters as making a mistake because he has gotten his thoughts “entangled in metaphors,” saying that we all do the same. I argue that Eliot is here giving us more than an illuminating description, but drawing our attention to a distinctive kind of mistake—a form of irrationality, in fact—of which metaphor can be an ineliminable part of the correct explanation. Her fictional case helps illuminate both a neglected function of the imagination, and a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  14
    Encoding Complete Metric Structures by Classical Structures.Nathanael Leedom Ackerman - 2020 - Logica Universalis 14 (4):421-459.
    We show how to encode, by classical structures, both the objects and the morphisms of the category of complete metric spaces and uniformly continuous maps. The result is a category of, what we call, cognate metric spaces and cognate maps. We show this category relativizes to all models of set theory. We extend this encoding to an encoding of complete metric structures by classical structures. This provide us with a general technique for translating results about infinitary logic on classical structures (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  13
    Sheaf recursion and a separation theorem.Nathanael Leedom Ackerman - 2014 - Journal of Symbolic Logic 79 (3):882-907.
    Define a second order tree to be a map between trees. We show that many properties of ordinary trees have analogs for second order trees. In particular, we show that there is a notion of “definition by recursion on a well-founded second order tree” which generalizes “definition by transfinite recursion”. We then use this new notion of definition by recursion to prove an analog of Lusin’s Separation theorem for closure spaces of global sections of a second order tree.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  24
    Vaught’s Conjecture Without Equality.Nathanael Leedom Ackerman - 2015 - Notre Dame Journal of Formal Logic 56 (4):573-582.
    Suppose that $\sigma\in{\mathcal{L}}_{\omega _{1},\omega }$ is such that all equations occurring in $\sigma$ are positive, have the same set of variables on each side of the equality symbol, and have at least one function symbol on each side of the equality symbol. We show that $\sigma$ satisfies Vaught’s conjecture. In particular, this proves Vaught’s conjecture for sentences of $ {\mathcal{L}}_{\omega _{1},\omega }$ without equality.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 991