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 mathematical-philosophy
Search options questions only
not deleted
user 20597
Philosophical aspects of logic and set theory; truth status of mathematical axioms; Philosophy of Mathematics; philosophical aspects of mathematics in general; relation of mathematics to philosophy; etc. Consider also posting at http://philosophy.stackexchange.com/, where philosophy-of-mathematics is one of the most popular tags.
1
vote
0
answers
142
views
Can Basic Law $V$ be derived from Leibniz's Law in Second-Order Logic without comprehension ...
Consider Basic Law $V$:
$\hat x$$F$($x$)=$\hat x$$G$($x$)$\equiv$($\forall$$x$)($F$$x$$\equiv$$G$$x$)
At first glance, it seems to have the same form as Leibniz's law
$x$=$y$$\equiv$($\forall$$F$)( …
- 6,132
1
vote
0
answers
262
views
Can Dedekind's 'proof' of the existence of infinite sets be properly formulated and carried ...
This question is related to Mikhail Katz's recent mathoverflow question, "Has Dedekind's proof of the existence of existence of infinite sets been analyzed by historians?". Dedekind's 'proof' seems ( …
- 6,132
-2
votes
1
answer
279
views
Critical points and the Foundation Axiom
(Note: This question is related to my previous mathoverflow question, "Critical Points in $ZF$ without Choice".)
In the Stanford Encyclopedia of Philosophy entry "Non-Wellfounded Set Theory" (Sectio …
- 6,132
5
votes
0
answers
320
views
Can the Kunen inconsistency (or the existence of Reinhardt cardinals) be 'properly formulate...
In their paper "Generalizations of the Kunen Inconsistency" (arXiv:1106.1951v1 [math.LO]10 Jun. 2011), Hamkins, Kirmayer, and Perlmutter write the following:
The first [metamathematical issue--my …
- 6,132
1
vote
0
answers
103
views
Second-order characterizability and forcing
In their paper, "On Second-Order Characterizability", Hyttinen, Kangas, and V$\ddot a$$\ddot a$n$\ddot a$nen define that notion as follows:
Let us call a structure $\mathfrak U$ second order char …
- 6,132
-4
votes
2
answers
454
views
Is the notion of measurable cardinal definable from the perspective of set-theoretical poten...
Consider the definition of measurable cardinal (this definition was found in Neil Barton's paper, "Large cardinals and the iterative conception of set"):
Definition 8. A cardinal $\kappa$ is measura …
- 6,132
1
vote
0
answers
257
views
Is $\mathit{GPK}^{+}_{ \infty}+\mathit{BAFA}$ inconsistent (and why does it matter)?
Consider Olivier Esser’s alternative axiomatic set theory $\mathit{GPK}^{+}_{\infty}$. Esser defines it as follows (this from his paper "Inconsistency of The Axiom of Choice with The Positive Theory …
- 6,132
-4
votes
1
answer
596
views
What is an oracle, really? [closed]
Regarding oracles, might this be a reasonable description of their inner workings (this from Hartley Rogers, Jr.'s text, Theory of Recursive Functions and Effective Computability)?
Why should I ask s …
- 6,132
1
vote
1
answer
386
views
What restriction(s) of Goedel's primitive recursive functionals is (are) necessary and suffi...
It is well known that one can use Goedel's primitive recursive functionals of finite type to prove the consistency of $PA$ (Peano Arithmetic). As such, one can certainly use them to prove the consist …
- 6,132
1
vote
0
answers
134
views
A Question Regarding Productive Sets in the Koepke-Koerwien System SO (Sets of Ordinals)
In their paper "The Theory of Sets of Ordinals" (arXiv), Koepke and Koerwien propose a theory SO axiomatizing the class of sets of ordinals in a model of ZFC and show that SO and ZFC are bi-interpreta …
- 6,132
-4
votes
2
answers
870
views
Can only the constructible sets be proven to exist in $ZF$ without benefit of extra assumpti... [closed]
I am interested in asking the following question:
What sets can be proven to exist in $ZF$ without the benefit of extra assumptions? (Thanks to Toshiyasu Arai for inspiring me to ask this variation o …
- 6,132
1
vote
0
answers
259
views
A question regarding Koepke' s Ordinal Computability in HOD
Consider the following theorem of Koepke-Koerwien-Siders:
"A set x of ordinals is ordinal computable [either by ordinal Turing machines or ordinal register machines--my comment] if and only if it is …
- 6,132
2
votes
2
answers
554
views
Are ITTM's necessary to compute Turing's "computable numbers" and what does that mean for or...
In his celebrated paper, "On Computable Numbers, With An Application To the Entscheidungsproblem", Turing defines a "computable number" as follows:
The "computable" numbers may be described briefly a …
- 6,132
0
votes
1
answer
307
views
Can finite sets be non-c.e. depending on how they are presented?
I ask the question because of the following statement found in Mark Burgin's paper, "Algorithmic complexity of recursive and inductive algorithms", Theoretical Computer Science 317 (2004) 31-60 (pg. 3 …
- 6,132
2
votes
0
answers
175
views
Some questions regarding an alteration of Grzegorczyk's theory of concatenation, $\operatorn...
Consider Grzegorczyk's concatenation theory $\operatorname{TC}$, a "weak theory of words over the two letter alphabet $\Sigma=\{a,b\}$" (this from Grzegorczyk and Zdanowski's paper Undecidability and …
- 6,132