Pages that link to "Item:Q4304116"

The following pages link to Hilbert's ϵ‐operator in intuitionistic type theories (Q4304116):

Displaying 9 items.

• The epsilon-reconstruction of theories and scientific structuralism (Q334861) (← links)
• A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms (Q528519) (← links)
• The epsilon calculus and Herbrand complexity (Q817706) (← links)
• Hilbert's logic. From axiomatics to proof theory (Q1267397) (← links)
• Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
• A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus (Q1715476) (← links)
• Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
• Dialectica principles via Gödel doctrines (Q2682930) (← links)