MATH
Login Or Sign up

List Question

15
1.9k
Views

Is there a Second-Order Axiomatization of ZF(C) which is categorical?

Published on
#logic #set-theory #model-theory #foundations #first-order-logic
92
Views

Induction, how often?

Published on
#induction #natural-numbers #first-order-logic
314
Views

First order logic derivations

Published on
#logic #quantifiers #first-order-logic
102
Views

Proof for a stubborn nonstandard model

Published on
#logic #first-order-logic
766
Views

How can one quantify on a function in ZFC?

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

Showing the every consistent set of sentences has a model

Published on
#logic #model-theory #first-order-logic
424
Views

Making first order logic statements

Published on
#propositional-calculus #predicate-logic #first-order-logic
529
Views

A First Order Definition of the Mod Function

Published on
#modular-arithmetic #first-order-logic #peano-axioms
889
Views

Translating English into First Order Logic

Published on
#discrete-mathematics #first-order-logic #logic-translation
572
Views

Axiomatising Wellorder

Published on
#logic #model-theory #first-order-logic
87
Views

The Uniqueness of the Join

Published on
#logic #lattice-orders #predicate-logic #first-order-logic
119
Views

Why does $(\forall y)({\sim}Exy)$ have no quantifier-free equivalent statement?

Published on
#logic #quantifiers #first-order-logic
814
Views

Second order logic and quantification over formulas

Published on
#logic #set-theory #quantifiers #first-order-logic
1.4k
Views

Find a L-sentence which is true in a structure $M$ iff the universe $A$ of $M$ consists of exactly two elements

Published on
#logic #predicate-logic #first-order-logic
169
Views

Show that $M \models (\exists x) (\alpha) $ if and only if there is an element $a\in A$ such that $M\models \alpha [s[x|a]]$.

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