Axiomization of passage from “local” structure to “global” object
type: Item
instance of: scholarly article
title: Axiomization of passage from “local” structure to “global” object
zbMATH Open document ID: 0812.18008
author: Paul Feit
publication date: 1993-05-16T00:00:00Z
Mathematics Subject Classification ID: 18F10
Mathematics Subject Classification ID: 18F15
Mathematics Subject Classification ID: 14A20
Mathematics Subject Classification ID: 18-02
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 32K05
zbMATH DE Number: 165833
zbMATH Keywords: \(C^ \infty\)-manifolds
zbMATH Keywords: cut-and-paste specification
zbMATH Keywords: plus-construction
zbMATH Keywords: Banach analytic spaces
zbMATH Keywords: schemes
zbMATH Keywords: algebraic spaces
zbMATH Keywords: local structure
zbMATH Keywords: formal subsets
zbMATH Keywords: pullback-stable
zbMATH Keywords: canopies
zbMATH Keywords: Grothendieck topology
zbMATH Keywords: continuous functor
zbMATH Keywords: global structure
zbMATH Keywords: rigid analytic spaces
zbMATH Keywords: espaces analytique banachique
zbMATH Keywords: universal constructions
MaRDI profile type: Publication
OpenAlex ID: W2046080944
DOI: 10.1090/MEMO/0485
Recommended article: Localizing the axioms
Recommended article: Locality Transfer: From Constrained Axiomatizations to Reachability Predicates
Recommended article: From global to local state, coalgebraically and compositionally
Recommended article: Elementary axioms for local maps of toposes
Recommended article: Q5039606
Recommended article: Axiomatization of local-global principles for pp-formulas in spaces of orderings
Recommended article: Local Reasoning for Global Invariants, Part II
Recommended article: Obtaining Finite Local Theory Axiomatizations via Saturation
Recommended article: From types to sets by local type definition in higher-order logic
published in: Memoirs of the American Mathematical Society
description: scientific article