- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Distality for the Asymptotic Couple of the Field of Logarithmic Transseries
Notre Dame Journal of Formal Logic 61 (2):341-361 (2020)
Abstract
We show that the theory Tlog of the asymptotic couple of the field of logarithmic transseries is distal. As distal theories are NIP, this provides a new proof that Tlog is NIP.Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Nip for the asymptotic couple of the field of logarithmic transseries.Allen Gehret - 2017 - Journal of Symbolic Logic 82 (1):35-61.
Toward a Model Theory for Transseries.Matthias Aschenbrenner, Lou van den Dries & Joris van der Hoeven - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):279-310.
Transseries and Todorov–Vernaeve’s asymptotic fields.Matthias Aschenbrenner & Isaac Goldbring - 2014 - Archive for Mathematical Logic 53 (1-2):65-87.
Witnessing Dp-Rank.Itay Kaplan & Pierre Simon - 2014 - Notre Dame Journal of Formal Logic 55 (3):419-429.
Theories with Distal Shelah Expansions.Gareth Boxall & Charlotte Kestner - 2023 - Journal of Symbolic Logic 88 (4):1323-1333.
Distal and non-distal NIP theories.Pierre Simon - 2013 - Annals of Pure and Applied Logic 164 (3):294-318.
Semi-Equational Theories.Artem Chernikov & Alex Mennen - forthcoming - Journal of Symbolic Logic:1-32.
Exact saturation in simple and NIP theories.Itay Kaplan, Saharon Shelah & Pierre Simon - 2017 - Journal of Mathematical Logic 17 (1):1750001.
The Halting Problem Is Decidable on a Set of Asymptotic Probability One.Joel David Hamkins & Alexei Miasnikov - 2006 - Notre Dame Journal of Formal Logic 47 (4):515-524.
Analytics
Added to PP
2020-04-09
Downloads
8 (#1,335,087)
6 months
1 (#1,722,083)
2020-04-09
Downloads
8 (#1,335,087)
6 months
1 (#1,722,083)
Historical graph of downloads
References found in this work
Distal and non-distal NIP theories.Pierre Simon - 2013 - Annals of Pure and Applied Logic 164 (3):294-318.
Distal and non-distal pairs.Philipp Hieronymi & Travis Nell - 2017 - Journal of Symbolic Logic 82 (1):375-383.
Dependent pairs.Ayhan Günaydin & Philipp Hieronymi - 2011 - Journal of Symbolic Logic 76 (2):377 - 390.
Nip for the asymptotic couple of the field of logarithmic transseries.Allen Gehret - 2017 - Journal of Symbolic Logic 82 (1):35-61.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-7g5mb uwo