Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thomas Streicher
Relating First-Order Set Theories and Elementary Toposes
Bulletin of Symbolic Logic
Philosophy
Logic
Domain-Theoretic Foundations of Functional Programming
Related publications
On Complexity of Complete First-Order Theories
Mathematical Logic Quarterly
Logic
Non-Computable Models of Certain First Order Theories
Uniform Estimates of Elementary Solutions of First Order Systems of Partial Differential Equations
Publications of the Research Institute for Mathematical Sciences
Mathematics
Set Constraints in Some Equational Theories
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Presheaf Models for Constructive Set Theories
Theories as Recipes: Third-Order Virtue and Vice
Philosophical Studies
Philosophy
Remarks on the Elementary Theories of Formal and Convergent Power Series
Fundamenta Mathematicae
Number Theory
Algebra
Consequences of Vopěnka’s Principle Over Weak Set Theories
Fundamenta Mathematicae
Number Theory
Algebra
Interventions and Theories to Promote Physical Activity in Elementary School Children
The Japanese Journal of Health Psychology
