scientific article

From MaRDI portal
Revision as of 12:06, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3762311

zbMath0624.03044MaRDI QIDQ3762311

Peter Aczel

Publication date: 1986


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (51)

Inaccessible set axioms may have little consistency strengthTHE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)Explicit mathematics with the monotone fixed point principle. II: ModelsThe strength of some Martin-Löf type theoriesInductive and Coinductive Topological Generation with Church's thesis and the Axiom of ChoiceBinary refinement implies discrete exponentiationTHE JACOBSON RADICAL OF A PROPOSITIONAL THEORYABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONSOn Tarski’s fixed point theoremIntuitionistic Ancestral Logic as a Dependently Typed Abstract Programming LanguageUnifying sets and programs via dependent typesTopological forcing semantics with settlingEXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORYUnnamed ItemA predicative completion of a uniform spaceThe uniform boundedness theorem and a boundedness principleGame semantics of Martin-Löf type theoryCompact spaces and distributive lattices.Unnamed ItemDerived rules for predicative set theory: an application of sheavesFrom the weak to the strong existence propertyConstructive toposes with countable sums as models of constructive set theoryTopological inductive definitionsGeneralizing realizability and Heyting models for constructive set theoryOn Feferman's operational set theory \textsf{OST}On Relating Theories: Proof-Theoretical ReductionThe Zariski spectrum as a formal geometryType-theoretic interpretation of iterated, strictly positive inductive definitionsConsistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choiceIndependence results around constructive ZFConstructive completions of ordered sets, groups and fieldsComputer theorem proving in mathematicsCZF and second order arithmeticQuotient topologies in constructive set theory and type theoryCharacterizing the interpretation of set theory in Martin-Löf type theoryType theories, toposes and constructive set theory: Predicative aspects of ASTProof Theory of Constructive Systems: Inductive Types and UnivalenceFull operational set theory with unbounded existential quantification and power setW-types in setoidsFunctional interpretation of Aczel's constructive set theoryPredicativity and constructive mathematicsReplacement versus collection and related topics in constructive Zermelo-Fraenkel set theoryPredicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\)Inaccessibility in constructive set theory and type theoryConstructive strong regularity and the extension property of a compactificationConstructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of ConstructionsAspects of general topology in constructive set theoryHeyting-valued interpretations for constructive set theoryMaximal and partial points in formal spacesRegular universes and formal spacesSyntax for Semantics: Krull’s Maximal Ideal Theorem




This page was built for publication: