MATH
Login Or Sign up

List Question

15
310
Views

The powerset as a function

Published on
#logic #set-theory #axioms
233
Views

First Order Logic Expressions with equality examples for cardinality 3 and <=4.

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

Give two (or infinitely many) non-isomorphic models of the following ToL expression

Published on
#logic #order-theory #predicate-logic #first-order-logic
140
Views

Are true and false each considered self-dual?

Published on
#logic #definition #boolean-algebra
86
Views

Classical proof of irrationality of square root of two vs axiomatic construction of the real numbers

Published on
#logic #real-numbers
564
Views

Inference Proof for Biconditional

Published on
#logic #propositional-calculus #proof-theory #natural-deduction #formal-proofs
371
Views

Existence of an inner model of ZFC implies $Con(ZFC)$?

Published on
#logic #set-theory #foundations #incompleteness
50
Views

Is this sentence symbolication correct? Predicate logic

Published on
#logic #predicate-logic
61
Views

Logic Gates and De Morgan's law for "$a \text{ AND } b$"

Published on
#logic #propositional-calculus
87
Views

Can we calculate the probability of the following scenario?

Published on
#probability #logic
130
Views

How Do I solve this further? Logic (Fitch)

Published on
#logic
75
Views

Isomorphic Models via Ehrenfreucht-Fraisse games

Published on
#logic #model-theory
606
Views

Model checking for logical consequence in propositional logic

Published on
#logic #algorithms #propositional-calculus
124
Views

How to show that the intersection of a countable sequence of elementary classes is not an elementary class

Published on
#logic
54
Views

Nonempty bounded definable sets in ultrapowers

Published on
#logic #model-theory

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.