EuDML | Browse

Page 1

Displaying 1 – 6 of 6

Co je „moderního‟ na moderní matematice?

Hardy Grant (1996)

Pokroky matematiky, fyziky a astronomie

Co je to elementární logika?

Jaroslav Peregrin (1998)

Pokroky matematiky, fyziky a astronomie

Co vlastně děláme, když děláme matematiku ?

Ernst Snapper (1990)

Pokroky matematiky, fyziky a astronomie

Complexity of the axioms of the alternative set theory

Antonín Sochor (1993)

Commentationes Mathematicae Universitatis Carolinae

If T is a complete theory stronger than ZF $_{Fin}$ such that axiom of extensionality for classes + T + $(\exists X) Φ_{i}$ is consistent for 1 $\leq i \leq k$ (each alone), where $Φ_{i}$ are normal formulae then we show AST + $(\exists X) Φ_{1} + \dots + (\exists X) Φ_{k}$ + scheme of choice is consistent. As a consequence we get: there is no proper $Δ_{1}$ -formula in AST + scheme of choice. Moreover the complexity of the axioms of AST is studied, e.gẇe show axiom of extensionality is $Π_{1}$ -formula, but not $Σ_{1}$ -formula and furthermore prolongation axiom, axioms of choice and cardinalities are $Π_{2}$ -formulae,...

Constructive analysis and thermodynamics formulations.

Antonino Drago (1984)

Archiv für mathematische Logik und Grundlagenforschung

Corcoran's Aristotelian syllogistic as a subsystem of first-order logic.

Andrade, Edgar J., Becerra, Edward (2007)

Revista Colombiana de Matemáticas

Displaying 1 – 6 of 6

Co je „moderního‟ na moderní matematice?

Co je to elementární logika?

Co vlastně děláme, když děláme matematiku ?

Complexity of the axioms of the alternative set theory

Constructive analysis and thermodynamics formulations.

Corcoran's Aristotelian syllogistic as a subsystem of first-order logic.

Currently displaying 1 – 6 of 6