MATH
Login Or Sign up

List Question

15
122
Views

Finite axiomatizability of theories in infinitary logic?

Published on
#logic #axioms #proof-theory #higher-order-logic
216
Views

How do we get the converse of extensionality in Gödel's 1931 system?

Published on
#logic #substitution #higher-order-logic
158
Views

'Logically symmetric' expressions in lambda calculus

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

Paradox vs Tautology.

Published on
#logic #first-order-logic #higher-order-logic #logic-translation #nonclassical-logic
1.2k
Views

If Type Theories are all Logics.

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

Understanding The First Axiom Of Gödel's Ontological Proof

Published on
#logic #modal-logic #higher-order-logic #kripke-models
192
Views

Atomic Formulas in Second Order Logic

Published on
#logic #higher-order-logic #second-order-logic
1k
Views

Is many sorted logic really a unifying logic?

Published on
#logic #model-theory #proof-theory #type-theory #higher-order-logic
54
Views

Is this kind of high order logic of individual predicates inconsistent?

Published on
#reference-request #higher-order-logic
354
Views

Weak second order Logic

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

ZFC plus HOL-Standardness

Published on
#logic #set-theory #proof-theory #higher-order-logic #second-order-logic
90
Views

An equation involving multisets

Published on
#elementary-set-theory #type-theory #multisets #higher-order-logic #combinatory-logic
122
Views

Terminal object in a Cartesian Closed Category

Published on
#category-theory #higher-order-logic #cartesian-closed-categories
89
Views

How is it possible that the well-ordering theorem is strictly stronger than the axiom of choice in second-order logic?

Published on
#logic #set-theory #axiom-of-choice #higher-order-logic
1k
Views

There is a second-order sentence that is valid in standard semantics but not valid in Henkin semantics?

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