MATH
Login Or Sign up

List Question

15
135
Views

For which subsystems T of 2nd order arithmetic is there a model of T + $\neg$Con(T)?

Published on
#logic #peano-axioms #higher-order-logic
1.2k
Views

Why aren't valid higher order logic sentences recursively enumerable in full semantics?

Published on
#logic #set-theory #higher-order-logic
223
Views

Are proofs for many-sorted first order logic shorter than single sorted first order logic?

Published on
#logic #proof-theory #higher-order-logic
307
Views

Is there a syntax for type quantification in higher order logic?

Published on
#logic #quantifiers #type-theory #higher-order-logic
1.3k
Views

What does a prime (apostrophe) mean before a predicate?

Published on
#logic #notation #higher-order-logic
111
Views

What strongly normalizing lambda calculi exist that can be integrated with/as logic?

Published on
#logic #lambda-calculus #type-theory #higher-order-logic
87
Views

How do we express higher arity predicates and functions in terms of membership?

Published on
#elementary-set-theory #logic #higher-order-logic
633
Views

Do I really need lambda abstraction for type theory?

Published on
#logic #lambda-calculus #type-theory #higher-order-logic
404
Views

How high up do kinds go in type theory?

Published on
#lambda-calculus #type-theory #higher-order-logic
359
Views

Is there any formula of monadic second-order logic that is only satisfied by an infinite set?

Published on
#logic #higher-order-logic
273
Views

Are categorical second-order axiomatizations of set theory inconsistent due to the axiom of replacement

Published on
#set-theory #higher-order-logic
224
Views

Is there a 'largest' second-order categorical axiomatization of set theory, extended from ZFC2

Published on
#set-theory #model-theory #higher-order-logic
208
Views

Axiomatizability in monadic second-order logic

Published on
#model-theory #first-order-logic #axioms #higher-order-logic
187
Views

Sound deductive systems with biggest set of provable sentences in second-order logic?

Published on
#logic #higher-order-logic
3k
Views

How to show incompleteness of second order logic?

Published on
#logic #incompleteness #higher-order-logic

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.