Search results

models of Peano arithmetic 2005-02-16 Paper Partitioning large vector spaces 2005-02-09 Paper Automorphism groups of models of Peano arithmetic 2004-03-01...

Group of an Arithmetically Saturated Model of Peano Arithmetic 1999-02-02 Paper Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point...

saturated model of Peano arithmetic 2016-03-04 Paper Decoding in the automorphism group of a recursively saturated model of arithmetic 2015-06-22 Paper AUTOMORPHISM...

of models of Peano Arithmetic 2023-09-12 Paper Neutrally expandable models of arithmetic 2020-05-06 Paper ENAYAT MODELS OF PEANO ARITHMETIC 2019-01-04 Paper...

∑n-DEFINABLE THEORIES OF ARITHMETIC 2018-01-17 Paper UNIVERSAL ROSSER PREDICATES 2017-06-01 Paper ILLUSORY MODELS OF PEANO ARITHMETIC 2017-04-28 Paper Liar-type...

recursively saturated models of Peano Arithmetic 1984-01-01 Paper Some remarks on initial segments in models of Peano arithmetic 1984-01-01 Paper On cofinal...

de/entity/Q3931384 1982-01-01 Paper Accessible Independence Results for Peano Arithmetic 1982-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3931391 1981-01-01...

and Subsystems of Peano Arithmetic 1983-01-01 Paper Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic 1983-01-01 Paper...

alternating sentences in arithmetic 1980-01-01 Paper Robinson forcing is not absolute 1976-01-01 Paper Internal End-Extensions of Peano Arithmetic and a Problem of...

models of Peano arithmetic. I 1977-01-01 Paper On expandability of models of Peano arithmetic. III 1977-01-01 Paper On expandability of models of Peano arithmetic...

PROOF TO SCHÜTTE’S CUT ELIMINATION FOR ω-ARITHMETIC 2016-04-29 Paper Normalization proof for Peano arithmetic 2015-11-18 Paper Gentzen's consistency proof...

An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN 2011-12-02 Paper A standard model of Peano arithmetic with no conservative...

1992-06-25 Paper A note on the multiplicative semigroup of models of Peano arithmetic 1989-01-01 Paper The structure of $ω_1$-like orderings 1986-01-01 Paper...

models of arithmetic 1984-01-01 Paper Flipping properties in arithmetic 1982-01-01 Paper Accessible Independence Results for Peano Arithmetic 1982-01-01...

de/entity/Q3773879 1986-01-01 Paper Taking out LK parts from a proof in Peano arithmetic 1986-01-01 Paper Some results on speed-up 1984-01-01 Paper A theorem...

SECOND-ORDER ARITHMETIC 2014-12-05 Paper CIRCULARITY IN SOUNDNESS AND COMPLETENESS 2014-10-21 Paper The arithmetic of cuts in models of arithmetic 2013-10-30...

Publication Date of Publication Type Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics 1993-11-28 Paper...

Minimal self-similar Peano curve of genus \(5 \times 5\) 2021-11-11 Paper Lower bounds for the square-to-linear ratio for plane Peano curves 2021-08-25 Paper...

Constructive truth and falsity in Peano arithmetic 2022-02-08 Paper A proof theory for the logic of provability in true arithmetic 2020-08-25 Paper On the constructive...

https://portal.mardi4nfdi.de/entity/Q5098680 2022-09-01 Paper Arithmetic-analytic representation of Peano curve 2020-02-03 Paper Analytical expression of the Koch-type...