MATH
Login Or Sign up

List Question

15
221
Views

What's correspondence between the model theoric and the set theoric kernel of homomorphism?

Published on
#elementary-set-theory #functions #soft-question #model-theory
875
Views

Proving Tychonoff's theorem with the Compactness theorem of logic

Published on
#general-topology #logic #compactness #model-theory #first-order-logic
696
Views

Is this first order version of the Collatz conjecture decidable in peano arithmetic?

Published on
#logic #arithmetic #model-theory #peano-axioms #collatz-conjecture
195
Views

First order logic, finite partially ordered structure problem

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

generating complete consistent theories

Published on
#logic #model-theory #modal-logic
537
Views

Standard models being non-standard?

Published on
#logic #set-theory #model-theory
83
Views

Complexity of index sets in nonprincipal ultrafilters

Published on
#model-theory #computability #filters
88
Views

Omitting Types... recursively

Published on
#model-theory #computability
390
Views

non-axiomatizable logics

Published on
#logic #model-theory #propositional-calculus
162
Views

Definiteness of omega

Published on
#set-theory #model-theory
8.1k
Views

Is there a 0-1 law for the theory of groups?

Published on
#group-theory #logic #finite-groups #model-theory #first-order-logic
109
Views

Restrictions of automorphisms to elementary substructures

Published on
#logic #model-theory
246
Views

Crankery: Is there a perfect inner model of ZFC?

Published on
#set-theory #model-theory
275
Views

Not Skolem's Paradox

Published on
#set-theory #model-theory #peano-axioms
186
Views

Model Theory (Hodges), Section 2.1, Exercise 13

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