Newbetuts
.
New posts in model-theory
Uniqueness of hyperreals contructed via ultrapowers
real-analysis
model-theory
filters
nonstandard-analysis
What is the point of model theory?
logic
model-theory
proof-theory
Upper bound on cardinality of a field
elementary-set-theory
field-theory
cardinals
model-theory
Two definitions of strong homomorphism
logic
model-theory
Diophantine vs. existential definability
logic
terminology
diophantine-equations
model-theory
Surjective exponentials for algebraically closed fields
abstract-algebra
field-theory
model-theory
What techniques are available for "surgical adjustment" of models of set theory?
set-theory
model-theory
dense linear orders DLO
logic
model-theory
Why should the underlying set of a model be a set?
logic
set-theory
model-theory
foundations
Relation between algebraic geometry over a field of characteristic $0$ and that over $\mathbb{C}$
algebraic-geometry
model-theory
complex-geometry
Why use the term 'models' to interpret the double turnstile symbol?
logic
model-theory
Is there a "computable" countable model of ZFC?
logic
model-theory
computability
Is there a well defined "intended" model of the real numbers in the same sense as there is one for the natural numbers?
set-theory
model-theory
Gödel's way of teaching non-standard models to Takeuti.
logic
model-theory
proof-theory
incompleteness
nonstandard-models
Does Euclidean geometry require a complete metric space?
real-analysis
soft-question
euclidean-geometry
model-theory
axioms
Lowenheim-Skolem number for satisfaction via continuous function rings
general-topology
functional-analysis
logic
set-theory
model-theory
A first order sentence such that the finite Spectrum of that sentence is the prime numbers
logic
prime-numbers
model-theory
axioms
Why do first order languages have at most countably many symbols?
logic
model-theory
first-order-logic
A Characterization of Categories with a Conservative Forgetful Functor to SET
abstract-algebra
logic
category-theory
model-theory
Why do we know that Gödel sentences are true in the standard model of set theory, but do not know if the continuum hypothesis is?
logic
set-theory
model-theory
Prev
Next