Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with terminology
Search options questions only
not deleted
user 38783
Questions of the kind "What's the name for a X that satisfies property Y?"
2
votes
0
answers
77
views
Terminology for real closure relative to a normal number field?
A real subfield $R\subseteq F$ of any number field has (finitely many) maximal real intermediate fields $R\subseteq R'\subseteq F$. Can I call such an $R'$ a real closure of $R$ relative to $F$?
U …
- 11.1k
2
votes
2
answers
188
views
Terminology for sequences and countability
This is just a question about terminology. … Is that standard or is there another concise terminology for the distinction? …
- 11.1k
3
votes
0
answers
157
views
Why the choice of pairing function in Subsystems of Second Order Arithmetic?
Simpson's book uses a pairing function $\langle i,j\rangle = (i+j)^2+j$. Is that choice of function simply unimportant, or does it have expository advantages over the Cantor pairing, or does it have …
- 11.1k
11
votes
0
answers
676
views
Who first talked about "holes" in homology?
The comments on this and related questions show that many people do not like this terminology. I like it a lot and I want to know if someone deserves credit for it. … Is it fair to give Atiyah credit for this terminology of holes? …
- 11.1k
13
votes
3
answers
3k
views
What is Gödel's pairing function on ordinals?
I find many references to Gödel's pairing function on ordinals but I have not found a definition. What is it?
- 11.1k
2
votes
0
answers
84
views
Seeking name for an order raising operator in Higher Order Arithmetic.
Any class $X$ of order $j$ in HOA is in bijection with the order $j+1$ class built up from singletons $\{x\}$ of natural numbers $x$ just the way that $X$ is built up from the numbers $x$. And of cou …
- 11.1k
6
votes
2
answers
926
views
Subscript 0 in Reverse Mathematics
What does the subscript 0 mean on terms like $\mathsf{ATR}_0$? Does it mean the same thing in $\Pi^1_k\text{-}\mathsf{CA}_0$?
If I frame higher order analogues of these, should I change that subscr …
- 11.1k
7
votes
3
answers
3k
views
What is an "exact solution" to a PDE?
Wolfram MathWorld says
As used in physics, the term “exact” generally refers to a solution that captures the entire physics and mathematics of a problem as opposed to one that is approximate, perturb …
- 11.1k
2
votes
1
answer
123
views
Is there a name for this nice property of the usual weak incompressible Navier-Stokes equation?
Navier-Stokes is a non-linear PDE, and there is no standard, general theory of weak solutions for nonlinear PDEs. But the literature on weak solutions to the incompressible Navier-Stokes constantly u …
- 11.1k