MATH
Login Or Sign up

List Question

15
603
Views

Is it possible to derive the axiom of induction from a construction of the natural numbers?

Published on
#logic #peano-axioms #type-theory #meta-math #second-order-logic
327
Views

A finitely axiomatizable consistent second-order theory without a model

Published on
#logic #examples-counterexamples #model-theory #second-order-logic
135
Views

Finitely axiomatized second-order theory without a model, which is consistent for reasonable deductive systems

Published on
#logic #examples-counterexamples #model-theory #second-order-logic
292
Views

Swapping first- and second-order quantifiers

Published on
#logic #axiom-of-choice #quantifiers #second-order-logic
337
Views

Fantasy rule of propositional logic in first order logic

Published on
#propositional-calculus #first-order-logic #second-order-logic
1.6k
Views

Second-order logic as the basis for set theory

Published on
#set-theory #first-order-logic #second-order-logic
80
Views

What is the relevance of the fact that the completeness axiom for R needs to be stated in second-order logic?

Published on
#real-analysis #logic #second-order-logic
248
Views

Why do we need second-order logic?

Published on
#peano-axioms #second-order-logic
86
Views

Boolean algebras and a language with quantification over ideals

Published on
#logic #reference-request #model-theory #second-order-logic
1.4k
Views

Differentiating First/Second order logic

Published on
#logic #predicate-logic #first-order-logic #second-order-logic
197
Views

Equivalence of statements over $RCA_0$

Published on
#proof-verification #induction #alternative-proof #reverse-math #second-order-logic
78
Views

Relation between $WKL$ and $KL$ over $RCA_0$

Published on
#proof-verification #fake-proofs #reverse-math #second-order-logic
159
Views

How to expand second-order ZFC to include classes?

Published on
#logic #set-theory #axioms #meta-math #second-order-logic
348
Views

Relation between consistency of ZF, MK and NBG

Published on
#logic #set-theory #second-order-logic
147
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

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.