Local Constructive Set Theory and Inductive Definitions

Foundational Theories of Classical and Constructive Mathematics
doi 10.1007/978-94-007-0431-2_10
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Netherlands

Related search

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

A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory

Journal of Symbolic Logic
PhilosophyLogic
2000English

Presheaf Models for Constructive Set Theories

2005English

Set-Membership Functional Diagnosability: Definitions and Analysis

2016English

Effective Entailment Checking for Separation Logic With Inductive Definitions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Constructing Inductive-Inductive Types in Cubical Type Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Restricted Set-Theoretical Definitions in Arithmetic

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1958English

A Finitary Version of the Calculus of Partial Inductive Definitions

English

Inductive Reasoning in Social Choice Theory

Journal of Logic, Language and Information
LinguisticsPhilosophyComputer ScienceLanguage
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy