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
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
