formalizes

26 triples
GPTKB property

Random triples
Subject Object
gptkb:arithmetical_comprehension_axiom comprehension schema for arithmetical formulas
gptkb:Subsystems_of_Second_Order_Arithmetic gptkb:second_order_arithmetic
gptkb:Peano_arithmetic addition
gptkb:second-order_arithmetic analysis
gptkb:System_F_c second-order lambda calculus with subtyping
gptkb:Dynamic_logic actions and their effects
gptkb:Landau's_Grundlagen_der_Analysis_formalization natural numbers
gptkb:Public_announcement_logic effects of public communication on knowledge
gptkb:second-order_arithmetic set theory for countable sets
gptkb:Turing_machine_(with_unbounded_size) notion of computation
gptkb:Von_Neumann–Bernays–Gödel_Set_Theory set-class distinction
gptkb:Epistemic_Logic Statements about knowledge
gptkb:Alethic_Logic alethic modalities
gptkb:PAC_learning Feasibility of learning
gptkb:System_F gptkb:second-order_logic
gptkb:generalized_quantifier_theory quantifier meanings
gptkb:Landau's_Grundlagen_der_Analysis_formalization basic arithmetic
gptkb:System_F_c bounded quantification
gptkb:Peano_arithmetic multiplication
gptkb:axiom_schema_of_separation subset formation based on properties