Presheaf Models for Constructive Set Theories

doi 10.1093/acprof:oso/9780198566519.003.0004
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press

Related search

Models of HoTT and the Constructive View of Theories

2019English

Local Constructive Set Theory and Inductive Definitions

Foundational Theories of Classical and Constructive Mathematics
2011English

Rerepresenting and Restructuring Domain Theories: A Constructive Induction Approach

Journal of Artificial Intelligence Research
Artificial Intelligence
1995English

String-Like Dual Models for Scalar Theories

Journal of High Energy Physics
High Energy PhysicsNuclear
2016English

Set Constraints in Some Equational Theories

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1998English

Models of Horn Theories

Contemporary Mathematics
Mathematics
1989English

The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions

Logic, Methodology and Philosophy of Science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science
1986English

Robust Bayesian Inference for Set-Identified Models

2020English

Consequences of Vopěnka’s Principle Over Weak Set Theories

Fundamenta Mathematicae
Number TheoryAlgebra
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy