MATH
Login Or Sign up

List Question

15
64
Views

Is many-sorted logic compact?

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

How to prove these three properties about sets?

Published on
#elementary-set-theory #first-order-logic
115
Views

Is there a first-order sentence defining a cardinal?

Published on
#set-theory #first-order-logic
1.1k
Views

Understanding ZFC

Published on
#set-theory #first-order-logic #foundations
76
Views

Axiomatizing ZFC+Con(ZFC) without adding a constant symbol

Published on
#elementary-set-theory #first-order-logic
76
Views

Proof that Skolem Arithmetic is a complete theory

Published on
#reference-request #first-order-logic
62
Views

Why is the cardinality of a first-order language max{$\aleph_0, k$}?

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

Count the number of non-isomorphic models for a theory $T$ describing infinitely branching equivalence classes, each class infinite

Published on
#logic #first-order-logic #model-theory #equivalence-relations
126
Views

Prove that divisibility between two natural numbers is not definable in arithmetic

Published on
#arithmetic #first-order-logic #model-theory #quantifier-elimination
65
Views

$tp^\mathbb{Q}(a/\mathbb N) = tp^\mathbb{Q}(b/\mathbb N)$ iff there is an automorphism $\sigma$ of $\mathbb Q$ fixing $\mathbb N$ and $\sigma(a)=b$

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

How to prove equal cardinality of arbitrary subset and its closure, in this proof of downward Löwenheim-Skolem theorem?

Published on
#first-order-logic
37
Views

Question on substitution

Published on
#first-order-logic #substitution
84
Views

Expand a model to have a well ordering. Prove that the set of all definable elements over a subset $X$ is the universe of an elementary substructure

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

Basic proof verification of biconditional formula

Published on
#logic #solution-verification #proof-writing #first-order-logic
40
Views

How to rigorously prove that if $A\times B\neq\emptyset$ then $(A\times B\subset X\times Y)\iff(A\subset X)\land (B\subset Y)$?

Published on
#elementary-set-theory #solution-verification #first-order-logic #predicate-logic #alternative-proof

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.