MATH
Login Or Sign up

List Question

15
25
Views

How does the epsilon calculus allow for more condensed representations of proofs?

Published on
#logic #proof-writing #first-order-logic #predicate-logic
513
Views

Is "non-rigid" first-order axiomatisable?

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

How to define an Ideal in the language of rings

Published on
#first-order-logic #model-theory #second-order-logic
125
Views

Why do we define the proof-theoretic ordinal of a theory the way we do when there are unnatural well-orderings out there?

Published on
#first-order-logic #ordinals #ordinal-analysis
31
Views

How can I create logical OR out of IfTrue, IfFalse, and AND?

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

$f_{n}(x)= x^n+n\sqrt x-1 $. Prove that $a_{n+1} < a_{n}$

Published on
#analysis #functions #continuity #first-order-logic
127
Views

Model theoretic Galois correspondence

Published on
#galois-theory #first-order-logic #model-theory
120
Views

Morley Rank and Cardinality paradox?

Published on
#set-theory #first-order-logic #model-theory #ordinals
50
Views

What is the appropriate logical expression for "hold where"?

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

How can I map algebra in middle school into first order language?

Published on
#abstract-algebra #first-order-logic
131
Views

$n$-ary operations written in terms of binary operations

Published on
#abstract-algebra #functions #logic #set-theory #first-order-logic
38
Views

Prove that: ( → ( → )) → ( → ( → )) can be derived from 1 − 2 using .

Published on
#discrete-mathematics #first-order-logic #boolean-algebra
186
Views

A formal proof of the monotoncity property of Natural Deduction

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

Logic Puzzle: Every 2nd-order Injection has a Left Inverse

Published on
#logic #proof-writing #first-order-logic #higher-order-logic #second-order-logic
56
Views

Proving a map is not definable without parameters

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