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 reference-request
Search options not deleted
user 143671
This tag is used if a reference is needed in a paper or textbook on a specific result.
1
vote
1
answer
317
views
Reference request: a mathematical model of classical physics
Before entering the university I studied the book "University Physics with Modern Physics" (written by Young and Freedman). In that time I used to study physical problems with methods taught by that b …
- 649
4
votes
1
answer
296
views
If $f=h\circ g$, then there's a measurable function $\tilde h$ such that $f=\tilde h\circ g$
Let $X,Y,Z$ be three standard measurable spaces and $f:X\to Z$ and $g:X\to Y$ two measurable functions. Suppose that there's a function $h:Y\to Z$ such that $f=h\circ g$. How can I show that there's a …
- 649
3
votes
2
answers
357
views
Proof of the Dunford-Pettis theorem in the context of probability spaces
I'd like to know if there's a proof of the Dunford-Pettis theorem without using relatively advanced theorems of functional analysis such as Eberlein–Smulian Theorem. Since I'm only interested in proba …
- 649
4
votes
1
answer
842
views
Hausdorff dimension and surface measure
Could someone please indicate me some reference that contains the proof of the following theorem?
Below $\mathcal{H}^n$ denotes the $n$-dimensional Hausdorff outer measure in $\mathbb{R}^n$.
Theorem: …
- 649
6
votes
1
answer
421
views
Book that shows a construction of ZFC with Calculus of Constructions
Is there any book that teaches the basics of Type Theory and Calculus of Inductive Constructions (CIC) and also shows a construction of ZFC (or preferably NBG) in CIC?
I only found the paper "Sets in …
- 649