488

Answers
votes newest views recent
8
Special infinitary relations and ultrafilters
8
German mathematical terms like “Nullstellensatz”
8
Checkmate in $\omega$ moves?
8
What does $L[\mathcal P(Ord)]$ look like?
8
A question about J.H. Conway’s SURREAL NUMBERS
8
Is the Axiom of Union independent of the rest of ZF?
8
How to interpret conflicting formal proofs about “a mod 0 = ? ”
8
Extracting countable chains from linear orders
8
Do filters complementive to a given filter form a complete lattice?
8
Compactness Theorem for First Order Logic
8
(Finite) Classification Theory
8
Independence of P = NP?
8
Why is it OK to rely on the Fundamental Theorem of Arithmetic when using Gödel numbering?
8
Independent families of subsets of $\mathbb N$ of size continuum
8
Does the fact that this vector space is not isomorphic to its double-dual require choice?
8
What is the history of the Y-combinator?
8
Difference between a ‘calculus’ and an ‘algebra’
8
Cardinality of the permutations of an infinite set
8
Isomorphism types or structure theory for nonstandard analysis
8
What are some reasonable-sounding statements that are independent of ZFC?
8
Can infinity shorten proofs a lot?
8
Thoughts about a number much larger than Graham’s number
8
Periodic point-free maps and free ultrafilters.
8
Standard model of ZFC
8
why Skolemization?
8
Result that follows from ZFC and not ZF but are strictly weaker than choice
8
What do we call a set that has one or fewer elements?
8
Around Continuum Hypothesis
8
Grothendieck Topologies versus Pretopologies
8
Adjoining a new isolated point without changing the space
prev 1 … 3 4 5 6 7 … 17 next