- 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
Topological differential fields and dimension functions
Journal of Symbolic Logic 77 (4):1147-1164 (2012)
Abstract
We construct a fibered dimension function in some topological differential fieldsLinks
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
Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields.Nicolas Guzy & Cédric Rivière - 2006 - Notre Dame Journal of Formal Logic 47 (3):331-341.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
Noetherian varieties in definably complete structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
Differential forms in the model theory of differential fields.David Pierce - 2003 - Journal of Symbolic Logic 68 (3):923-945.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
Notes on the stability of separably closed fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
The model theory of differential fields with finitely many commuting derivations.Tracey McGrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
The modal logic of continuous functions on the rational numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.
Stabilité polynômiale Des corps différentiels.Natacha Portier - 1999 - Journal of Symbolic Logic 64 (2):803-816.
Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
Analytics
Added to PP
2012-11-03
Downloads
38 (#417,066)
6 months
5 (#625,697)
2012-11-03
Downloads
38 (#417,066)
6 months
5 (#625,697)
Historical graph of downloads
Citations of this work
Definability of types and VC density in differential topological fields.Françoise Point - 2018 - Archive for Mathematical Logic 57 (7-8):809-828.
Topological fields with a generic derivation.Pablo Cubides Kovacsics & Françoise Point - 2023 - Annals of Pure and Applied Logic 174 (3):103211.
References found in this work
Characterizing Rosy Theories.Clifton Ealy & Alf Onshuus - 2007 - Journal of Symbolic Logic 72 (3):919 - 940.
Dimension of definable sets, algebraic boundedness and Henselian fields.Lou Van den Dries - 1989 - Annals of Pure and Applied Logic 45 (2):189-209.
First order topological structures and theories.Anand Pillay - 1987 - Journal of Symbolic Logic 52 (3):763-778.
Topological differential fields.Nicolas Guzy & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (4):570-598.
A model complete theory of valued d-fields.Thomas Scanlon - 2000 - Journal of Symbolic Logic 65 (4):1758-1784.
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-55b469568f-qf88s uwo