scientific article; zbMATH DE number 7438165

zbMath1486.03125arXiv1603.00978MaRDI QIDQ5013820

Edward Hermann Haeusler

Publication date: 2 December 2021

Full work available at URL: https://arxiv.org/abs/1603.00978

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

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Turing machines and related notions (03D10) Axiom of choice and related propositions (03E25)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topoi. The categorial analysis of logic
• Model theory and topoi. A collection of lectures by various authors
• Automorphisms of \(\Omega\)
• Orbits and monoids in a topos
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• A Natural Axiomatization of Computability and Proof of Church's Thesis
• Infinite time Turing machines
• Church Without Dogma: Axioms for Computability

This page was built for publication: