Book contents
- Frontmatter
- Preface
- Opening speech of Petr Vopěnka
- Bolzano Medal awarded to Gaisi Takeuti
- Contents
- Collapsing Polynomial-Time Degrees
- Qualitative and Probabilistic Models of Full Belief
- Relative Splittings of in the-Enumeration Degrees
- A Realizability Interpretation for Classical Arithmetic
- An Axiomatization of Quantified Propositional Gödel Logic Using the Takeuti-Titani Rule
- Another Pathological Well-Ordering
- How Small Can the Set of Generics Be?
- Entailment Relations and Distributive Lattices
- The Friedberg Jump Inversion Theorem Revisited: A Study of Undefinable Cuts
- Hartley Rogers’ 1965 Agenda
- Liftings of Homomorphisms Between Quotient Structures and Ulam Stability
- Mathematical Fuzzy Logic – State of Art
- Reflections on the Last Delfino Problem
- Continuous Images of Coanalytic Sets
- Classification of Subsheaves over GL-Algebras
- On the Bit-Comprehension Rule
- Cardinal Invariants Associated with Predictors
- A Theorem on Countable Ordered Sets with an Application to Universal Graphs
- Dimension Theory and Smooth Stratification of Rigid Subanalytic Sets
- The Ramsey Structure of A-Determined Sets in a Saturated Universe
- On Definability of Admissible Sets
- Additive Theories
- Adding Multiplication to an O-minimal Expansion of the Additive Group of Real Numbers
- The Superjump in Martin-Löf Type Theory
- “Just Because”: Taking Belief Bases Seriously
- Artin Approximation via the Model Theory of Cohen-Macaulay Rings
- Ordinal Systems, Part 2: One Inaccessible
- Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion
- Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals
- The Complexity of Linear Logic with Weakening
- Some Remarks on the Maximality of Inner Models
- Author Index
- References
Dimension Theory and Smooth Stratification of Rigid Subanalytic Sets
Published online by Cambridge University Press: 31 March 2017
Book contents
- Frontmatter
- Preface
- Opening speech of Petr Vopěnka
- Bolzano Medal awarded to Gaisi Takeuti
- Contents
- Collapsing Polynomial-Time Degrees
- Qualitative and Probabilistic Models of Full Belief
- Relative Splittings of in the-Enumeration Degrees
- A Realizability Interpretation for Classical Arithmetic
- An Axiomatization of Quantified Propositional Gödel Logic Using the Takeuti-Titani Rule
- Another Pathological Well-Ordering
- How Small Can the Set of Generics Be?
- Entailment Relations and Distributive Lattices
- The Friedberg Jump Inversion Theorem Revisited: A Study of Undefinable Cuts
- Hartley Rogers’ 1965 Agenda
- Liftings of Homomorphisms Between Quotient Structures and Ulam Stability
- Mathematical Fuzzy Logic – State of Art
- Reflections on the Last Delfino Problem
- Continuous Images of Coanalytic Sets
- Classification of Subsheaves over GL-Algebras
- On the Bit-Comprehension Rule
- Cardinal Invariants Associated with Predictors
- A Theorem on Countable Ordered Sets with an Application to Universal Graphs
- Dimension Theory and Smooth Stratification of Rigid Subanalytic Sets
- The Ramsey Structure of A-Determined Sets in a Saturated Universe
- On Definability of Admissible Sets
- Additive Theories
- Adding Multiplication to an O-minimal Expansion of the Additive Group of Real Numbers
- The Superjump in Martin-Löf Type Theory
- “Just Because”: Taking Belief Bases Seriously
- Artin Approximation via the Model Theory of Cohen-Macaulay Rings
- Ordinal Systems, Part 2: One Inaccessible
- Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion
- Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals
- The Complexity of Linear Logic with Weakening
- Some Remarks on the Maximality of Inner Models
- Author Index
- References
- Type
- Chapter
- Information
- Logic Colloquium '98 , pp. 302 - 315Publisher: Cambridge University PressPrint publication year: 2000
References
1. |:x Semianalytic and subanalytic sets. Publ. Math. Inst. HautesÉ tudes Sci. 67 (1988) 5–42
2. , ,: Non-Archimedean Analysis. Springer-Verlag, Berlin New York (1984.
4. Projections of semi-analytic sets. Funktsional. Anal. Prilozhen 2 (1968) 18-30 (English Translation: Functional Anal. Appl. 2 (1968) 282–291Google Scholar
5. : Local flattening in rigid analytic geometry. Preprint
6. , : Flattening and subanalytic sets in rigid analytic geometry. Preprint
7. : Theorie der höheren Differentiale in einem algebraischen Funktionenk örper mit volkommenemKonstantenkörper bei beliebiger Charakteristik. J.reine agnew. Math 175 (1936), 50–54Google Scholar
8. :Noch eine Begründung der Theorie der höheren Differentialquotienten in einem algebraischen Funktionenkörper einer Unbestimmten. J.reine agnew. Math. 177 (1937) 215–237Google Scholar
9. :Subanalytic Sets, in Number Theory, Algebraic Geometry and Commutative Algebra, in honor of . Konokuniya, Tokyo (1973) 453–493
10. : Isolated points on fibers of affinoid varieties. J.reine angew. Math. 384 (1988) 208–220Google Scholar
13. , : Rigid subanalytic subsets of the line and the plane. Amer. J.Math. 118 (1996) 493–527
14. ,:Rigid subanalytic subsets of curves and surfaces. To appear in J.London Math. Soc.
15. ,: One-dimensional fibers of rigid subanalytic sets. J.Symbolic Logic 63 (1998) 83–88Google Scholar
16. : Rings of separated power series (to appear in Asterisque)
17. : Ensembles semi-analytiques. Inst. Hautes É tudes Sci., Lecture notes, 1965
19. :Commutative Ring Theory. Cambridge University Press, Cambridge New York (1989.
21. : Flatness and smooth points of p-adic subanalytic sets. Ann. Pure Appl. Logic 88 (1997) 217–225Google Scholar
22. : A rigid analytic approximation theorem. (to appear in Asterisque)
23. : Rigid subanalytic sets. Comp. Math. 94 (1994) 269–295
26. : Embedded resolution of singularities in rigid analytic geometry. Preprint
28. : Rigid analytic flatificators. Preprint
29. : Lie Algebras and Lie Groups. 1964 Lectures given at Harvard University, Math Lecture Notes. W.A. Benjamin, Inc., New York (1965.
- 1
- Cited by