MATH
Login Or Sign up

List Question

12
88
Views

A "set" containing objects of diffrent types in higher order logic

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

λP2, the Calculus of Constructions, and quantifying over propositions

Published on
#logic #type-theory #higher-order-logic
123
Views

Löwenheim number of the logic $\mathrm{FOL}[L]$ ($(Lx)[\varphi,\psi]$ holds iff $|\{x:\varphi\}| \ge 2^{|\{x:\psi\}|}$)

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

Comparing "local compactness numbers" of two strong logics

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

what is the order of the logic and the multi-sortedness of the structures required for rigorous math in ...

Published on
#logic #foundations #higher-order-logic
36
Views

What Are Some Reasonable Logical Consequences of a Logical Assertion?

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

Is there any correspondence between higher and lower order logics vs higher and lower level programming languages?

Published on
#first-order-logic #programming #higher-order-logic
52
Views

what is the reasoning behind $\sqrt{x^2}=\lvert x\rvert$

Published on
#algebra-precalculus #higher-order-logic
119
Views

Do Hindley-Milner theories have a Deduction Theorem?

Published on
#logic #formal-proofs #type-theory #higher-order-logic
154
Views

Can you define a countable set containing undefinable elements?

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

Definition of integers in higher-order logic

Published on
#integers #higher-order-logic
39
Views

If a logic first-order one if it allows variables to range over functions?

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