Algoritmus
Page 1 Next
Displaying 1 – 20 of 25
An essay on model theory
Ludomir Newelski (2003)
Open Mathematics
Some basic ideas of model theory are presented and a personal outlook on its perspectives is given.
Basis problems in combinatorial set theory.
Todorcevic, Stevo (1998)
Documenta Mathematica
Beweistheoretische Abgrenzung von Teilsystemen der Analysis.
Kurt Schütte (1980)
Monatshefte für Mathematik
Completeness, functional completeness and relative completeness.
Doroslovački, Rade, Pantović, Jovanka, Tošić, Ratko, Vojvodić, Gradimir (1999)
Novi Sad Journal of Mathematics
Computational Interrpretations of Logics
Silvia Ghilezan, Silvia Likavec (2009)
Zbornik Radova
Deduction in many-valued logics: a survey.
Reiner Hähnle, Gonzalo Escalada-Imaz (1997)
Mathware and Soft Computing
Exercices sur la stabilité
Bruno Poizat (1977/1978)
Groupe d'étude de théories stables
Generic large cardinals: New axioms for mathematics?
Foreman, Matthew (1998)
Documenta Mathematica
Geometrical model theory.
Hrushovski, Ehud (1998)
Documenta Mathematica
Lectures on ideal dichotomy
Uri Abraham (2009)
Acta Universitatis Carolinae. Mathematica et Physica
Logique modale propositionnelle : une vue cavalière
M. Eytan (1977)
Mathématiques et Sciences Humaines
Matematická logika a numerická analysa
Aleksandr Aleksandrovich Markov (1958)
Pokroky matematiky, fyziky a astronomie
O riešení niektorých nerozhodnutelných topologických problémov
William Wistar Comfort (1982)
Pokroky matematiky, fyziky a astronomie
On (m, n)-ramifications or (m, n)-pseudo-trees of sets.
D. Kurepa (1980)
Publications de l'Institut Mathématique [Elektronische Ressource]
On some problems in combinatorial set theory.
Erdős, Paul (1995)
Publications de l'Institut Mathématique. Nouvelle Série
Poznámky k axiomatizaci planimetrie
Zdeněk Halas (2018)
Pokroky matematiky, fyziky a astronomie
Axiomatická metoda je považována za hlavní metodu, kterou je dnes matematika formalizována. Není však jedinou, navíc prošla v průběhu tisíciletí poměrně pestrým vývojem. V tomto příspěvku se pokusíme na základě charakterizace různých typů formalizace matematiky zařadit nejznámější pokusy o axiomatizaci eukleidovské geometrie, zejména Eukleidův, Hilbertův a Birkhoffův.
Progrès récents sur l’hypothèse du continu
Patrick Dehornoy (2002/2003)
Séminaire Bourbaki
Les travaux récents de Woodin ont considérablement renouvelé la théorie des ensembles en lui apportant une intelligibilité globale et en restaurant son unité. Pour la première fois, ses résultats ouvrent une perspective réaliste de résoudre le problème du continu, et, à tout le moins, ils établissent le caractère irréfutablement signifiant et précis de celui-ci.
Recent developments in the theory of partitions.
Di Prisco, Carlos Augusto (1999)
Boletín de la Asociación Matemática Venezolana
Set theoretic real analysis.
Ciesielski, K. (1997)
Journal of Applied Analysis
Currently displaying 1 – 20 of 25
Page 1 Next