Pages that link to "Item:Q1412832"

The following pages link to Inductively generated formal topologies. (Q1412832):

Displaying 50 items.

• Positivity relations on a locale (Q290642) (← links)
• Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
• Topological inductive definitions (Q450944) (← links)
• Locatedness and overt sublocales (Q638474) (← links)
• Independence results in formal topology (Q651321) (← links)
• Cosheaves and connectedness in formal topology (Q651322) (← links)
• Objects: a study in Kantian formal epistemology (Q691124) (← links)
• A coverage construction of the reals and the irrationals (Q866562) (← links)
• Constructive characterizations of bar subsets (Q866574) (← links)
• A constructive and functorial embedding of locally compact metric spaces into locales (Q881455) (← links)
• Exact approximations to Stone-Čech compactification (Q882119) (← links)
• The basic Zariski topology (Q887823) (← links)
• Finitary formal topologies and Stone's representation theorem (Q949607) (← links)
• The Zariski spectrum as a formal geometry (Q949619) (← links)
• Space of valuations (Q1006605) (← links)
• A topos for algebraic quantum theory (Q1048087) (← links)
• Constructive metrisability in point-free topology. (Q1427775) (← links)
• Some points in formal topology. (Q1427787) (← links)
• Embedding locales and formal topologies into positive topologies (Q1756486) (← links)
• The problem of the formalization of constructive topology (Q1765104) (← links)
• About Stone's notion of spectrum (Q1772250) (← links)
• Predicativity and constructive mathematics (Q2080590) (← links)
• Towards formal Baer criteria (Q2099403) (← links)
• Equivalents of the finitary non-deterministic inductive definitions (Q2311215) (← links)
• Cut elimination for entailment relations (Q2312091) (← links)
• A constructive notion of codimension (Q2445023) (← links)
• Vagueness, Kant and topology: a study of formal epistemology (Q2481249) (← links)
• Aspects of general topology in constructive set theory (Q2575763) (← links)
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames (Q2575764) (← links)
• On the collection of points of a formal space (Q2575767) (← links)
• Heyting-valued interpretations for constructive set theory (Q2575769) (← links)
• Programming interfaces and basic topology (Q2575770) (← links)
• Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) (Q2575772) (← links)
• Regular universes and formal spaces (Q2575774) (← links)
• Formal Zariski topology: Positivity and points (Q2575775) (← links)
• Compactness in locales and in formal topology (Q2575779) (← links)
• The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
• A Minimalist Foundation at Work (Q2909749) (← links)
• A point-free characterisation of Bishop locally compact metric spaces (Q2987776) (← links)
• On the existence of Stone-Čech compactification (Q3066786) (← links)
• Formalising Overlap Algebras in Matita (Q3094175) (← links)
• The principle of pointfree continuity (Q3121524) (← links)
• Spatiality and classical logic (Q3170564) (← links)
• Relative formal topology: the binary positivity predicate comes first (Q3225738) (← links)
• On some peculiar aspects of the constructive theory of point-free spaces (Q3583800) (← links)
• (Q4531082) (← links)
• A constructive Galois connection between closure and interior (Q4899177) (← links)
• Convergence in formal topology: a unifying notion (Q4907839) (← links)
• (Q5009707) (← links)
• Higher order functions and Brouwer’s thesis (Q5016215) (← links)