Topology

The study of anatomy based on regions or divisions of the body and emphasizing the relations between various structures (muscles and nerves and arteries etc.) in region.

[1]  L. Paul.  Coincidence as Overlap , 2006 .

[2]  Markus Van Atten,et al.  Brouwer meets Husserl , 2006 .

[3]  D. Braddon-Mitchell,et al.  The physics of extended simples , 2006 .

[4]  Allen P. Hazen,et al.  Relevant Restricted Quantification , 2006, J. Philos. Log..

[5]  Lloyd Humberstone,et al.  Variations on a Theme of Curry , 2006, Notre Dame J. Formal Log..

[6]  H. Hudson.  The Metaphysics of Hyperspace , 2006 .

[7]  Jordi Valor Abad.  The inclosure scheme and the solution to the paradoxes of self-reference , 2006, Synthese.

[8]  S. Shapiro.  Vagueness in Context , 2006 .

[9]  Petr Cintula,et al.  Fuzzy class theory , 2005, Fuzzy Sets Syst..

[10]  Florian Deloup,et al.  The Fundamental Group of the Circle Is Trivial , 2005, Am. Math. Mon..

[11]  Thierry Libert.  Models for a paraconsistent set theory , 2005, J. Appl. Log..

[12]  Graham Priest,et al.  Towards Non-Being , 2005 .

[13]  F. Kroon.  Realism and Dialetheism , 2004 .

[14]  Bruno Whittle.  Dialetheism, logical consequence and hierarchy , 2004 .

[15]  Michael Potter,et al.  Set theory and its philosophy , 2004 .

[16]  A. Weir.  There are no true contradictions , 2004 .

[17]  Roland Hinnion,et al.  Positive abstraction and extensionality , 2003, Journal of Symbolic Logic.

[18]  Noson S. Yanofsky,et al.  A universal approach to self-referential paradoxes, incompleteness and fixed points , 2003, Bull. Symb. Log..

[19]  S. Shapiro.  Incompleteness and Inconsistency , 2002 .

[20]  公庄 庸三.  Basic Algebra = 代数学入門 , 2002 .

[21]  Mark Colyvan,et al.  Heaps of Gluts and Hyde‐ing the Sorites , 2001 .

[22]  Graham Priest,et al.  Inconsistent models of arithmetic Part II: the general case , 2000, Journal of Symbolic Logic.

[23]  Daniel Ruberman,et al.  Mod 2 Seiberg-Witten invariants of homology tori , 2000, math/0003092.

[24]  Daniel Ruberman.  EMBEDDING TANGLES IN LINKS , 2000, math/0001141.

[25]  Ronald Regan,et al.  Basic Set Theory , 2000 .

[26]  N.A.F Smith.  The principle of uniform solution (of the paradoxes of self-reference) , 2000 .

[27]  Prom Full Blooded Platonism to Really Full Blooded Platonism , 1999 .

[28]  A. Mondino.  to Riemannian manifolds , 1999 .

[29]  A Weir.  Naïve set theory is innocent , 1998 .

[30]  G. Matthews.  Beyond the Limits of Thought , 1998 .

[31]  Robert Goldblatt,et al.  Lectures on the hyperreals , 1998 .

[32]  P. Cameron.  Naïve set theory , 1998 .

[33]  Dirk van Dalen,et al.  How connected is the intuitionistic continuum? , 1997, Journal of Symbolic Logic.

[34]  Dominic Hyde,et al.  From heaps and gaps to heaps of gluts , 1997 .

[35]  Daniel Ruberman.  Mutation and gauge theory I: Yang-Mills invariants , 1997, dg-ga/9710034.

[36]  Achille C. Varzi.  Boundaries, Continuity, and Contact , 1997 .

[37]  U. Meixner.  The Law of Non-Contradiction , 1997 .

[38]  Daniel Ruberman.  Configurations of 2-spheres in the K3 surface and other 4-manifolds , 1996, Mathematical Proceedings of the Cambridge Philosophical Society.

[39]  Norman M. Martin,et al.  Closure Spaces and Logic , 1996 .

[40]  Daniel Ruberman.  Relations among Donaldson invariants arising from negative $2$-spheres and tori , 1996 .

[41]  Dean R. Zimmerman.  Could Extended Objects be Made Out of Simple Parts , 1996 .

[42]  P. Hájek,et al.  Kurt Gödel and the Consistency of R , 1996 .

[43]  Kees Doets.  Proper Classes , 1996 .

[44]  Daniel Ruberman.  Involutions on spin 4-manifolds , 1995 .

[45]  Daniel Ruberman,et al.  A sextic surface cannot have 66 nodes , 1995, alg-geom/9502001.

[46]  E. Klassen,et al.  Splitting the spectral flow and the Alexander matrix , 1994 .

[47]  Jean-Yves Girard,et al.  Light Linear Logic , 1998, Inf. Comput..

[48]  Daniel Ruberman.  Smooth 2-spheres in homology K3 surfaces , 1994 .

[49]  Graham Priest,et al.  Is arithmetic consistent , 1994 .

[50]  J. Morgan,et al.  The L[2]-moduli space and a vanishing theorem for Donaldson polynomial invariants , 1994 .

[51]  Terence Horgan,et al.  ROBUST VAGUENESS AND THE FORCED-MARCH SORITES PARADOX , 1994 .

[52]  Gerard Allwein,et al.  Kripke models for linear logic , 1993, Journal of Symbolic Logic.

[53]  Richard Sylvan,et al.  Ubiquitous Vagueness without Embarrassment , 1993 .

[54]  N. Belnap,et al.  The Revision Theory of Truth , 1993 .

[55]  Robert K. Meyer,et al.  Whither Relevant Arithmetic? , 1992, J. Symb. Log..

[56]  Richard Sylvan.  On Interpreting Thruth Tables and Relevant Truth Table Logic , 1992, Notre Dame J. Formal Log..

[57]  Daniel Ruberman.  SEIFERT SURFACES OF KNOTS IN S4 , 1990 .

[58]  Wayne D. Blizard,et al.  Multiset Theory , 1989, Notre Dame J. Formal Log..

[59]  S. Cappell,et al.  Imbeddings and homology cobordisms of lens spaces , 1988 .

[60]  Daniel Ruberman.  The Casson-Gordon invariants in high-dimensional knot theory , 1988 .

[61]  Chris Mortensen.  Inconsistent number systems , 1988, Notre Dame J. Formal Log..

[62]  Daniel Ruberman.  Rational homology cobordisms of rational space forms , 1988 .

[63]  J. Michael Dunn.  The Impossibility of Certain Higher-Order Non-Classical Logics with Extensionality , 1988 .

[64]  U. Meixner,et al.  Philosophical analysis. , 1988, NLN publications.

[65]  Daniel Ruberman.  Mutation and volumes of knots inS3 , 1987 .

[66]  James van Aken.  Axioms for the Set-Theoretic Hierarchy , 1986, J. Symb. Log..

[67]  Robert K. Meyer,et al.  Conservative Extension in Relevant Arithmetic , 1986, Math. Log. Q..

[68]  Hiroakira Ono,et al.  Logics without the contraction rule , 1985, Journal of Symbolic Logic.

[69]  Robert K. Meyer,et al.  A Farewell to Entailment , 1985 .

[70]  Bowman L. Clarke,et al.  Individuals and points , 1985, Notre Dame J. Formal Log..

[71]  Richard Routley,et al.  Negation and contradiction , 1985 .

[72]  Daniel Ruberman.  INVARIANT KNOTS OF FREE INVOLUTIONS OF S4 , 1984 .

[73]  Robert K. Meyer,et al.  Inconsistent Models for Relevant Arithmetics , 1984, J. Symb. Log..

[74]  Daniel Ruberman.  Imbedding punctured lens spaces and connected sums , 1984 .

[75]  Solomon Feferman,et al.  Toward useful type-free theories. I , 1984, Journal of Symbolic Logic.

[76]  Roderick M. Chisholm,et al.  BOUNDARIES AS DEPENDENT PARTICULARS , 1983 .

[77]  Daniel Ruberman.  DOUBLY SLICE KNOTS AND THE CASSON-GORDON INVARIANTS , 1983 .

[78]  A. Gardiner.  Numbers and Geometry , 1982 .

[79]  Gregory H. Moore.  Zermelo’s Axiom of Choice , 1982 .

[80]  A. Garrett.  SPINOZA: , 1981, Métoikos. Spinoza trágico.

[81]  Peter Unger,et al.  The Problem of the Many , 1980 .

[82]  J. Dunn,et al.  Curry's paradox , 1979 .

[83]  K. Devlin.  Fundamentals of contemporary set theory , 1979 .

[84]  François George,et al.  On Contradiction , 1978, Telos.

[85]  Robert K. Meyer,et al.  Extensional Reduction—I , 1977 .

[86]  Saul A. Kripke,et al.  Outline of a Theory of Truth , 1975 .

[87]  Florencio G. Asenjo,et al.  Logic of antinomies , 1975, Notre Dame J. Formal Log..

[88]  Newton C. A. da Costa,et al.  On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..

[89]  Paul C. Gilmore,et al.  The Consistency of Partial Set Theory without Extensionality , 1974 .

[90]  G. Cantor.  Theory in Science , 1971, Nature.

[91]  Ross T. Brady.  The consistency of the axioms of abstraction and extensionality in a three-valued logic , 1971, Notre Dame J. Formal Log..

[92]  J. Krivine,et al.  Introduction to Axiomatic Set Theory , 1971 .

[93]  Lynn Arthur Steen,et al.  Counterexamples in Topology , 1970 .

[94]  Florencio G. Asenjo,et al.  A calculus of antinomies , 1966, Notre Dame J. Formal Log..

[95]  C. Chang,et al.  The Axiom of Comprehension in Infinite Valued Logic. , 1963 .

[96]  Thoralf Skolem.  Studies on the axiom of comprehension , 1963, Notre Dame J. Formal Log..

[97]  John Myhill,et al.  Some Remarks on the Notion of Proof , 1960 .

[98]  T. Graf,et al.  Induced pluripotent stem cell–derived human platelets: one step closer to the clinic , 2010, The Journal of experimental medicine.

[99]  G. SILYN ROBERTS,et al.  Achilles and the Tortoise , 1944, Nature.

[100]  C. I. Lewis,et al.  The Semantic Conception of Truth and the Foundations of Semantics , 1944 .

[101]  H. B. Curry.  The inconsistency of certain formal logics , 1942, Journal of Symbolic Logic.

[102]  Wallace Alvin Wilson,et al.  On Semi-Metric Spaces , 1931 .

[103]  B. Russell.  On Some Difficulties in the Theory of Transfinite Numbers and Order Types , 1907 .

[104]  Jessica M. Wilson.  Ordinary objects , 2022, Metaphysical Emergence.