scientific article
From MaRDI portal
Publication:3762311
zbMath0624.03044MaRDI QIDQ3762311
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
choiceinductive definitionsregular modelsregular setinductively defined classesregular extension axiomtype theoretic interpretation of constructive set theory
Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Axiom of choice and related propositions (03E25) Other notions of set-theoretic definability (03E47)
Related Items (51)
Inaccessible set axioms may have little consistency strength ⋮ THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) ⋮ Explicit mathematics with the monotone fixed point principle. II: Models ⋮ The strength of some Martin-Löf type theories ⋮ Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice ⋮ Binary refinement implies discrete exponentiation ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS ⋮ On Tarski’s fixed point theorem ⋮ Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language ⋮ Unifying sets and programs via dependent types ⋮ Topological forcing semantics with settling ⋮ EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY ⋮ Unnamed Item ⋮ A predicative completion of a uniform space ⋮ The uniform boundedness theorem and a boundedness principle ⋮ Game semantics of Martin-Löf type theory ⋮ Compact spaces and distributive lattices. ⋮ Unnamed Item ⋮ Derived rules for predicative set theory: an application of sheaves ⋮ From the weak to the strong existence property ⋮ Constructive toposes with countable sums as models of constructive set theory ⋮ Topological inductive definitions ⋮ Generalizing realizability and Heyting models for constructive set theory ⋮ On Feferman's operational set theory \textsf{OST} ⋮ On Relating Theories: Proof-Theoretical Reduction ⋮ The Zariski spectrum as a formal geometry ⋮ Type-theoretic interpretation of iterated, strictly positive inductive definitions ⋮ Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice ⋮ Independence results around constructive ZF ⋮ Constructive completions of ordered sets, groups and fields ⋮ Computer theorem proving in mathematics ⋮ CZF and second order arithmetic ⋮ Quotient topologies in constructive set theory and type theory ⋮ Characterizing the interpretation of set theory in Martin-Löf type theory ⋮ Type theories, toposes and constructive set theory: Predicative aspects of AST ⋮ Proof Theory of Constructive Systems: Inductive Types and Univalence ⋮ Full operational set theory with unbounded existential quantification and power set ⋮ W-types in setoids ⋮ Functional interpretation of Aczel's constructive set theory ⋮ Predicativity and constructive mathematics ⋮ Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory ⋮ Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) ⋮ Inaccessibility in constructive set theory and type theory ⋮ Constructive strong regularity and the extension property of a compactification ⋮ Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions ⋮ Aspects of general topology in constructive set theory ⋮ Heyting-valued interpretations for constructive set theory ⋮ Maximal and partial points in formal spaces ⋮ Regular universes and formal spaces ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem
This page was built for publication: