The following pages link to Albert Visser (Q190340):
Displaying 44 items.
- CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN (Q3644806) (← links)
- (Q3837730) (← links)
- (Q3909045) (← links)
- An inside view of EXP; or, The closed fragment of the provability logic of I<i>Δ</i><sub>0</sub> + <i>Ω</i><sub>1</sub> with a prepositional constant for EXP (Q4008752) (← links)
- (Q4215610) (← links)
- (Q4250050) (← links)
- A small reflection principle for bounded arithmetic (Q4314671) (← links)
- (Q4342078) (← links)
- (Q4619877) (← links)
- ON A QUESTION OF KRAJEWSKI’S (Q4628685) (← links)
- (Q4663859) (← links)
- (Q4694229) (← links)
- On the completenes principle: A study of provability in heyting's arithmetic and extensions (Q4740561) (← links)
- (Q4893140) (← links)
- (Q5039154) (← links)
- ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM (Q5107534) (← links)
- The small‐is‐very‐small principle (Q5108874) (← links)
- SELF-REFERENCE IN ARITHMETIC I (Q5176165) (← links)
- SELF-REFERENCE IN ARITHMETIC II (Q5176166) (← links)
- From Tarski to Gödel—or how to derive the second incompleteness theorem from the undefinability of truth without self-reference (Q5213387) (← links)
- The Interpretation Existence Lemma (Q5214783) (← links)
- The Second Incompleteness Theorem: Reflections and Ruminations (Q5221590) (← links)
- (Q5222085) (← links)
- (Q5393646) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)
- (Q5477944) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898148) (← links)
- Rules and arithmetics (Q5937848) (← links)
- Submodels of Kripke models (Q5944052) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
- The donkey and the monoid. Dynamic semantics with control elements (Q5960010) (← links)
- SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS (Q6041342) (← links)
- Finitely axiomatized theories lack self‐comprehension (Q6051417) (← links)
- The Small-Is-Very-Small Principle (Q6301104) (← links)
- Pour-El's Landscape (Q6454177) (← links)
- Incompleteness of boundedly axiomatizable theories (Q6514495) (← links)
- "Lewis and Brouwer meet Strong L\""ob" (Q6531107) (← links)
- Essential hereditary undecidability (Q6565566) (← links)
- Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
- Incompleteness of boundedly axiomatizable theories (Q6621302) (← links)
- There are no minimal essentially undecidable theories (Q6636679) (← links)
- Pour-El's landscape (Q6670877) (← links)
- Feferman Interpretability (Q6734151) (← links)
- From Numbers to Ur-Strings (Q6754832) (← links)
