scientific article

zbMATH Open0792.03037MaRDI QIDQ3141251

Antonín Sochor

Publication date: 26 July 1994

Full work available at URL: https://eudml.org/doc/118423

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Title of this publication is not available (Why is that?)

zbMATH Keywords

choicecardinalitiesprolongationcomplexity of formulasalternative set theory\(\Pi_ 2\)-formulaextension of axiomatic system

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Nonstandard models of arithmetic (03H15) Hierarchies of computability and definability (03D55)

Related Items (2)

Alternative axiomatics and complexity of deliberative STIT theories ⋮ Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3141251)