Propositions as [Types] von Awodey, Steven, Bauer, Andrej

Volltext

Structuralism, Invariance, and Univalence von Awodey, S.

Volltext

Carnap's Dream: Gödel, Wittgenstein, and "Logical Syntax" von Awodey, S., Carus, A. W.

Volltext

Lawvere–Tierney sheaves in Algebraic Set Theory von Awodey, S., Gambino, N., Lumsdaine, P. L., Warren, M. A.

Volltext

Sheaf representation for topoi von Awodey, S.

Volltext

ALGEBRAIC MODELS OF INTUITIONISTIC THEORIES OF SETS AND CLASSES von Awodey, S, ssell, H

Volltext

Carnap, Completeness, and Categoricity: The "Gabelbarkeitssatz" of 1928 von Awodey, S., Carus, A. W.

Volltext

Topological completeness for higher-order logic von Awodey, S., Butz, C.

Volltext

Inductive Types in Homotopy Type Theory von Awodey, S., Gambino, N., Sojakova, K.

Volltext

Structure in Mathematics and Logic: A Categorical Perspective von Awodey, S

Volltext

Kripke-Joyal forcing for type theory and uniform fibrations von Awodey, S, Gambino, N, Hazratpour, S

Volltext bestellen

Relating First-Order Set Theories and Elementary Toposes von Awodey, Steve, Butz, Carsten, Simpson, Alex, Streicher, Thomas

Volltext

Kripke-Joyal forcing for type theory and uniform fibrations von Awodey, S, Gambino, N, Hazratpour, S

Volltext

Elementary axioms for local maps of toposes von Awodey, Steven, Birkedal, Lars

Volltext

Homotopy-initial algebras in type theory von Awodey, S, Gambino, N, Sojakova, K

Volltext bestellen

Modal operators and the formal dual of Birkhoff's completeness theorem von AWODEY, STEVE, HUGHES, JESSE

Volltext

Introduction – from type theory and homotopy theory to univalent foundations von Awodey, S, Gambino, N, Palmgren, E

Volltext bestellen

Lawvere–Tierney sheaves in Algebraic Set Theory von Awodey, S, Gambino, N, Lumsdaine, PL, Warren, MA

Volltext bestellen

Ultrasheaves von Eliasson, Jonas

Volltext bestellen

Uppsala Dissertations in Mathematics von Eliasson Jonas 1971- , Uppsala universitet, Matematiska institutionen

Volltext bestellen