Relating First-Order Set Theories and Elementary Toposes

Bulletin of Symbolic Logic - United Kingdom
doi 10.2178/bsl/1186666150
Full Text
Abstract

Available in full text

Categories
PhilosophyLogic
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

On Complexity of Complete First-Order Theories

Mathematical Logic Quarterly
Logic
1982English

Non-Computable Models of Certain First Order Theories

2017English

Uniform Estimates of Elementary Solutions of First Order Systems of Partial Differential Equations

Publications of the Research Institute for Mathematical Sciences
Mathematics
1970English

Set Constraints in Some Equational Theories

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

Presheaf Models for Constructive Set Theories

2005English

Theories as Recipes: Third-Order Virtue and Vice

Philosophical Studies
Philosophy
2019English

Remarks on the Elementary Theories of Formal and Convergent Power Series

Fundamenta Mathematicae
Number TheoryAlgebra
1980English

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

Fundamenta Mathematicae
Number TheoryAlgebra
2016English

Interventions and Theories to Promote Physical Activity in Elementary School Children

The Japanese Journal of Health Psychology
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy