STRICT PREDICATIVITY1 Charles Parsons The most basic notion of impredicativity applies to specifications or definitions of sets or classes. If a set b is specified as {x: A(x)} for some predicate A, then the specificatio

Source URL: logic.harvard.edu

polymorphism and impredicativity logical verification week

Source URL: www.cs.ru.nl

Habilitationsschrift Normalization by Evaluation Dependent Types and Impredicativity Andreas Abel

Source URL: www2.tcs.ifi.lmu.de

Habilitationsschrift Normalization by Evaluation Dependent Types and Impredicativity Andreas Abel

Source URL: www.cse.chalmers.se

A type-theoretic framework for formal reasoning with different logical foundations Zhaohui Luo? Dept of Computer Science, Royal Holloway, Univ of London Egham, Surrey TW20 0EX, U.K. [removed]

Source URL: www.cs.rhul.ac.uk

• Type theory
• Dependently typed programming
• Metalogic
• Logic in computer science
• Mathematical constructivism
• Intuitionistic type theory
• Logical framework
• Constructivism
• Impredicativity
• Logic
• Mathematics
• Mathematical logic

Shore’s computational reverse mathematics Benedict Eastaugh University of Bristol Philosophy and Computation workshop Lunds universitet

Source URL: extralogical.net

• Proof theory
• Model theory
• Philosophy of mathematics
• Computability theory
• Reverse mathematics
• Second-order arithmetic
• First-order logic
• Impredicativity
• Axiom
• Logic
• Mathematics
• Mathematical logic

A Realizability Model for Impredicative Hoare Type Theory Rasmus Lerchedahl Petersen1 , Lars Birkedal1 , Aleksandar Nanevski2 , and Greg Morrisett2 1

Source URL: ynot.cs.harvard.edu

• Continuous function
• Valuation
• Impredicativity
• Orbifold
• Denotational semantics
• Mathematics
• Logic in computer science
• Calculus

An extended predicative definition of the Mahlo universe Reinhard Kahle

Source URL: www.cs.swan.ac.uk

• Ordinal numbers
• Proof theory
• Ordinal analysis
• Constructible universe
• Impredicativity
• Function
• Model theory
• Zermelo–Fraenkel set theory
• Kripke–Platek set theory
• Mathematics
• Mathematical logic
• Logic

being abandoned. Let us analyse some of these events and issues in greater detail.

Source URL: personal.us.es

• Mathematical logic
• Logicism
• Foundations of mathematics
• Intuitionism
• Set theory
• Impredicativity
• Constructivism
• Axiomatic system
• Axiom of choice
• Mathematics
• Logic
• Philosophy of mathematics

PDF Document

Source URL: publish.uwo.ca

• Mathematical logic
• Bertrand Russell
• Functions and mappings
• Type theory
• Axiom of reducibility
• Principia Mathematica
• Function
• Propositional function
• Impredicativity
• Mathematics
• Logic
• Philosophy