MATH
Login Or Sign up

List Question

15
737
Views

Can second order logic express each (computable) infinitary logic sentence?

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

Are there statements in set theory about arithmetic beyond the reach of the analytical hierarchy?

Published on
#logic #set-theory #arithmetic #higher-order-logic
148
Views

Can we blend logic and set theory into ONE system?

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

Higher order arithmetic, hierarchies and proof theoretic ordinals

Published on
#ordinals #foundations #higher-order-logic #ordinal-analysis
417
Views

Is it fair to say that ZFC axioms can not even be stated in FOL?

Published on
#logic #set-theory #first-order-logic #foundations #higher-order-logic
201
Views

Strongly constructive proofs: Proofs that don't make use of decidability?

Published on
#logic #type-theory #constructive-mathematics #intuitionistic-logic #higher-order-logic
181
Views

d^2y/dy^2 expressed in t

Published on
#multivariable-calculus #derivatives #partial-derivative #chain-rule #higher-order-logic
138
Views

On a definition in a proof

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

How foundation of mathematics can be based on a first order logic system?

Published on
#first-order-logic #foundations #higher-order-logic
148
Views

Is the existential quantifier commutative in intuitionistic higher order logic?

Published on
#logic #type-theory #intuitionistic-logic #higher-order-logic
59
Views

finding the shape of the higher order equations

Published on
#graphing-functions #3d #higher-order-logic
66
Views

Are more classes of structures axiomatizable as you increase the order of the logic?

Published on
#model-theory #higher-order-logic
117
Views

Gödel's proof: What if all axioms of a formal system are Gödel sentences

Published on
#logic #axioms #philosophy #incompleteness #higher-order-logic
149
Views

Annihilator Method. Getting wrong answer

Published on
#ordinary-differential-equations #higher-order-logic
144
Views

(How) do theories of higher-order arithmetic have non-$\beta$ models?

Published on
#logic #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.