MATH
Login Or Sign up

List Question

15
235
Views

Faster Higher-Order Derivatives

Published on
#calculus #derivatives #higher-order-logic
50
Views

What can we do with nonenumerable sets of formulas (e.g. formulas of Higher order Logic)?

Published on
#combinatorics #infinity #large-cardinals #higher-order-logic #second-order-logic
20
Views

Theory to Signature Mapping?

Published on
#first-order-logic #predicate-logic #higher-order-logic #second-order-logic
34
Views

When can and when cannot a second-/higher-order formula be written as (a countable family of) first-order formulas?

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

How to express ''there exists a subset $X$ of $\Delta$ which is such that at least $50$ percent of $X$ satisfy a property''

Published on
#logic #first-order-logic #predicate-logic #quantifiers #higher-order-logic
269
Views

Expressing binary quantifiers like 'most' and 'finitely many' in second-order logic

Published on
#logic #higher-order-logic #second-order-logic
108
Views

Would this argument support logicism?

Published on
#logic #set-theory #foundations #philosophy #higher-order-logic
298
Views

Defining functions in second-order arithmetic

Published on
#logic #formal-systems #higher-order-logic
310
Views

Examples of problems in second order arithmetic that can only be solved in third order arithmetic

Published on
#logic #computability #higher-order-logic
91
Views

Formulation of axiom of induction?

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

Logical equivalent of $\phi[x/y]$?

Published on
#logic #first-order-logic #higher-order-logic
193
Views

Conservative extension in higher order logic?

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

Can a variable depend on an existential variable?

Published on
#logic #soft-question #first-order-logic #higher-order-logic
123
Views

Equality notions in logics other than first order logic

Published on
#logic #soft-question #first-order-logic #philosophy #higher-order-logic
161
Views

The relationship between logics and algebraic structures and results in logic that correspond to results in Universal Algebra

Published on
#abstract-algebra #logic #model-theory #type-theory #higher-order-logic

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.