Pages that link to "Item:Q1055407"
From MaRDI portal
The following pages link to The varieties of arboreal experience (Q1055407):
Displaying 12 items.
- New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems (Q804570) (← links)
- Inductive full satisfaction classes (Q920081) (← links)
- Too naturalist and not naturalist enough: Reply to Horsten (Q954789) (← links)
- A constructive consistency proof of a fragment of set theory (Q1080422) (← links)
- Proving open properties by induction (Q1112816) (← links)
- Computer programs and mathematical proofs (Q1181864) (← links)
- Modal functions for concise definition of state machines and products (Q1183435) (← links)
- The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.) (Q1233018) (← links)
- On the desirability of mechanizing calculational proofs (Q1607098) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- (Q5101339) (← links)
- Long finite sequences (Q5940305) (← links)
