Numerical Existence Property and Categories with an Internal Copy von Maschio, Samuele

Volltext

Factorizing the Top–Loc adjunction through positive topologies von Ciraulo, Francesco, Kawai, Tatsuji, Maschio, Samuele

Volltext

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice von Maietti, Maria Emilia, Maschio, Samuele, Rathjen, Michael

Volltext

Factorizing the $$\mathbf {Top}$$–$$\mathbf {Loc}$$ adjunction through positive topologies von Ciraulo, Francesco, Kawai, Tatsuji, Maschio, Samuele

Volltext

A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice von Maria Emilia Maietti, Samuele Maschio, Michael Rathjen

Volltext

On categorical structures arising from implicative algebras: From topology to assemblies von Maschio, Samuele, Trotta, Davide

Volltext

Natural Density and Probability, Constructively von Maschio, Samuele

Volltext

A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS von MAIETTI, MARIA EMILIA, MASCHIO, SAMUELE

Volltext

Solving Knights-and-Knaves with One Equation von Ciraulo, Francesco, Maschio, Samuele

Volltext

On the Compatibility Between the Minimalist Foundation and Constructive Set Theory von Maschio, Samuele, Sabelli, Pietro

Volltext

Models of intuitionistic set theory in subtoposes of nested realizability toposes von Maschio, Samuele, Streicher, Thomas

Volltext

Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice von Ishihara, Hajime, Maietti, Maria Emilia, Maschio, Samuele, Streicher, Thomas

Volltext

Implicative models of intuitionistic set theory von Maschio, Samuele

Volltext bestellen

On posetal and complete partial applicative structures von Maschio, Samuele

Volltext bestellen

Implicative models of set theory von Maschio, Samuele, Miquel, Alexandre

Volltext

On categorical structures arising from implicative algebras: from topology to assemblies von Maschio, Samuele, Trotta, Davide

Volltext

Remarks on abstract structures of propositions and realizers von Maschio, Samuele

Volltext bestellen

Implicative models of intuitionistic set theory von Maschio, Samuele

Volltext

On posetal and complete partial applicative structures von Maschio, Samuele

Volltext

Extending the extensional level of the Minimalist Foundation to axiomatic set theories von Maschio, Samuele, Sabelli, Pietro

Volltext bestellen