Results for 'Trees Coucke'

1000+ found
Order:
  1.  46
    Experiential Learning of Empathy in a Care-Ethics Lab.Linus Vanlaere, Trees Coucke & Chris Gastmans - 2010 - Nursing Ethics 17 (3):325-336.
    To generate empathy in the care of vulnerable older persons requires care providers to reflect critically on their care practices. Ethics education and training must provide them with tools to accomplish such critical reflection. It must also create a pedagogical context in which good care can be taught and cultivated. The care-ethics lab ‘sTimul’ originated in 2008 in Flanders with the stimulation of ethical reflection in care providers and care providers in training as its main goal. Also in 2008, sTimul (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  2.  5
    Care-Givers’ Reflections on an Ethics Education Immersive Simulation Care Experience: A Series of Epiphanous Events.Ann Gallagher, Matthew Peacock, Magdalena Zasada, Trees Coucke, Anna Cox & Nele Janssens - 2017 - Nursing Inquiry 24 (3):e12174.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3. The Tree of Knowledge:The Biological Roots of Human Understanding.Humberto R. Maturana & Francisco J. Varela - 1992 - Cognition.
    "Knowing how we know" is the subject of this book. Its authors present a new view of cognition that has important social and ethical implications, for, they assert, the only world we humans can have is the one we create together through the actions of our coexistence. Written for a general audience as well as for students, scholars, and scientists and abundantly illustrated with examples from biology, linguistics, and new social and cultural phenomena, this revised edition includes a new afterword (...)
     
    Export citation  
     
    Bookmark   331 citations  
  4.  91
    The Tree of Life: Introduction to an Evolutionary Debate. [REVIEW]Maureen A. O’Malley, William Martin & John Dupré - 2010 - Biology and Philosophy 25 (4):441-453.
    The ‘Tree of Life’ is intended to represent the pattern of evolutionary processes that result in bifurcating species lineages. Often justified in reference to Darwin’s discussions of trees, the Tree of Life has run up against numerous challenges especially in regard to prokaryote evolution. This special issue examines scientific, historical and philosophical aspects of debates about the Tree of Life, with the aim of turning these criticisms towards a reconstruction of prokaryote phylogeny and even some aspects of the standard (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  5.  30
    Aronszajn Trees and the Successors of a Singular Cardinal.Spencer Unger - 2013 - Archive for Mathematical Logic 52 (5-6):483-496.
    From large cardinals we obtain the consistency of the existence of a singular cardinal κ of cofinality ω at which the Singular Cardinals Hypothesis fails, there is a bad scale at κ and κ ++ has the tree property. In particular this model has no special κ +-trees.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  6. Action Trees and Moral Judgment.Joshua Knobe - 2010 - Topics in Cognitive Science 2 (3):555-578.
    It has sometimes been suggested that people represent the structure of action in terms of an action tree. A question now arises about the relationship between this action tree representation and people’s moral judgments. A natural hypothesis would be that people first construct a representation of the action tree and then go on to use this representation in making moral judgments. The present paper argues for a more complex view. Specifically, the paper reports a series of experimental studies that appear (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  7.  51
    The Tree Property at Successors of Singular Cardinals.Menachem Magidor & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):385-404.
    Assuming some large cardinals, a model of ZFC is obtained in which $\aleph_{\omega+1}$ carries no Aronszajn trees. It is also shown that if $\lambda$ is a singular limit of strongly compact cardinals, then $\lambda^+$ carries no Aronszajn trees.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  8.  33
    Should Trees Have Standing?: Law, Morality, and the Environment.Christopher D. Stone - 2010 - Oup Usa.
    Originally published in 1972, Should Trees Have Standing? was a rallying point for the then burgeoning environmental movement, launching a worldwide debate on the basic nature of legal rights that reached the U.S. Supreme Court. Now, in the 35th anniversary edition of this remarkably influential book, Christopher D. Stone updates his original thesis and explores the impact his ideas have had on the courts, the academy, and society as a whole. At the heart of the book is an eminently (...)
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  9. Finite Trees and the Necessary Use of Large Cardinals.Harvey Friedman - manuscript
    We introduce insertion domains that support the placement of new, higher, vertices into finite trees. We prove that every nonincreasing insertion domain has an element with simple structural properties in the style of classical Ramsey theory. This result is proved using standard large cardinal axioms that go well beyond the usual axioms for mathematics. We also establish that this result cannot be proved without these large cardinal axioms. We also introduce insertion rules that specify the placement of new, higher, (...)
     
    Export citation  
     
    Bookmark   12 citations  
  10.  16
    Aronszajn Trees and the Independence of the Transfer Property.William Mitchell - 1972 - Annals of Mathematical Logic 5 (1):21.
  11.  14
    Aronszajn Trees on ℵ2 and ℵ3.Uri Abraham - 1983 - Annals of Mathematical Logic 24 (3):213-230.
    Assuming the existence of a supercompact cardinal and a weakly compact cardinal above it, we provide a generic extension where there are no Aronszajn trees of height ω 2 or ω 3 . On the other hand we show that some large cardinal assumptions are necessary for such a consistency result.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  12.  21
    Aronszajn Trees and Failure of the Singular Cardinal Hypothesis.Itay Neeman - 2009 - Journal of Mathematical Logic 9 (1):139-157.
    The tree property at κ+ states that there are no Aronszajn trees on κ+, or, equivalently, that every κ+ tree has a cofinal branch. For singular strong limit cardinals κ, there is tension between the tree property at κ+ and failure of the singular cardinal hypothesis at κ; the former is typically the result of the presence of strongly compact cardinals in the background, and the latter is impossible above strongly compacts. In this paper, we reconcile the two. We (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  13.  9
    Trees of Life: A Visual History of Evolution.Theodore W. Pietsch - 2012 - Johns Hopkins University Press.
    Brackets and tables, circles and maps, 1554-1872 -- Early botanical networks and trees, 1766-1815 -- The first evolutionary tree, 1786-1820 -- Diverse and unusual trees of the early nineteenth century, 1817-1834 -- The rule of five, 1819-1854 -- Pre-Darwinian branching diagrams, 1828-1858 -- Evolution and the trees of Charles Darwin, 1837-1868 -- The trees of Ernst Haeckel, 1866-1905 -- Post-Darwinian nonconformists, 1868-1896 -- More late-nineteenth-century trees, 1874-1897 -- Trees of the early twentieth century, 1901-1930 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  46
    Socratic Trees.Dorota Leszczyńska-Jasion, Mariusz Urbański & Andrzej Wiśniewski - 2013 - Studia Logica 101 (5):959-986.
    The method of Socratic proofs (SP-method) simulates the solving of logical problem by pure questioning. An outcome of an application of the SP-method is a sequence of questions, called a Socratic transformation. Our aim is to give a method of translation of Socratic transformations into trees. We address this issue both conceptually and by providing certain algorithms. We show that the trees which correspond to successful Socratic transformations—that is, to Socratic proofs—may be regarded, after a slight modification, as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  15.  21
    Kurepa Trees and Namba Forcing.Bernhard König & Yasuo Yoshinobu - 2012 - Journal of Symbolic Logic 77 (4):1281-1290.
    We show that strongly compact cardinals and MM are sensitive to $\lambda$-closed forcings for arbitrarily large $\lambda$. This is done by adding ‘regressive' $\lambda$-Kurepa trees in either case. We argue that the destruction of regressive Kurepa trees requires a non-standard application of MM. As a corollary, we find a consistent example of an $\omega_2$-closed poset that is not forcing equivalent to any $\omega_2$-directed-closed poset.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  94
    Should Trees Have Managerial Standing? Toward Stakeholder Status for Non-Human Nature.Mark Starik - 1995 - Journal of Business Ethics 14 (3):207 - 217.
    Most definitions of the concept of stakeholder include only human entities. This paper advances the argument that the non-human natural environment can be integrated into the stakeholder management concept. This argument includes the observations that the natural environment is finally becoming recognized as a vital component of the business environment, that the stakeholder concept is more than a human political/economic one, and that non-human nature currently is not adequately represented by other stakeholder groups. In addition, this paper asserts that any (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   48 citations  
  17.  27
    Aronszajn Trees, Square Principles, and Stationary Reflection.Chris Lambie-Hanson - 2017 - Mathematical Logic Quarterly 63 (3-4):265-281.
    We investigate questions involving Aronszajn trees, square principles, and stationary reflection. We first consider two strengthenings of math formula introduced by Brodsky and Rinot for the purpose of constructing κ-Souslin trees. Answering a question of Rinot, we prove that the weaker of these strengthenings is compatible with stationary reflection at κ but the stronger is not. We then prove that, if μ is a singular cardinal, math formula implies the existence of a special math formula-tree with a cf-ascent (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18.  24
    Perfect Trees and Elementary Embeddings.Sy-David Friedman & Katherine Thompson - 2008 - Journal of Symbolic Logic 73 (3):906-918.
    An important technique in large cardinal set theory is that of extending an elementary embedding j: M → N between inner models to an elementary embedding j*: M[G] → N[G*] between generic extensions of them. This technique is crucial both in the study of large cardinal preservation and of internal consistency. In easy cases, such as when forcing to make the GCH hold while preserving a measurable cardinal (via a reverse Easton iteration of α-Cohen forcing for successor cardinals α), the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  19.  25
    Strong Tree Properties for Two Successive Cardinals.Laura Fontanella - 2012 - Archive for Mathematical Logic 51 (5-6):601-620.
    An inaccessible cardinal κ is supercompact when (κ, λ)-ITP holds for all λ ≥ κ. We prove that if there is a model of ZFC with two supercompact cardinals, then there is a model of ZFC where simultaneously ${(\aleph_2, \mu)}$ -ITP and ${(\aleph_3, \mu')}$ -ITP hold, for all ${\mu\geq \aleph_2}$ and ${\mu'\geq \aleph_3}$.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  48
    The Tree Property and the Failure of SCH at Uncountable Cofinality.Dima Sinapova - 2012 - Archive for Mathematical Logic 51 (5-6):553-562.
    Given a regular cardinal λ and λ many supercompact cardinals, we describe a type of forcing such that in the generic extension there is a cardinal κ with cofinality λ, the Singular Cardinal Hypothesis at κ fails, and the tree property holds at κ +.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  33
    Trees and Π 1 1 -Subsets of Ω1 Ω 1.Alan Mekler & Jouko Vaananen - 1993 - Journal of Symbolic Logic 58 (3):1052 - 1070.
    We study descriptive set theory in the space ω1 ω 1 by letting trees with no uncountable branches play a similar role as countable ordinals in traditional descriptive set theory. By using such trees, we get, for example, a covering property for the class of Π 1 1 -sets of ω1 ω 1 . We call a family U of trees universal for a class V of trees if $\mathscr{U} \subseteq \mathscr{V}$ and every tree in V (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  22.  17
    The Tree Property and the Failure of the Singular Cardinal Hypothesis at ℵω2.Dima Sinapova - 2012 - Journal of Symbolic Logic 77 (3):934-946.
    We show that given ù many supercompact cardinals, there is a generic extension in which the tree property holds at ℵ ω²+1 and the SCH fails at ℵ ω².
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  23.  7
    Strong Tree Properties for Small Cardinals.Laura Fontanella - 2013 - Journal of Symbolic Logic 78 (1):317-333.
    An inaccessible cardinal $\kappa$ is supercompact when $(\kappa, \lambda)$-ITP holds for all $\lambda\geq \kappa$. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC where for every $n\geq 2$ and $\mu\geq \aleph_n$, we have $(\aleph_n, \mu)$-ITP.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  24.  12
    The Tree Property at א Ω+2.Sy-David Friedman & Ajdin Halilović - 2011 - Journal of Symbolic Logic 76 (2):477 - 490.
    Assuming the existence of a weakly compact hypermeasurable cardinal we prove that in some forcing extension א ω is a strong limit cardinal and א ω+2 has the tree property. This improves a result of Matthew Foreman (see [2]).
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  25.  10
    The Tree Property Up to אω+1.Itay Neeman - 2014 - Journal of Symbolic Logic 79 (2):429-459.
  26. Generic Trees.Otmar Spinas - 1995 - Journal of Symbolic Logic 60 (3):705-726.
    We continue the investigation of the Laver ideal ℓ 0 and Miller ideal m 0 started in [GJSp] and [GRShSp]; these are the ideals on the Baire space associated with Laver forcing and Miller forcing. We solve several open problems from these papers. The main result is the construction of models for $t , where add denotes the additivity coefficient of an ideal. For this we construct amoeba forcings for these forcings which do not add Cohen reals. We show that (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  27.  53
    Peach Trees, Gravity and God: Mechanism in Locke.Marleen Rozemond & Gideon Yaffe - 2004 - British Journal for the History of Philosophy 12 (3):387 – 412.
    Locke claimed that God superadded various powers to matter, including motion, the perfections of peach trees and elephants, gravity, and that he could superadd thought. Various interpreters have discussed the question whether Locke's claims about superaddition are in tension with his commitment to mechanistic explanation. This literature assumes that for Locke mechanistic explanation involves deducibility. We argue that this is an inaccurate interpretation and that mechanistic explanation involves a different type of intelligibility for Locke.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  28.  37
    Trees of History in Systematics and Philology.Robert J. O'Hara - 1996 - Memorie Della Società Italiana di Scienze Naturali E Del Museo Civico di Storia Naturale di Milano 27 (1): 81–88.
    "The Natural System" is the name given to the underlying arrangement present in the diversity of life. Unlike a classification, which is made up of classes and members, a system or arrangement is an integrated whole made up of connected parts. In the pre-evolutionary period a variety of forms were proposed for the Natural System, including maps, circles, stars, and abstract multidimensional objects. The trees sketched by Darwin in the 1830s should probably be considered the first genuine evolutionary diagrams (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  38
    Trees for E.Shawn Standefer - 2018 - Logic Journal of the IGPL 26 (3):300-315.
  30.  19
    Trees and Ehrenfeucht–Fraı̈ssé Games.Stevo Todorčević & Jouko Väänänen - 1999 - Annals of Pure and Applied Logic 100 (1-3):69-97.
    Trees are natural generalizations of ordinals and this is especially apparent when one tries to find an uncountable analogue of the concept of the Scott-rank of a countable structure. The purpose of this paper is to introduce new methods in the study of an ordering between trees whose analogue is the usual ordering between ordinals. For example, one of the methods is the tree-analogue of the successor operation on the ordinals.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  31.  14
    Fault Tree Interval Analysis of Complex Systems Based on Universal Grey Operation.Feng Zhang, Shiwang Tan, Leilei Zhang, Yameng Wang & Yang Gao - 2019 - Complexity 2019:1-8.
    The objective of this study is to propose a new operation method based on the universal grey number to overcome the shortcomings of typical interval operation in solving system fault trees. First, the failure probability ranges of the bottom events are described according to the conversion rules between the interval number and universal grey number. A more accurate system reliability calculation is then obtained based on the logical relationship between the AND gates and OR gates of a fault tree (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  44
    Computable Trees of Scott Rank [Image] , and Computable Approximation.Wesley Calvert, Julia F. Knight & Jessica Millar - 2006 - Journal of Symbolic Logic 71 (1):283 - 298.
    Makkai [10] produced an arithmetical structure of Scott rank $\omega _{1}^{\mathit{CK}}$. In [9]. Makkai's example is made computable. Here we show that there are computable trees of Scott rank $\omega _{1}^{\mathit{CK}}$. We introduce a notion of "rank homogeneity". In rank homogeneous trees, orbits of tuples can be understood relatively easily. By using these trees, we avoid the need to pass to the more complicated "group trees" of [10] and [9]. Using the same kind of trees, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  33.  7
    Seeing Trees: Investigating Poetics of Place‐Based, Aesthetic Environmental Education with Heidegger and Wittgenstein.Jeffrey A. Stickney - 2020 - Journal of Philosophy of Education 54 (5):1278-1305.
    Journal of Philosophy of Education, Volume 54, Issue 5, Page 1278-1305, October 2020.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  28
    Wellfounded Trees in Categories.Ieke Moerdijk & Erik Palmgren - 2000 - Annals of Pure and Applied Logic 104 (1-3):189-218.
    In this paper we present and study a categorical formulation of the W-types of Martin-Löf. These are essentially free term algebras where the operations may have finite or infinite arity. It is shown that W-types are preserved under the construction of sheaves and Artin gluing. In the proofs we avoid using impredicative or nonconstructive principles.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  35.  29
    The Tree of Knowledge and Other Essays.G. H. von Wright - 1993 - E.J. Brill.
    Humanism, modernity, and scientific rationality are examined critically in these collected essays.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  36.  64
    Computation Tree Logics and Temporal Logics with Reference Pointers.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):221-242.
    A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL* into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL*-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  13
    Trees and Ehrenfeucht–Fraı̈ssé Games.Jouko Väänänen & Stevo Todorcevic - 1999 - Annals of Pure and Applied Logic 100 (1-3):69-97.
    Trees are natural generalizations of ordinals and this is especially apparent when one tries to find an uncountable analogue of the concept of the Scott-rank of a countable structure. The purpose of this paper is to introduce new methods in the study of an ordering between trees whose analogue is the usual ordering between ordinals. For example, one of the methods is the tree-analogue of the successor operation on the ordinals.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38.  11
    The Tree Property at the Double Successor of a Singular Cardinal with a Larger Gap.Sy-David Friedman, Radek Honzik & Šárka Stejskalová - 2018 - Annals of Pure and Applied Logic 169 (6):548-564.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  19
    Finite Tree Property for First-Order Logic with Identity and Functions.Merrie Bergmann - 2005 - Notre Dame Journal of Formal Logic 46 (2):173-180.
    The typical rules for truth-trees for first-order logic without functions can fail to generate finite branches for formulas that have finite models–the rule set fails to have the finite tree property. In 1984 Boolos showed that a new rule set proposed by Burgess does have this property. In this paper we address a similar problem with the typical rule set for first-order logic with identity and functions, proposing a new rule set that does have the finite tree property.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  6
    On Model-Theoretic Tree Properties.Artem Chernikov & Nicholas Ramsey - 2016 - Journal of Mathematical Logic 16 (2):1650009.
    We study model theoretic tree properties and their associated cardinal invariants. In particular, we obtain a quantitative refinement of Shelah’s theorem for countable theories, show that [Formula: see text] is always witnessed by a formula in a single variable and that weak [Formula: see text] is equivalent to [Formula: see text]. Besides, we give a characterization of [Formula: see text] via a version of independent amalgamation of types and apply this criterion to verify that some examples in the literature are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  41.  53
    Tree Leaf Talk: A Heideggerian Anthropology.James F. Weiner - 2001 - Berg.
    This is the first book to explore the relationship between Martin Heidegger's work and modern anthropology. Heidegger attracts much scholarly interest among social scientists, but few have explored his ideas in relation to current anthropological debates. The discipline's modernist foundations, the nature of cultural constructionism and of art ñ even what an anthropology of art must include ñ are all informed and illuminated by Heidegger's work. The author argues that many contemporary anthropologists, in their concern to return subjectivity and 'voice' (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  42.  18
    Tree Thinking for All Biology: The Problem with Reading Phylogenies as Ladders of Progress.Kevin E. Omland, Lyn G. Cook & Michael D. Crisp - 2008 - Bioessays 30 (9):854-867.
    Phylogenies are increasingly prominent across all of biology, especially as DNA sequencing makes more and more trees available. However, their utility is compromised by widespread misconceptions about what phylogenies can tell us, and improved tree thinking is crucial. The most-serious problem comes from reading trees as ladders from left to right - many biologists assume that species-poor lineages that appear early branching or basal are ancestral - we call this the primitive lineage fallacy. This mistake causes misleading inferences (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  43.  15
    The Tree Property Belowℵω⋅2.Spencer Unger - 2016 - Annals of Pure and Applied Logic 167 (3):247-261.
  44.  12
    Theories Without the Tree Property of the Second Kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
    We initiate a systematic study of the class of theories without the tree property of the second kind — NTP2. Most importantly, we show: the burden is “sub-multiplicative” in arbitrary theories ; NTP2 is equivalent to the generalized Kimʼs lemma and to the boundedness of ist-weight; the dp-rank of a type in an arbitrary theory is witnessed by mutually indiscernible sequences of realizations of the type, after adding some parameters — so the dp-rank of a 1-type in any theory is (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  45.  22
    Tree Indiscernibilities, Revisited.Byunghan Kim, Hyeung-Joon Kim & Lynn Scow - 2014 - Archive for Mathematical Logic 53 (1-2):211-232.
    We give definitions that distinguish between two notions of indiscernibility for a set {aη∣η∈ω>ω}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\{a_{\eta} \mid \eta \in ^{\omega>}\omega\}}$$\end{document} that saw original use in Shelah [Classification theory and the number of non-isomorphic models. North-Holland, Amsterdam, 1990], which we name s- and str−indiscernibility. Using these definitions and detailed proofs, we prove s- and str-modeling theorems and give applications of these theorems. In particular, we verify a step in the argument that TP is equivalent (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  46.  24
    Ladder, Tree, Web.Kalevi Kull - 2003 - Sign Systems Studies 31 (2):589-602.
    Fundamental turns in biological understanding can be interpreted as replacements of deep models that organise the biological knowledge. Three deep models distinguished here are a holistic ladder model that sees all levels of nature being complete (from Aristotle to the 18th century), a modernist tree model that emphasises progress and evolution (from Enlightenment to the recent times), and a web model that evaluates diversity (since the 20th century). The turn from the tree model to the web model in biology includes (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  47.  4
    Souslin Trees at Successors of Regular Cardinals.Assaf Rinot - 2019 - Mathematical Logic Quarterly 65 (2):200-204.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Around the Tree: Semantic and Metaphysical Issues Concerning Branching and the Open Future.Fabrice Correia & Andrea Iacona (eds.) - 2013 - Springer.
    Over the past few years, the tree model of time has been widely employed to deal with issues concerning the semantics of tensed discourse. The thought that has motivated its adoption is that the most plausible way to make sense of indeterminism is to conceive of future possibilities as branches that depart from a common trunk, constituted by the past and the present. However, the thought still needs to be further articulated and defended, and several important questions remain open, such (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49.  5
    Uncountable Trees and Cohen -Reals.Giorgio Laguzzi - 2019 - Journal of Symbolic Logic 84 (3):877-894.
    We investigate some versions of amoeba for tree-forcings in the generalized Cantor and Baire spaces. This answers [10, Question 3.20] and generalizes a line of research that in the standard case has been studied in [11], [13], and [7]. Moreover, we also answer questions posed in [3] by Friedman, Khomskii, and Kulikov, about the relationships between regularity properties at uncountable cardinals. We show ${\bf{\Sigma }}_1^1$-counterexamples to some regularity properties related to trees without club splitting. In particular we prove a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  10
    The Tree Property at Double Successors of Singular Cardinals of Uncountable Cofinality.Mohammad Golshani & Rahman Mohammadpour - 2018 - Annals of Pure and Applied Logic 169 (2):164-175.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 1000