The following pages link to (Q4001935):
Displaying 50 items.
- A note on typed truth and consistency assertions (Q263089) (← links)
- End extensions of models of weak arithmetic theories (Q286696) (← links)
- Space- and time-dependent scaling of numbers in mathematical structures: effects on physical and geometric quantities (Q291552) (← links)
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
- Axiomatization and models of scientific theories (Q429827) (← links)
- \(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction (Q466117) (← links)
- The de Jongh property for basic arithmetic (Q481876) (← links)
- Representing Scott sets in algebraic settings (Q494652) (← links)
- Fiber bundle description of number scaling in gauge theory and geometry (Q498157) (← links)
- Consistency, models, and soundness (Q551223) (← links)
- Implicit definability of subfields (Q558423) (← links)
- The incompleteness theorems after 70 years (Q598275) (← links)
- Simplicity via provability for universal prefix-free Turing machines (Q616504) (← links)
- Theories of truth without standard models and Yablo's sequences (Q622620) (← links)
- Bootstrapping. I (Q636291) (← links)
- Truth in generic cuts (Q636338) (← links)
- Nonstandard arithmetic and recursive comprehension (Q636343) (← links)
- Truth and consistency (Q660451) (← links)
- \(\text{NP}\not={co}\)-NP and models of arithmetic (Q672454) (← links)
- P, NP, Co-NP and weak systems of arithmetic (Q672742) (← links)
- Largest initial segments pointwise fixed by automorphisms of models of set theory (Q684228) (← links)
- A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\) (Q685068) (← links)
- Hilbert's tenth problem for weak theories of arithmetic (Q685070) (← links)
- Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA (Q711565) (← links)
- Representation of left-computable \(\varepsilon \)-random reals (Q716316) (← links)
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) (← links)
- Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
- Normal subgroups of nonstandard symmetric and alternating groups (Q868663) (← links)
- Passive induction and a solution to a Paris-Wilkie open question (Q882120) (← links)
- Informal versus formal mathematics (Q885512) (← links)
- Constant regions in models of arithmetic (Q894260) (← links)
- Completeness of Hoare logic with inputs over the standard model (Q896915) (← links)
- Model theory of the regularity and reflection schemes (Q938239) (← links)
- Harrington's conservation theorem redone (Q948908) (← links)
- Deflationary truth and pathologies (Q975779) (← links)
- A standard model of Peano arithmetic with no conservative elementary extension (Q998319) (← links)
- Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
- Modeling vagueness by nonstandardness (Q1290590) (← links)
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness (Q1295420) (← links)
- On maximal subgroups of the automorphism group of a countable recursively saturated model of PA (Q1314639) (← links)
- Automorphisms of models of true arithmetic: Recognizing some basic open subgroups (Q1333303) (← links)
- Inconsistent models of arithmetic. I: Finite models (Q1362598) (← links)
- Toward the limits of the Tennenbaum phenomenon (Q1377555) (← links)
- On nonelementarily equivalent pairs of fields (Q1400607) (← links)
- Intuitionistic axiomatizations for bounded extension Kripke models. (Q1412839) (← links)
- Generalized logical consequence: Making room for induction in the logic of science (Q1610619) (← links)
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- From Dedekind to Zermelo versus Peano to Gödel (Q1694959) (← links)
